. Let r be o/(-2280)*3 - 1. Is r at most 1/2?
True
Let g(b) = -2*b**3 + 80*b**2 + 3*b - 122. Let a be g(40). Let w be ((-12)/(-110))/(2/(-30)). Does a = w?
False
Let c = 296 - 460. Let s be (-827)/1654 - (-658)/(-4). Which is bigger: c or s?
c
Let h be (-6)/(-15) - (-8)/5. Suppose -h*g = -7*g. Let b be (-6)/36*-44 + -6. Which is smaller: g or b?
g
Let r be ((13 - (15 - 2))/(-1))/(0 - 1). Is r < 3/5348?
True
Let g(z) = z**2 - 8*z + 10. Let j be g(7). Let u be j/(-15) - (-58)/(-10). Let n be -1 + u + 2/1. Which is smaller: n or -2?
n
Let h = 108123/7 - 15446. Which is smaller: 0.1311 or h?
0.1311
Suppose 1 = -t - 5*b + 2, 2*b = 4*t + 18. Let j be (-56)/3 - 6 - t/6. Let o be ((-9)/(-5))/(j/15 + -1). Which is bigger: 0 or o?
0
Let w be -4*6/(-8) - 143. Let v be 40/w + (-1)/(-5). Is -2/5 at most as big as v?
True
Let y be (-4 - -4 - 3)/((-186)/(-46372)). Let h = y + 748. Let q = 1 - 2. Is h less than q?
False
Suppose 5*t + 89 + 41 = 0. Let s = -423 - -426. Let i(d) = -21*d + 37. Let h be i(s). Is h at least as big as t?
True
Suppose 5*m + 3*n = -180, -4*n - 117 = 4*m + 19. Let o be ((-4)/5)/((-5)/(-250)). Which is smaller: o or m?
o
Suppose -8 + 5 = -17*o - 3. Which is bigger: o or -22/795?
o
Let w = -206.174 - -0.274. Let i = -207 - w. Which is smaller: i or -3?
-3
Let y be ((-996)/(-1743))/((-178)/(-182) - 1). Let w be 3/(-12)*3*4. Let p be (-1)/w + (-237)/9. Is y bigger than p?
False
Suppose w = 2*h - 712, 5*h - 1439 = 2*w + 6*h. Which is smaller: -720 or w?
-720
Suppose 14*k - 20 - 22 = 0. Let m be 150/15 + (-5 - k). Is 4 < m?
False
Let h = -1939.661 + 1929.7. Let k = 10 + h. Let i = -0.561 - k. Is -0.1 smaller than i?
False
Let q = 33875/3603591 - 1/8361. Which is smaller: q or 1?
q
Suppose 4*n - 2*y = 2000 + 4878, -4*n + 6873 = 3*y. Let t = n - 634309/369. Which is smaller: t or -1?
-1
Let c = -2.54 + 2.84. Which is smaller: 17/20 or c?
c
Let i = -23454 - -23387. Let x(m) = -m + 8. Let c be x(7). Is i bigger than c?
False
Let f = -1381 + 1377. Let i(q) = -2*q**2 + 10*q - 8. Let u be i(7). Let d be (u + 15)/(6/f). Which is bigger: -2 or d?
d
Let f = -8316 + 8047. Which is smaller: f or -2?
f
Let i(b) = -b + 12. Let v be i(9). Suppose 4*x = v*l - 12, 0 = -l - 3*x + 2*x - 3. Which is greater: -2/111 or l?
l
Let s = -172349/87 - -1981. Let w be (-9 - -11) + 8*(-6)/30. Which is smaller: s or w?
s
Let q(m) = 1030*m - 7093. Let t be q(32). Is 25868 smaller than t?
False
Let r be (2 + 1)/(7 - (-24)/(-4)). Let f be (-3 - (r + -1))/((-80)/32). Which is smaller: 1/2 or f?
1/2
Let i = -154 + 2308/15. Let r be -3 + (-8)/(-28) + 18/(-14). Let t be (-28)/(-8) - (-2)/r*1. Which is smaller: i or t?
i
Let t = -59.919 + -0.081. Let l = -141.8 - -29.8. Let a = t - l. Which is bigger: -2/5 or a?
a
Let l(j) = -j**3 + 35*j**2 + 111*j - 4. Let y(o) = o**3 - 12*o**2 - 12*o - 16. Let c be y(13). Let u be l(c). Let h be (-14)/6*(-3)/2. Which is smaller: h or u?
h
Suppose 0 = 4*j - 8, -f - 9*j + 8*j = 64. Is -725/11 equal to f?
False
Suppose -11 = 3*a - 2. Suppose 2*p = 3*q + 13, -3*p + 2*q + 9 - 2 = 0. Let s be ((-6)/(-8))/(p/4). Is a bigger than s?
False
Suppose 3*v + 15 = -2*c + 3*c, 0 = 2*v - 4*c. Let d be (4 + 11)*1/(-9)*v. Which is bigger: 12 or d?
12
Let s = -145581/8 + 18198. Let l(j) = -j**3 - 8*j**2 + j + 9. Let h be l(-8). Let f = h + 0. Is f > s?
True
Let g(l) = -14*l**2 + 209*l + 23. Let s be g(15). Let b = 4 + -4.5. Let x = b + 0.3. Is x less than s?
True
Suppose 0 = -72*p + 81*p + 45. Let i be -4 - (p - -1) - -19. Which is bigger: 22 or i?
22
Let c be (-2)/(((-8)/(-906))/((-18)/27)). Suppose -2*l = -y + 109, -l - c = -y - 46. Let s = 98 - y. Are s and -26/7 equal?
False
Let w be (-2)/(-12) + 8/((-288)/(-246)). Let g be (w/2)/(((-250)/(-60))/25). Are 20 and g equal?
False
Let z = 2/122535 - -10292714/13846455. Is 0 greater than or equal to z?
False
Let v = 2928 - 2910. Which is smaller: v or -53?
-53
Let o be -2*95/(-40) - 3. Let i be (-1)/3 - 1557/(-540). Let b = o - i. Is 1 > b?
True
Let l be 9/(-2)*(1 + 3). Suppose p + 6 + 5 = -k, -7 = k + 2*p. Let u = l - k. Is u bigger than -4?
True
Let x = 0.0668 + -0.1668. Which is smaller: 295 or x?
x
Let j be (-3)/(-1) + -91 + 87. Which is bigger: 42/433 or j?
42/433
Let d(i) = i**3 - 6*i**2 - 6*i - 8. Let g be d(7). Let a be 29 + -33 + (54/19 - g). Let r = 37/114 + a. Which is smaller: r or -5?
-5
Let n = 1717 - 558026/325. Is n less than or equal to 1?
True
Suppose -b - 281 = -2*j + 922, -5*j = 5. Let r be (18/(-9))/((-10)/b). Is r at least as big as -241?
True
Suppose 0 = -3*o - 12*o + 990. Suppose 0 = -3*a + o - 33. Do 12 and a have different values?
True
Let t(z) = 7*z + 39. Let g(l) = -l**2 - 12*l - 38. Let m be g(-4). Let x be t(m). Which is bigger: -0.6 or x?
-0.6
Suppose -2*d - 29 - 43 = 0. Suppose 2*m = -x - 76, -10*x = -8*x - 8. Let u = d - m. Are u and 1 non-equal?
True
Let o be 0/(19/190*20). Which is smaller: o or 20/1499?
o
Let j(p) be the third derivative of -p**6/120 - 2*p**5/15 + 5*p**3/3 - 21*p**2. Let o be j(-6). Let z = 54 + o. Is z less than -4?
True
Let v = -460 - -460. Is v < -1336?
False
Let n(d) = 4*d**2 + 109*d - 341. Let v be n(3). Does 7 = v?
False
Suppose -4*w - 32 = -4*k, -k + 2 + 2 = 0. Let z = -1016 - -1024. Let q be -5*z/100 - w/(-65). Which is smaller: q or 0?
q
Let x = -7648/25 - -15261/50. Suppose 5*y + 1 = 4*y. Which is bigger: x or y?
x
Suppose -11800 = 9*b - 29*b. Suppose 5*q = -4*t + 1388, 4*t - b = 3*q + 830. Is 353 != t?
True
Let z(p) = -5*p**2 - 85*p - 14. Let h be z(-19). Which is greater: h or -203?
-203
Let y(t) = 18*t**2 + 266*t + 258. Let q be y(-12). Are -351 and q unequal?
True
Let i = 45 + -406/9. Let p(a) = -24*a**3 + 2*a**2 + 2*a + 1. Let g be p(-1). Let w be g/(-150) - (-1 - 1/6). Is i < w?
True
Let f = 559582395 + -11941488344431/21340. Let x = -4/1067 + f. Which is greater: x or -3?
x
Suppose -49*q - 17047 = 17694. Which is smaller: -707 or q?
q
Let p be (-20)/330 - (-12 + (-61520)/132). Are 486 and p nonequal?
True
Let j = -43/3 + 313/21. Suppose -2*m = 7 - 9. Let n be 0*(m + 3 + -3). Which is smaller: j or n?
n
Let z = -0.3 - -0.34. Let d = z - -0.06. Let i = 6412.7 + -6415. Are i and d equal?
False
Let u = -4.42 - 229.58. Let b = -233 - u. Which is bigger: -0.1 or b?
b
Let k(w) = -w**2 + 36*w - 126. Let b be k(32). Suppose l = 3*c - 2, b*l - 46 = -c - 43. Is c bigger than -26?
True
Let q be -2*17/50 - -1. Suppose 0 = -2*c + 78 - 58. Suppose -9*y + 19 = c. Which is smaller: q or y?
q
Let f = 99 - 106. Let a(p) = p + 8. Let q be a(-7). Let m = -8 - q. Is f <= m?
False
Let f = 222 - 217. Let i be f/((-17)/(-34)*2/8). Which is smaller: i or 44?
i
Let l = 73551997/5820 - 63189/5. Which is smaller: l or -1?
-1
Let a(c) = -c**3 + 2*c**2 - 4*c + 1. Let z be a(2). Suppose -4*g - 13 = -0*g + 5*r, -4*r - 32 = -4*g. Let t be g/2 - 8/(2 + 6). Which is smaller: t or z?
z
Let c = -352 - -580. Let q = -228 + c. Suppose m - 210 = -2*m. Which is smaller: q or m?
q
Let c = 16937 - 16937.31. Let i = 0.3 + -0.2. Do c and i have the same value?
False
Let k be (-6)/(-21) - 19/(-7). Suppose n = 5*a + 9, -k*n + 3*a - 2*a = -13. Let o = 4.3 + -5.3. Which is greater: o or n?
n
Let d = 2945 + -73623/25. Which is smaller: -9/26 or d?
-9/26
Let x(c) = c - 1. Let g be (4 - (-27)/(-6))*-4. Let l(n) = -n**3 - 6*n**2 + 3*n - 3. Let d(t) = g*x(t) - l(t). Let v be d(-5). Is v greater than or equal to -2?
True
Let u(b) = 2*b**2 - 50*b + 253. Let i be u(18). Is 3/523 >= i?
False
Let c = -69 + 197. Let q = c - 66. Let p = -61.8 + q. Which is smaller: p or -4/5?
-4/5
Let i = -0.3 + 0.1. Let y = -31.5014 + 31.9714. Which is smaller: y or i?
i
Let p be 1 - ((-6)/9)/(6/(-9)). Suppose -w - 27 = -2*g - 11, p = -3*g + 2*w + 22. Let d be (10/(-40))/(g/(-88)). Which is bigger: d or 1?
d
Suppose 4*i - p - 20 + 1 = 0, 25 = 4*i + 5*p. Let u = i + -13. Let j = 6 - 8. Is u > j?
False
Let v(t) be the third derivative of -11*t**5/15 - 5*t**4/8 + t**3/6 - 5*t**2. Let y be v(1). Is y bigger than -58?
False
Suppose 17*l = -18 + 1. Let f(q) = -19*q**2 - 2*q - 3. Let v be f(l). Is 0.4 at most v?
False
Let c(k) = -246*k**3 - k**2 + 2*k - 1. Let m be c(1). Let p = 157 + m. Is p smaller than -89?
False
Let n be 4 + 3*5/(-15). Suppose -3*a - n*r + 48 = 0, -4*a = -5*r - 42 + 5. Which is smaller: a or 17?
a
Let x b