et y be k(-1). Is 9/89 at least as big as y?
False
Suppose -26 = 5*w - 3*w. Let z be (45 - 48)/((-2)/(-2)). Is w less than or equal to z?
True
Let w = -2/733 - -7336/2199. Which is bigger: 2 or w?
w
Let z(r) = 4*r**3 + 3*r - 2. Let y be z(1). Let n be 2/y - (-272)/(-380). Which is greater: 0 or n?
0
Suppose 2*h - 5*y - 40 = 0, 0 = -4*h - 6*y + 4*y + 80. Which is smaller: h or 19?
19
Let x = 0.077 - 7.077. Which is greater: x or -12/7?
-12/7
Let z = 14 - -6. Suppose 0 = -24*c + z*c + 60. Which is smaller: c or 1?
1
Let p = -87.949 + -0.051. Let y = p - -75. Let x = 2 - 4. Are x and y unequal?
True
Let k be (-21)/15 - ((-207)/(-45) - 5). Let f = 7066 - 2027944/287. Let l = -1684/5453 + f. Does k = l?
False
Let f = 9.5 - 9.3. Let m = -532/13 - -41. Which is smaller: f or m?
m
Suppose -2*h = 2*z - 0*h - 8, -5*z - 4*h + 21 = 0. Which is greater: 35/8 or z?
z
Let w = -968 - -969. Suppose -5*g + 2*o = -7, 0*g = 2*g + 2*o. Is g < w?
False
Let u = -1119.33 + 1127. Let q = u + 0.33. Is -0.2 greater than q?
False
Let f = 10.1 - 12.5. Is -1.9 less than or equal to f?
False
Let a be (9 + -5 - (-1 + -3)) + -8. Which is smaller: a or 3/832?
a
Let w(h) be the second derivative of 5*h**2 + 0 - 1/6*h**3 - 6*h. Let o be w(9). Which is smaller: o or 1/8?
1/8
Let j be 1726/(-345) + 80/16. Is j at least 0?
False
Let r(k) = -2*k**2 - k - 9. Let d(p) = -p**2 - 2*p - 10. Let z(y) = 3*d(y) - 2*r(y). Let t = -25 + 31. Let n be z(t). Is 0 at least as big as n?
True
Let u = -2942 - -2960.51. Let z = u - -0.49. Is z at most as big as -0.1?
False
Suppose 4*c + 3 = -9. Let d be c*((-170)/(-15) - 1). Is -31 not equal to d?
False
Let k = -47/168 + -3/56. Are 59 and k equal?
False
Let q be (-20)/(-66)*3*1. Let b be 0/(8/(15 + -11)). Which is bigger: q or b?
q
Let n = -3/2 - -4. Let v be (-10)/3 - (-4)/(-6). Let y be 2/4 + (-14)/v. Is y greater than or equal to n?
True
Let b = -34.02 - -34. Let d = -0.31 - b. Which is smaller: d or -1/3?
-1/3
Let u = 36 + -34. Let x = 6 + u. Let w be (13/8)/(2/8). Are w and x unequal?
True
Suppose -51 = -3*o - 21. Let l be -3*4/(-6)*(-5)/o. Is l greater than -1?
False
Suppose 3*q - 662 = -n, 2*q = -n + 3*q + 650. Which is greater: n or 654?
654
Let l be (140 + -123)/((2/(-2))/(-1)). Is 9 < l?
True
Let g = 2136 - 1368. Which is greater: 767 or g?
g
Suppose -25*p + 24 = -22*p. Let f(k) be the second derivative of -k**3/6 + 5*k**2/2 - 2*k. Let x be f(p). Is -2 at most x?
False
Let z(i) be the second derivative of 13*i**5/20 + i**4/12 + i**3/6 - i**2/2 + 7*i. Let c be z(1). Let u = c - 13. Is -1/5 < u?
True
Suppose -2*p = 3*i + 3*p + 17, 4*p + 11 = -5*i. Let m = -24699/5 + 4942. Which is smaller: i or m?
i
Let d = 3118 - 3116. Which is smaller: -776 or d?
-776
Let m be 1/((-3)/(-39) + 0). Let h = -1 + m. Let z = -1 + 12. Is z at least as big as h?
False
Let q be (-2)/(-10)*(-10)/12. Let v(n) be the second derivative of n**3/3 - 3*n**2 - 6*n. Let u be v(3). Which is smaller: q or u?
q
Let h be (2 - 102)/(1/24). Let o be 6/(-10) + (-1340)/h. Is o smaller than 1?
True
Let r = 1.22 - -19.08. Let w = r + -1.3. Let x = w - 22. Is x greater than 0?
False
Let c be ((-1)/(-3))/((-1)/6). Let h(b) = -b**2 - 3*b + 1. Let p be h(c). Suppose -4*g + 4 = r - 4, p*r - 4*g + 24 = 0. Does r = -4?
True
Suppose -4*u + 2*r - 7*r + 9 = 0, -4 = -4*r. Let j = -0.375 + 0.175. Is j at least u?
False
Let h(a) = a**3 - 7*a**2 - 9*a + 10. Let g be h(8). Suppose -5*p + g*u + 1 = 0, -2*p - p - u = -5. Is p not equal to 1/27?
True
Let s = 2/10243 + -3349481/102430. Is -33 at least as big as s?
False
Let u(m) = -m + 5. Let s be u(0). Suppose 0 = o - s*o + 12. Let n be (-12)/(-18)*o/2. Is -2/49 greater than or equal to n?
False
Suppose 5*c = 0, 3*c + 35 = 6*d - d. Suppose -d = -o - 5. Let t = 1 - -2. Are t and o non-equal?
True
Let g = 6 - 15. Let j be ((-22)/6)/(1/3). Is j at most g?
True
Let w = -813972/119 + 6840. Is 1 at most w?
False
Let u = 0.5 + -4.9. Let v = 3.7 + u. Are v and -1 non-equal?
True
Let v = -526 + 497. Which is smaller: -0.8 or v?
v
Suppose -2*w + 7*w = 15. Suppose 2*a + 4 = w*a. Suppose 3*j - 1 = -9*r + a*r, 5*r = -2*j + 4. Which is bigger: j or -4?
j
Let b be 1/(-4) + 2618/44. Let y = -59 + b. Which is smaller: y or -2?
-2
Let n = 46 + -14. Let o be (-2 - n/(-14)) + 0. Is 10 at least as big as o?
True
Let h = -2 + 3. Let r be ((-4)/(-6))/(10/(-150)). Let m be (-72)/(-22) + (-12 - r). Which is bigger: m or h?
m
Let c be 9/27 - (-4138)/(-12). Let s = -336 - c. Which is bigger: 9 or s?
9
Let a(m) = -m**2 + 2*m. Let d be a(3). Let z be 8 - d*2/(-6). Suppose -z*w - 8 = -3*w. Which is smaller: -5/6 or w?
w
Let t be (-15626)/195 + 6/45. Are t and -80 equal?
True
Let f = -302 - -296. Is -8 != f?
True
Let g be 0 + 2 - (-11 - 1). Let m = -1978 + 1990. Is m greater than or equal to g?
False
Let b(s) = 3*s**2 - 41*s + 137. Let w be b(6). Which is greater: w or -1/91?
-1/91
Let g(s) = -129*s + 296. Let x be g(2). Which is smaller: 45 or x?
x
Let j = -3137 - -3137. Let f = 85 - 25. Which is smaller: f or j?
j
Suppose 5*t + b + 30 = 0, 3*t + 5*b = 3 - 21. Is t <= 0?
True
Let m(k) = 7*k - 73. Let o be m(9). Let d(v) = -7*v - 71. Let x be d(o). Which is smaller: x or 5/8?
x
Let o(c) = 13*c**2 - 4*c + 6. Let k be o(2). Let f = k + -51. Which is smaller: -3.8 or f?
-3.8
Suppose 0 = -4*x + 16, 4*z - 56 = -z - 4*x. Suppose -1 - z = 9*u. Let r = 4772/35 - 682/5. Which is smaller: u or r?
u
Let u = -167.1 + 167. Which is smaller: u or 79?
u
Let v = 0.9774 - -0.0226. Is v bigger than 0.0137?
True
Let h = -1356/5 - -272. Suppose 0 = 6*y - 4*y + 2. Let a be (y - 0)/((-7)/7). Is a smaller than h?
False
Let v = -195 - -279. Let z = v + -34. Suppose -3*g + 5*g + 2 = 2*n, 5*g = -4*n - z. Which is bigger: g or -24/5?
-24/5
Suppose -98 = 3*q - 4*t, -6*t = -t + 5. Let m = 41 + q. Is 4 at least m?
False
Let s be (-5)/((-10)/(-6)) + -4. Let c = s + 37. Let f be (-4)/c + 34/30. Is f bigger than 2?
False
Suppose -s - 25 = 4*k, 4*s + 5*k + 15 = 6*s. Let w be -2*(-2 - s/2). Let i = -0.08 + -0.02. Is i < w?
False
Let d = -44 - -52. Suppose -p - d*l + 3*l - 15 = 0, 2*p = l - 19. Which is smaller: -5 or p?
p
Let t be -4*((-78)/(-20) - 4). Suppose -2*k + 142 = 4*j, -3*k + 1 - 92 = -2*j. Suppose -j*r = -40*r + 20. Which is bigger: r or t?
r
Suppose -5*c - 5 = 5*a + 5, a - c = 6. Let g be a/1*-1 + 1. Let w be 6/117*-3*1. Is g <= w?
True
Let c be 1*-30*(-18)/(-12). Let s = -34 - c. Is 11 >= s?
True
Suppose -5*v + 51 = -8*v. Which is greater: -16 or v?
-16
Let s(o) = 2*o**3 + 24*o**2 - 91*o - 13. Let j be s(-15). Is 4 equal to j?
False
Let r be (-6)/(-1) + (-28 - 45). Is -65 not equal to r?
True
Let k be 5*1 - 3*(-33319)/(-20007). Which is bigger: 1 or k?
1
Suppose -12*h + 11*h = 2. Let k be (-2)/h - (-1 + 2 + 0). Is 2/13 <= k?
False
Suppose 8*u - 70 = 6*u. Suppose -o - o = 5*d - 72, -2*d + u = o. Which is smaller: 0.2 or o?
0.2
Let m be (-3)/(-2) - -4 - 12/8. Suppose -8*i - m - 12 = 0. Do -10/9 and i have the same value?
False
Suppose -56*f = -57*f + 1. Let r = 23.77 - 24. Let h = r + -0.17. Is f > h?
True
Let g be 18/(-8) - 5/(-20). Let n be 3/(-13 + (-6)/g). Let d = -11/20 - n. Which is smaller: -1 or d?
-1
Suppose 11 = -2*v + h, 0 = -4*v - 5*h + 9*h - 24. Which is greater: 2.8 or v?
2.8
Let o = 14 - 8. Suppose -o = 2*l - 46. Let f = -23 + 42. Which is bigger: l or f?
l
Suppose -3*m = -5*m + 6. Let u be 3/1 - (2 + -4). Let o = u - 2. Are m and o equal?
True
Let z(i) = -3*i - 21. Let p be z(-7). Suppose -h + 3*r + 27 = 8*r, p = 5*h + 2*r - 43. Which is smaller: h or 4?
4
Let b be ((-34)/68)/(1/12). Which is bigger: b or 1?
1
Suppose 4*i + 17 = 5*r, 0 = r + 3*r - 3*i - 14. Suppose -20 = -r*w + 2*h, -3*h + 15 = -0*h. Suppose -4*d + 2*o = -14, 1 = o - 0. Which is bigger: w or d?
w
Let n be -2*(8/14)/1. Let y = 14 - 5. Let x = -11 + y. Which is greater: n or x?
n
Let g be 15/(-35) + (-2036)/35. Let m = 316/5 + g. Which is smaller: 6 or m?
m
Suppose 51*l - 1270 = 4*n + 49*l, l - 954 = 3*n. Is n greater than -323?
True
Let p(l) = l**3 - 10*l**2 - 13*l + 22. Let g be p(11). Let s = -5289226 - -174517660/33. Let y = -812 - s. Which is greater: g or y?
y
Let r = -0.0163 - -0.1463. Which is smaller: -4/7 or r?
-4/7
Suppose 2*z - 44 = 5*t, 0*t - 5*z - 6 = 2*t. Let r be (-2 - t)*(-6)/(-4). Suppose 11*h = 126 - 3