t n be (m/9 - 3)/((-10)/10). Let k(i) = i**2 - 3*i + 1. Let w be k(2). Which is smaller: n or w?
n
Let o = 213.529 - -0.471. Let h = 214.1 - o. Is -2.89 smaller than h?
True
Let h = -2967 + 2606. Which is smaller: h or -362?
-362
Let a be ((-4 - -2)/((-2)/(-1)))/(15/28965). Which is greater: a or -1933?
a
Suppose 5*v - 1893 = 4*y, -v - 1304 - 130 = 3*y. Is -476 at least as big as y?
True
Let z(j) = -2*j + 12. Let b be z(0). Let f = 12 - b. Suppose -3*m = -6*n + 3*n + 9, f = 4*m - 2*n + 8. Which is smaller: -9/8 or m?
-9/8
Suppose 10*q - 9*q = 22. Let r be (-4066)/q - ((-32)/22)/(-8). Which is smaller: r or -186?
-186
Suppose j + 5*x - 33 = -j, j = -x + 9. Let h = -111 + 118. Let i be (-16)/h + 8/j. Is -1/4 bigger than i?
True
Let r be 146/(-1428) + (-243)/(-2430). Is r at most as big as 0?
True
Let v = 11948 - 11374495/952. Is -0.2 greater than or equal to v?
False
Let f = -370 + 8123. Is 7753 != f?
False
Let i = 701 - 707. Let h be (i/(-4))/((-54)/(-396)). Which is smaller: 16 or h?
h
Let v be -2 + (-27)/(-6) - (-78)/12. Suppose v*q - t = 5*q + 38, 14 = 2*q - 3*t. Is q smaller than 14?
True
Let p = -46.16 + 44. Let g = 0.24 - p. Let d = 11.5 + -11.4. Is g > d?
True
Suppose q - 3 = -4*u, 2*u - 3*q + 9 = 3*u. Suppose -r - p = u, 5*r + 2*p - 2 = -5. Let i = -15 - -11. Which is bigger: i or r?
r
Let s(g) = -6*g**3 - 18*g**2 + g + 21. Let o(l) = -l**3 - 2*l**2 - 1. Let f(n) = 5*o(n) - s(n). Let w be f(-7). Do 29 and w have the same value?
False
Let z = 134.2 + -142. Let p = z - 3.2. Is -2/3 greater than p?
True
Let g(v) = -v**2 - 5*v - 4. Let y(r) = -r**2 + 10*r - 6. Let i be y(0). Let j be g(i). Let u be (-2)/8 + 51/(-4). Is u less than or equal to j?
True
Let g = -10/133 + 3917/798. Suppose 5*b = -4*v - 1, -6 + 12 = -4*v - 6*b. Are v and g unequal?
True
Let h be 22 + 1272/(-60) + (2 - (-42)/10). Are -61 and h equal?
False
Let q = -5/6914 + -452817/69140. Is q greater than -6?
False
Let u = -6006 - -5959. Which is smaller: -323/7 or u?
u
Let m be (300/(-350))/((10/(-336))/(-5)). Let l = 1 - 4. Let x be (-4)/(l*(-6)/m). Which is smaller: x or 33?
x
Suppose 6*i - 14 = 2*i - 2*r, 5*i = 5*r - 5. Suppose 2 = i*b - 4*b. Which is smaller: -22/23 or b?
b
Let h = -2/2919 - -28243/37947. Let q = h - 1/13. Let f = 1498729 - 1498728. Which is greater: q or f?
f
Let s be (24/(-54280))/(9/45). Are s and 0 equal?
False
Let o(i) = -i**2 + 59*i - 497. Let y be o(46). Is y <= 106?
True
Suppose 5*j + 67 = -28. Let d = 431 - 429. Suppose -5*y = 5*f + 125, y + 12 = -d*f - 17. Is y >= j?
False
Let z = -1239.7 - -1240. Is z < -0.851?
False
Let d be -7 + 9 + (-40)/24 - (-854)/3. Is d greater than 285?
False
Suppose -p - 17*g + 118 = 0, -p + 34 = -7*g + 12*g. Is 7/4804 greater than p?
True
Let i = 554 - 556.23. Let y = -2.03 - i. Is y at least as big as -11.1?
True
Let s = -86676/11 - -173363/22. Let a(f) = 9*f. Let n be a(-6). Which is smaller: n or s?
n
Let n(b) = 2*b - 33. Let g(a) = 30*a - 528. Let o(i) = -2*g(i) + 33*n(i). Let s be o(6). Suppose 12 = 5*k - k. Is k > s?
False
Suppose 2*m - 1 = -2*u + m, -3*m = -3. Suppose -60 = -4*o - u. Suppose -6*d + 129 = o. Which is smaller: 1/3 or d?
1/3
Let w be 106/72 - (-4)/(-18). Let f(o) = -o**3 + 10*o**2 + 10*o + 12. Let p be f(11). Let q be (-14 - -14)/(p*-1). Are q and w unequal?
True
Let t be -1 - 1 - (-5)/((-10)/(-6)). Let q = 186 - 185. Is q less than t?
False
Let l(g) = -g**3 - 26*g**2 - 2*g - 64. Let s be l(-26). Let a = s + 11. Which is smaller: a or -0.8?
a
Let f be -9*((-30)/(-6))/30*-2. Let r be (-25)/15*f/(-5). Which is smaller: r or 1/114?
1/114
Let l be 452/3*47/376. Let o = l - 302/15. Is o bigger than -1?
False
Let a = -7164.883 + 7164. Do a and -0.1 have different values?
True
Suppose -o = -0*o - 21. Let z(g) = -2*g**3 - 345*g**2 - 515*g - 319. Let h be z(-171). Is o smaller than h?
True
Suppose -1 = 5*i - 4*i. Let u = 7 - 9. Let s be ((-10)/(-35) - 1) + u/7. Are i and s nonequal?
False
Let g = 1130.77 - 1062.77. Let v = 0 + -1. Which is greater: g or v?
g
Let a = 62 + 19. Let k = -58 + a. Is k at most 1?
False
Let o = 2 + -17. Let i be (8/6)/(o/(-36)). Are 4 and i unequal?
True
Suppose 529 = 3*b + 2*p, 9*p + 867 = 5*b + 5*p. Suppose 0 = 174*g - b*g + 137. Is g equal to 137?
True
Suppose 0 = -5*p - m + 2173, 3*m + 2181 = 4*p + p. Let i be (-18)/p*(-55)/(-22). Is -1 equal to i?
False
Let n be (16/5 - 3)*(-238)/(-17). Which is bigger: 120 or n?
120
Let w = -2/937 - 6539/9370. Does w = 14?
False
Let n = 10 - 5.1. Let p = n - 4.84. Let o = 0.36 - p. Is -1/5 less than o?
True
Let v = 1024 - 259. Let x = 766 - v. Which is bigger: -1/131 or x?
x
Let f = -468.311 + 468. Let d = f - 27.689. Which is greater: d or 2?
2
Let k = 0.3 + -0.5. Let x = -114.9 + 165.9. Is k bigger than x?
False
Let y = 47801/236626799 + -2/33799. Is y > -1?
True
Let u = -26.1 + -6.9. Let d = 954.1 + -921. Let n = u + d. Is 2/33 equal to n?
False
Let g = -51.051 + 51. Let z = -1.051 - g. Which is smaller: z or 3?
z
Let u = -329 - -31257/95. Suppose 219*v = 214*v - d + 92, 3*v - 60 = -3*d. Let o be 4/v - 106/477. Which is smaller: o or u?
o
Let k(h) = -490*h + 1230. Let y be k(5). Which is smaller: y or -1218?
y
Let w = 15855/2 - 7928. Suppose 0*y + 2*y = 0, 28 = -4*d + y. Let o = d + 5. Are w and o equal?
False
Let t be ((-4)/6)/(4 - (-15440)/(-3864)). Let b = 161 + t. Which is bigger: b or 7/12?
7/12
Let i be (351/4 - (-125)/100)/(2 - 1). Is 77 not equal to i?
True
Let x be (-16)/1404*(-5 - -2). Let g = -1073/585 + x. Is -3 less than g?
True
Let w be 1 - ((-7)/(-4))/(7/140). Let v = w + 22. Suppose -92*g = -93*g - 10. Is v less than or equal to g?
True
Suppose 0 = -33*t + 22*t + 110. Suppose 37*h - 35*h = t. Suppose h*y - 2*c - 105 = 0, 0 = -4*y - 3*c - 2*c + 51. Is 20 less than or equal to y?
False
Let j(d) be the second derivative of d**5/20 + d**4/3 + d**3/2 + 2*d. Let h be j(-2). Suppose 7*l - 148 + 127 = 0. Which is smaller: l or h?
h
Let h = -0.14 + 0.06. Let a = -0.08 - h. Let c = 117.01 - 117. Is a at most as big as c?
True
Suppose -214 = -5*y + 3*k, 251*y - 248*y + k = 120. Let n = 4539/5 - 867. Let h = y - n. Which is smaller: -4 or h?
-4
Let y be (-1)/2*((-374)/(-33) - 12) + 0. Are 15292 and y equal?
False
Suppose -21*u - 121 = 68. Let s be (u/(-10))/(2034/30). Is s >= -1?
True
Let h be -3 + ((-8)/12)/(2 - 85/45). Do -430/53 and h have the same value?
False
Let a be (57/19)/(1/(-321))*(-55)/143. Do 371 and a have the same value?
False
Suppose -89*x + 32*x = 67*x - 50220. Is x > 2018/5?
True
Let w be (4/(-2))/(-12) - (-453)/5436. Is 12622 at most as big as w?
False
Let a(y) = 69*y - 218. Let g be a(3). Let h be 110/15 - (-2)/(-6). Let v = -4 - h. Is g less than or equal to v?
True
Let m = -190 + 169. Let o be (-4)/7*(-98)/m. Which is greater: -3 or o?
o
Let k be 210/(-98) - 18287/(-8547). Is k < 1?
True
Let p(g) = 8 - 24 + 4*g - 2*g - 3*g. Let w be p(-13). Suppose -4*a - 4*o - 44 = 0, -2*a + 2*o - 6 = 4. Which is smaller: w or a?
a
Let p = -23506/5 + 4583. Which is bigger: p or -118?
-118
Suppose 5*w - 16 = -6. Let p be (54/6)/1 + -6. Suppose -115 + 109 = -p*g. Is g <= w?
True
Let c be (-6)/(48/(-28))*2. Let o(a) = a**2 - 5*a + 7. Let y be o(4). Suppose y*g - 4 = 20. Which is bigger: c or g?
g
Let y = -903/182422 + 5/1182. Let r = 889/51393 - y. Are 0 and r equal?
False
Let o(x) = x**2 - 3. Let h be o(-5). Let t(k) = k**3 + 9*k**2 - 2*k - 15. Let q be t(-9). Suppose q*r - r + 112 = 5*i, -2*i - 2*r = -42. Are h and i non-equal?
False
Let m = 322 + -236. Let l = -99 + m. Which is greater: -14 or l?
l
Let p be 2/((-3)/30*2). Suppose -f = 51 - 42. Is f at least p?
True
Let n(y) = -287*y + 4209. Let m be n(-5). Which is greater: 5645 or m?
5645
Suppose 5 = -38*l - 4*l + 1055. Is l not equal to 18?
True
Suppose -279*f + 281*f - 185 = 3*m, -4*m = 3*f - 235. Is 78 less than f?
True
Let i be (1/(-4))/(3/6). Let b = 1.919 - 2.029. Is i not equal to b?
True
Let p be (3 - (-27)/(-6))/((-2)/(-8)). Let b be p/((2/12)/((-21)/84)). Suppose 2*h + 3*h = 30. Which is smaller: h or b?
h
Let h = 150 - 276. Let d = 257 + h. Let z = d - 125. Is 6 >= z?
True
Let x(q) = -7958*q**2 - 9*q - 11. Let z be x(-1). Which is smaller: z or -7959?
z
Let x = 36802 - 256394/7. Let l(z) = 45*z**2 - 6. Let h be l(-2). Let y = h - x. Is 0.1 at most y?
False
Let r 