7 + 5349. Which is smaller: k or -251?
k
Let b = -123/5 - -25. Let k be (-4)/(-10) + 4/(-6). Let s = b - k. Is -0.2 at most s?
True
Let q be (-22 + 20)/(10/(-24)) + -6. Which is smaller: 3 or q?
q
Let x be (3 - 2)*1 - 2. Let h(g) be the second derivative of -g**3/6 - g**2/2 - 11*g. Let u be h(x). Which is smaller: 4 or u?
u
Suppose 21*v - 20*v = -k + 3, 4 = -4*k + 4*v. Which is bigger: k or -5/199?
k
Suppose 0 = -99*p + 84*p + 30. Suppose 3*w - 17 = 19. Let f be 4/p + 1 - w. Which is smaller: -10 or f?
-10
Let h(o) = -7*o**2 - 26*o + 274. Let z be h(9). Is 0.1 bigger than z?
True
Let o(f) = -f**2 + 12*f - 4. Let y(w) = w**2 - 13*w + 3. Let t(s) = -4*o(s) - 3*y(s). Let l = 10 + -2. Let q be t(l). Is q greater than -3/5?
False
Let l = -125 - -127. Let g = 65 - 203. Let a = g - -693/5. Is l > a?
True
Let a = 0.0239 - 0.0439. Is a < 8?
True
Let b be (-3 + 0 - -3) + 15. Let c = b - 14. Which is smaller: 8 or c?
c
Let v be (-5085)/(-81) - ((-50)/45)/5. Let m(r) = 9*r + 1. Let c be m(7). Is v smaller than c?
True
Suppose -5*p = 2*w - 0*p - 31, -2*p - 5 = -5*w. Let j = -1382 - -1383. Is j > w?
False
Let f be (-6)/(-16) + (5157/72 - -7). Let v = f - 80. Which is smaller: 3/11 or v?
v
Let u = -19 + 5. Let y = u - 4. Which is smaller: y or 0.1?
y
Suppose -59*c - 3048 = -71*c. Is 257 at most c?
False
Suppose 87*h - 843 - 636 = 0. Is 17 greater than h?
False
Let m be ((-2)/(-4))/(1/10). Suppose 4*d - 40 = 5*k, 4*k = m*d + 5 - 28. Let r = -726.9 + 727. Is r smaller than k?
False
Let w(d) = -d**2 + 7*d - 13. Let k be w(3). Is k at most 2/409?
True
Let x = -47 - -61. Let s = -10 + 16. Is x greater than s?
True
Let z be 15/3 - 1/1. Let p be (-8)/132*-69 - z. Which is smaller: p or -1?
-1
Let g(d) = d**3 + 9*d**2 + 7*d - 6. Let h be g(-8). Let n be h/1 - 7857/(-99). Let i = 81 - n. Is -1 not equal to i?
True
Suppose 378*z - 374*z - 4 = 0. Is z at least -4/193?
True
Let p = -7 - -5. Let n be p - 6/(2 + -4). Let v be (1 - n) + 3/1. Do v and 3 have different values?
False
Let i = -0.09 + 0.89. Let w(j) = 18*j + 30. Let u be w(-4). Let l be -4 + ((-1)/(-6))/((-2)/u). Does i = l?
False
Let a be 2*1/2 - (-186907)/77. Let q = a + -2430. Is q at most as big as -2?
False
Let l = -23 + 32. Suppose 4*m = m + 15. Let z be m*(-2 + (-19)/(-5)). Is l at least z?
True
Suppose 3*m = 4*k + 4*m, 4*m = -16. Let h be (-129)/(-215)*10/(-28)*16/(-12). Is k smaller than h?
False
Let o = -3 + 5. Suppose -o*g + 2*y - 5 = -g, -g = y - 7. Which is smaller: 16/7 or g?
16/7
Suppose k = -5*s - 18, 2*s + 0 = 3*k - 31. Let z be k*(-2)/(-4)*(-4 - 2). Is z greater than or equal to -19?
False
Let h(b) = b**2 - 13*b + 4*b**2 + 1 + 14 - 4*b**2. Let q be ((-6)/(-7))/((-3)/(-42)). Let w be h(q). Is w greater than 2?
True
Let a be -1 - 3/((-12)/160). Suppose 0*r + a = -3*r. Let o = 20 + r. Is 7 < o?
False
Suppose 29*s - 24*s + 250 = 5*q, -5*s = -q + 38. Which is greater: q or 54?
54
Let t be 10/(-8) + 3610/(-152). Is 2/15 at least as big as t?
True
Suppose -17 = -n - k, 0 = 4*n - 3*k - 50 - 39. Which is smaller: n or 0.07?
0.07
Let q(t) = 6*t**2 + 4*t + 6. Let s(x) = 5*x**2 + 3*x + 5. Let a(g) = 4*q(g) - 5*s(g). Let h = -3 + 6. Let p be a(h). Is p at least -6?
False
Suppose -3 = -3*b + 9. Suppose 4*q - 9 = i + 4, b*i = 3*q. Suppose 0 = -6*s + q*s + 2. Is s >= -1/5?
True
Let w = -6 - -4. Let b be (380/(-90))/((-4)/(-3)). Which is smaller: b or w?
b
Let m be ((-8)/24)/((-5)/(-60)). Which is greater: m or 161?
161
Suppose 0 = -f - 1 + 6. Let r = f + -5. Suppose r = -0*d + 4*d. Is -2/9 != d?
True
Let h be 6/(-3)*(-6)/4. Let f be (-1)/h + (-156)/(-252). Is 65 != f?
True
Let k(x) = -x - 317. Let n be k(-13). Is n < -304?
False
Let w = -136 + 136. Let p be (-232)/(-518) + 6/(-21). Which is smaller: p or w?
w
Let w(b) = 26*b + 49. Let k be w(-3). Suppose -5*q + 10*q + 130 = 0. Is q greater than or equal to k?
True
Let p(y) = 2*y**2 + 8. Let d = 22 - 19. Let i be p(d). Is i <= 26?
True
Suppose -32*o + 27 = -35*o. Let k be 12/(-30)*6/o. Are -1 and k non-equal?
True
Let n = -1.52 + 0.02. Let k = -0.53 - n. Let u = k + 0.03. Is u smaller than 10?
True
Let i = 161 + -163. Let u be 14/(-21)*i/(-4)*15. Let p = -633/5 - -127. Is p at most as big as u?
False
Let f be (-24)/(-20)*60/(-9). Let h(s) be the third derivative of -s**4/24 - 11*s**3/6 + 2*s**2. Let c be h(f). Is c equal to -2?
False
Let d = 69 + -347/5. Let y = -11.95 - -12. Let a = y + -0.35. Is d bigger than a?
False
Suppose 3*i + 21 = -0*i - 3*m, -4*i - 5*m = 25. Let x be (-16)/(-35) + i/(-25). Let h be 6 - (-8)/((-2)/1). Which is bigger: x or h?
h
Let m = -2.7 - -0.7. Let b = m + -4. Is b bigger than -1?
False
Let j(m) = 2*m**3 + 13*m**2 - 2*m + 39. Let h be j(-7). Which is smaller: h or 36/11?
36/11
Let t(y) = -20*y**2 + 4 + 4*y**3 + 8*y - 3*y**3 + 27*y**2. Let x be t(-5). Which is smaller: 11 or x?
11
Suppose -6*t + 8*t - 10 = -4*a, 5*t - 5*a = -5. Is 4/223 smaller than t?
True
Suppose -100*r + 99*r + 71 = 0. Are 72 and r equal?
False
Let m = -125 + 123.3. Let x = m + 1.7. Let o = -5 + 3. Is x smaller than o?
False
Suppose 14*b + 12 = -2. Is b equal to 12/37?
False
Suppose 2*y + 5*d = 41, 0*y + 2*y - d - 23 = 0. Suppose -26*u + 4*u - 88 = 0. Let l = u + y. Is l < 9?
False
Let u = 202 - -51. Is u bigger than 252?
True
Let t be (10/(-6))/(1/(-3)). Suppose -21 = 544*l - 547*l. Is t at most l?
True
Let y = 1.33 - 3.33. Let l = 24 - 20. Which is smaller: l or y?
y
Let h(l) = l**3 + 4*l**2 - 4*l + 2. Let s be h(-4). Let f = -59.3 + 1.3. Let r = f - -58. Which is bigger: s or r?
s
Suppose 2*f = 10, 28*p - 26*p + 5*f = 29. Let a = 17080/209 + -892/11. Which is smaller: p or a?
a
Suppose 0 = 3*b + 2*b + y + 27, 0 = -3*b + 2*y - 24. Let c(o) = -o**2 - 4*o + 6. Let x be c(b). Let z be (-2)/(-9) - x/(-27). Which is smaller: z or -2/71?
-2/71
Let c = 161 + -160.8. Are 5.5 and c equal?
False
Let d(h) = h**3 - 6*h**2 + 5*h - 3. Let v(u) = -u**2 - 8*u - 2. Let q be v(-7). Let p be d(q). Suppose 4*t = 9 - 1. Is t less than or equal to p?
False
Let f = 1.978 - -0.022. Let r = -1.9 + f. Which is bigger: r or -26?
r
Let j = -0.06 + -0.03. Let a = j - 0.21. Let m(f) = -2*f**2 + 9*f - 6. Let x be m(4). Is a smaller than x?
False
Let b = 106 + -68. Let t = 37 - b. Is t equal to -2/359?
False
Let x(t) = 2*t + 3. Let a be x(0). Suppose 3*v = 5*z + 1223, 5*v + 662 + 65 = -a*z. Let q = z - -1705/7. Which is greater: 0.1 or q?
0.1
Let v = 24 + -94. Let x be (-56)/v - 4151/5. Let y = x - -825. Which is bigger: y or -5?
y
Let t be 0 + 5 - (-33)/11. Which is smaller: 15 or t?
t
Let w be -4 - 13/((-26)/12). Suppose -w*z + 1 = 21. Let p be (-1)/2*z + -3. Is p greater than 3/4?
True
Let q = -2 - -14. Suppose -5*s = -37 + q. Which is bigger: s or 7?
7
Let v = 62 + -42. Is 7 <= v?
True
Let g(r) = r**3 + 8*r**2 - r - 10. Let n be g(-8). Let a be (-15)/(-20)*2*n/12. Let y(z) = z - 5. Let f be y(4). Are a and f unequal?
True
Let u = 54 + -34. Let p = u - 4. Which is bigger: p or 17?
17
Let k = 1172 + -1171.8. Is -510 bigger than k?
False
Let r = -23 - -23. Suppose -9 = -r*v - 3*v. Suppose -8 = c + v*c. Do -3/4 and c have the same value?
False
Let f be -42 - 9 - (-1 - 1). Let w = -48 - f. Which is greater: w or -4/9?
w
Let z = -9089/5 + 1796. Let f = z + 22. Which is smaller: -1/8 or f?
-1/8
Let g be 959/(-4) + 11/(-44). Is g > -241?
True
Let j be 1 + 0 - (-3 + 2). Suppose -m + 152 = -j*m. Let p = m + 1519/10. Which is bigger: p or 0?
0
Suppose 12 = -u + 39. Let z(i) = -i**3 + 10*i**2 - i - 4. Let y be z(0). Let g = u - y. Which is greater: g or 30?
g
Let k = -0.115 + 0.085. Let u = 0 - k. Is u equal to -2?
False
Let i be 0 + 12/(-8)*2. Let y be (-9)/4 + i/(-12). Which is smaller: y or -3?
-3
Let h be (-4 - -3)*(-1410)/(-1). Let t be ((-288)/(-360))/(3/(h/(-4))). Are 95 and t equal?
False
Let n = -53/22 - -5/2. Let x = 17/55 + n. Which is greater: -4/9 or x?
x
Suppose -5*d = 3*f - 6*f - 18, -14 = -3*d + 5*f. Suppose d*h - 6*h = 9. Suppose -5*i - 5 = 5. Is h at most as big as i?
True
Let a = 83 - 119. Do -37 and a have different values?
True
Let f be 331/(-1)*(-10)/(-182). Let u be 6/((-840)/(-50))*(2 - 54). Let q = u - f. Is 1 > q?
True
Let z(s) = -38*s - 355. Let o be z(-9). Let l(j) = -4*j**2 - j. Let n be l(-2). Is n > o?
False
Suppose -3*x = 2*j - 10 - 41, -4*j = x - 87. Let b = 12 -