s greater: r or 0?
r
Let l be 24/(-15)*(1 - 2). Let f = 44.2 - 44.4. Which is smaller: l or f?
f
Let c be 1/(5 + -3)*4. Suppose -c*p - 46 = 4*d, 7*p - 2*p + d = -133. Which is greater: -26 or p?
-26
Let l be (-1)/(4*4/32). Let h be (12/4 + -5)*l. Suppose -n + 2*t - 1 = 0, -h = -5*n + t - 0. Is -2/9 >= n?
False
Let s be 2/5*(54 - 64). Let u = 12 + -15. Does u = s?
False
Let g be 9/2 + 39/26. Suppose -3*r + g = -0, 5*j + 4*r = 28. Let f(b) = b**2 - 2*b + 1. Let q be f(j). Is q less than or equal to 10?
True
Let h be (-16)/32 + 1/2. Is h <= -1/22?
False
Let h(f) = -f**2 + 2*f - 4. Let z be h(4). Let o be 9/1*(-4)/z. Suppose -2*s + 6*i - 2*i - 6 = 0, o*s + 9 = -i. Which is smaller: 0.4 or s?
s
Let f(w) = w**3 - w**2 + w + 12. Let b be f(0). Let g = b + -19. Let x be (-2)/g + 32/(-14). Which is bigger: x or -6/7?
-6/7
Suppose 0 = -u + 34 - 52. Which is greater: -3 or u?
-3
Suppose 9*p = 13*p + 5*m - 10, 2*m - 4 = -p. Which is greater: p or -2/527?
p
Suppose 2*l + 12 = 5*l. Suppose l*n - 6 = 18. Suppose s - 4 = -n. Which is greater: s or -1?
-1
Let u = -2 - -3. Let z = 0.05 - 1.05. Let r = z + 0. Is r greater than or equal to u?
False
Let f = -18910 - -24110248/1275. Which is greater: f or -1?
f
Let h = 10.81 + 0.19. Suppose 46*p + 150 = 12. Is p greater than or equal to h?
False
Let y be 6/8*((-24)/2)/(-3). Suppose 3*n = -y - 3. Do n and -5 have the same value?
False
Let b(u) = -u**2 + 61*u + 1054. Let m be b(-14). Let s(k) = -k**2 + 3*k + 2. Let l be s(4). Let q be (8/(-6))/(l/6). Is m < q?
False
Let z be (1/3)/(264/(-72)). Are 1 and z non-equal?
True
Let w = -4 - -9. Suppose -2*t - 22 = -3*g, -w*g + 24 = -4*t - 18. Suppose 4*k - 3*x = -26, -3*k - 8 = 5*x - 3. Which is greater: k or t?
k
Let u be 65/(-27)*(-12)/(-16). Let q = u - -5/9. Let z(t) = t**2 - 6*t + 3. Let l be z(5). Which is greater: l or q?
q
Let d be -3*3/(-81)*-3. Let m(z) = -z + 4. Let b be m(5). Which is greater: d or b?
d
Let u be (6/3*-1)/((-35)/((-385)/22)). Let b(z) = z**3 + 4*z**2 + 3*z + 3. Let q be b(-3). Is q at most as big as u?
False
Let h = 18 + -15. Suppose -h*o = -0*o + 36. Let l be 1/(-1) + 20 + o. Is l not equal to 6?
True
Let f = -449 + 422. Is -32 greater than f?
False
Let y be (4/(-10))/((-142)/355). Which is smaller: y or -2/1155?
-2/1155
Let b = 47.49 - 5.49. Let p = -14 + 13. Is b at least p?
True
Let f be 1 - 2 - (-2 + -1). Let a be ((-1)/26)/(10/(-240)). Which is smaller: a or f?
a
Let t = -6.253 - -0.053. Let y = t + 5.2. Which is smaller: y or -1/8?
y
Suppose 5*c + 10*c = 15. Let m(n) = n**2 + 12*n + 15. Let x be m(-11). Suppose -5*v - 2*y = -5, x*v - 2 = 4*y + 2. Is v at most c?
True
Let z = -118 - -65. Let o = z - -55. Which is smaller: o or 3?
o
Let n be (3 - 24/9)*6. Suppose -n*r = 3*r + 10. Let k be ((-9)/(-18))/(r/4). Is 1/4 at most k?
False
Let h be (-3)/(-8) - (-63)/24. Suppose 5*z = h*z + t + 6, 0 = 2*z - 2*t - 10. Is 4/21 < z?
True
Let z = -10 - -10. Suppose -2*a + 4*a - 56 = z. Let v = 25 - a. Is -2 at least as big as v?
True
Let k = -343.7 - -344. Is k < 2/129?
False
Let c(u) = -u**3 - 8*u**2 + 7*u + 2. Let i be c(-9). Suppose -i*d = -15*d - 10. Let p be d*(7/(-2) + 3). Does p = 3/5?
False
Let m(n) = -26*n**2 + 23*n - 20. Let y(z) = -9*z**2 + 8*z - 7. Let i(t) = 4*m(t) - 11*y(t). Let u be i(2). Let x = u + 16. Is -2/5 at most x?
True
Let z = 35 + 9. Suppose 5*n - 4*f = -107 + 21, 0 = -4*n - 3*f - z. Let i be n/(-4) - (9 - 7). Is 3 at least as big as i?
True
Let v = -11 - -8. Let m be 3/(((-63)/6)/(-7)). Suppose -r = 3*d, -m*d + 4*r = 14 - 0. Which is smaller: d or v?
v
Let s be 1651/(-19) + 22/(-209). Which is smaller: -88 or s?
-88
Let o = 617 + -616. Are -2/1269 and o equal?
False
Suppose -104*t + 79*t + 1425 = 0. Which is smaller: t or 5?
5
Let q be -1 + -1*(-21)/5. Let z = 0.373 + -0.073. Is q less than or equal to z?
False
Let c = 109 - 104.7. Are c and 0.1 equal?
False
Let g = -79 - -17. Which is greater: g or -61?
-61
Let i = -19 - -16. Let p be i/(-4) - (-91)/(-52). Is p not equal to -12/13?
True
Let g = 0.16 + -0.13. Let z = 0.13 - g. Which is smaller: z or -11/4?
-11/4
Let h(a) = -7 - 3 - 11*a - 2*a**2 + a**2. Let q be -3 + (-8)/(-4) - 9 - 0. Let o be h(q). Is o equal to 6/5?
False
Let y be (252/15)/((-9)/(-30)). Let o be (26/16 + -2)*y/(-70). Which is smaller: o or -1?
-1
Let m = -3 - -2. Let w = 0.18 - 0.27. Let i = w + 4.09. Is m greater than i?
False
Let x = 920 - 824. Which is bigger: 100 or x?
100
Suppose 5*j - 2*d - 20 = 0, 3*j - 2 = 5*d - 9. Let z be 2/8*j + -1. Let q = -6554/7 + 936. Is z less than q?
False
Let n be -1 - (-6 + 1523/305). Which is bigger: n or -1?
n
Let r = 19.743 - -0.157. Let u = 20 - r. Is 0.2 greater than u?
True
Let v = -1.9 + 2. Let u = 6109/12 - 509. Which is smaller: v or u?
u
Let g = 37/5 - 69/10. Let n = -1/6 + g. Is 1/3 greater than or equal to n?
True
Let q be (-2)/10*(-20)/8. Let x(d) = 0 - 6*d + 1 - 6 + d**2. Let o be x(7). Are o and q unequal?
True
Let s(j) = 11*j + 65. Let v be s(-6). Which is smaller: -16/93 or v?
v
Suppose 4 + 8 = 3*d. Let o(q) = -q**3 + 8*q**2 - q - 37. Let u be o(7). Suppose d*h = u*h. Is h >= 2?
False
Let p(c) = c**2 + 4*c - 12. Let j(i) = i**2 + 7*i + 16. Let z be j(-5). Let w be p(z). Which is smaller: w or 46?
46
Let c = -91.86 - -92. Let g = -0.09 - 0.05. Let u = c + g. Which is greater: u or 11/3?
11/3
Let d be -9 + 10 - 1354/10. Let w = d + 20817/155. Is 1 at most w?
False
Let d be -10*(-10 - -6) - (-1 + -5). Which is bigger: d or 45?
d
Let v(q) = -2*q**3 + 1. Let y(w) = -w**3 - 5*w**2 + 6*w + 3. Let d be y(-6). Suppose -2 = p - d*f + 8, -4*f + 7 = 5*p. Let x be v(p). Is x greater than 3?
False
Let d be 2/(-9) + (-1)/3. Let f(w) = -w**3 + 11*w**2 - 2*w + 22. Let i be f(11). Let q(n) = -n**2 + n - 2. Let j be q(i). Does j = d?
False
Suppose -4*m + 26 + 6 = 4*h, 3*m = -2*h + 20. Suppose 11 = h*o - 17. Suppose -4*d = -2*d - 16. Which is bigger: d or o?
d
Suppose -5*q = 5*t + 40, 0 = -4*q + 8*q + 16. Suppose 11 = 2*f - 5*h, 2*f + h + 16 = -3*h. Which is greater: t or f?
f
Let c(r) = -r**3 + 22*r**2 + 105*r - 10. Let y be c(26). Suppose -m - 5 = -19. Which is greater: m or y?
y
Let n = 40 - 37. Suppose n*j + q + 13 = -q, 4*q = 3*j + 19. Which is bigger: j or -2?
-2
Let k = -9055/1470501 - 1/13743. Is 0 not equal to k?
True
Let y = 26.5 - 30. Let c = y - -3.9. Which is smaller: c or 3/2?
c
Let f = -307 - -271. Is f at least -39?
True
Suppose 2*b + 10 = v, v - 4*b = -3*b + 11. Suppose 6*q - v = 12*q. Does q = -2/9?
False
Suppose -40 = -4*u - w + 4*w, u + 3*w + 5 = 0. Suppose -1 = 5*v - 41. Let x = v - u. Is -2/43 at most as big as x?
True
Let p(y) be the first derivative of 2*y**3/3 - 7*y**2 - y - 6. Let d be p(7). Which is greater: 2/135 or d?
2/135
Let c(m) = 15*m + 76. Let k be c(-5). Is -2 less than k?
True
Suppose -4*t + 0 = -4. Let z(s) = 9*s**2 + 4. Let d(o) = o**3. Let l(m) = t*d(m) + z(m). Let f be l(-9). Does 4 = f?
True
Let a be (4/(-3))/(-2)*-9. Let j be ((-32)/112)/(4/a). Are j and -1 non-equal?
True
Let u be (-2 - -4 - -12)*(-47 + 45). Which is bigger: u or -29?
u
Let g = -659 - -671.04. Let j = -12 + g. Let b = j + 0.76. Is b < 0.1?
False
Let s = -2197/4 + 550. Is s at most -0.07?
False
Let y be (-70)/8 - 2/((-80)/(-10)). Is y > -9?
False
Let i(b) = b**3 + 30*b**2 - 19*b + 115. Let u be i(-31). Is -256 greater than or equal to u?
True
Let i = 677.1 + -677. Which is smaller: i or -540?
-540
Let q(z) be the first derivative of 2*z**3/3 + 27*z**2/2 - 8*z + 4. Let w be q(-13). Which is smaller: 1 or w?
w
Suppose -19 - 21 = -5*g. Which is smaller: g or 6?
6
Suppose 2*l = -3*l. Suppose -5*n + 2*n - 36 = l. Is -11 less than n?
False
Let a be 27/18*8/3. Let c be 2224/(-440) + a - (-1 - 0). Is c less than 1?
True
Let a = -1339 + 36160/27. Do a and 0 have different values?
True
Let b(o) = -o**2 + 6*o + 7. Let a be b(6). Let j = a - 3. Let t = -53 - -58. Which is smaller: j or t?
j
Suppose 7*n = 221 + 374. Is n at least 86?
False
Let j = -18 - -89. Suppose -11*p - j = 50. Is -16 smaller than p?
True
Let k = -0.31 + -0.69. Which is smaller: 1.63 or k?
k
Let t = 50 - 49. Let u = 93.6 + -98.53. Let r = -0.07 + u. Which is greater: r or t?
t
Let b = -1.5 + 0.5. Is 0.81 equal to b?
False
Let c = -164 - -1144/7. Which is bigger: c or -2?
c
Let x = 0.44 - -5.56. Let l = -7