be (-12)/5 - (-3)/(-5). Let w be ((-6)/b)/((-8)/38). Which is greater: w or -10?
w
Let t = -57597/121 - -476. Which is smaller: -1 or t?
-1
Let f be -75*(2/(-5) + 224/210). Which is smaller: -4 or f?
f
Let s = 987 - 988. Let m(x) = x**3 + 3*x**2 + 1. Let o be m(-3). Let k = o + -2. Is k at most as big as s?
True
Let y(r) be the first derivative of -3*r**2 - r - 16. Let t be y(-3). Which is smaller: -0.2 or t?
-0.2
Let p be (1333/(-14) - -1) + (-694)/2429. Is -95 equal to p?
False
Suppose 3*f + 5*w = -2*f - 35, -5*w - 25 = 0. Let l be (2/4)/(f/(-4)). Let s be (-152)/32*4*l. Is -19 smaller than s?
False
Let n = -7 + 7.1. Let f = -13 + 2. Let j = f + 10.91. Which is smaller: j or n?
j
Let o be 0 + 0 + (-4)/29. Suppose 7*a - 8 = -a. Is a < o?
False
Let p(c) = c**3 - 15*c**2 - 31*c + 243. Let w be p(16). Let a = -14 - -26. Is a smaller than w?
False
Let m be 4/2 + (3 - 3/(-3)). Let v be 60/42*28/8. Which is bigger: v or m?
m
Let z = 2817.097 + -2821. Let w = -0.097 + z. Let f be 19/(-15) - (-2)/3. Which is smaller: w or f?
w
Let g = 0 + 4. Let p = 38 + -37. Let n be p - g - (0 - 4). Is n <= 1?
True
Let n be ((-98)/637)/(-2 - -2 - -2). Does n = -19?
False
Let y be 68/10 - (-4)/20. Let g be (y - 0)*(-24)/(-42). Suppose -g*k = -5*h - 13, 1 = 2*h + 3. Which is bigger: 3 or k?
3
Suppose 4*a - 360 = -o, -7*a + 2*a = 4*o - 450. Let g be (a/27)/(2/(-3)). Let l(s) = s**3 - 2*s**2. Let x be l(2). Does g = x?
False
Let a = -21 + 10. Let m = -3 - a. Is 1 greater than or equal to m?
False
Let n = -58 + 1168. Let t = -81032/73 + n. Is t > -1?
True
Let h(x) be the first derivative of -x**4/4 - 2*x**3/3 - 3*x**2/2 - 3*x - 7. Let m be h(-2). Suppose -8*r - m = -5*r. Is -1 at least as big as r?
True
Let d = 18711 - 299377/16. Let i = 3 + -1. Which is smaller: i or d?
d
Let u(b) = b**3 + 13*b**2 + b - 32. Let x be u(-13). Which is bigger: x or 5?
5
Let c be (-6)/(-114)*22/4. Let n = c + 4/19. Let m = 0.542 + 0.058. Is n bigger than m?
False
Let y = -0.148 + 11.148. Which is bigger: -0.03 or y?
y
Let v = -8 + 3. Let j be ((-5)/5)/((-1)/3*-1). Which is smaller: v or j?
v
Let z be (-75)/(-168) - (-216)/(-378). Is z bigger than -18/5?
True
Let k be (-3)/51*-2 - (-19981)/1972. Which is greater: 10 or k?
k
Suppose 14 - 12 - 2 = 20*j. Let n = 0 - -2. Which is smaller: j or n?
j
Let t(x) = -59*x + 289. Let z be t(5). Which is smaller: z or 74?
z
Let c be (3/9)/(3/9). Let z be (27/(-15))/(9/(-30)). Let y(p) = p**2 - 9*p + 18. Let k be y(z). Which is smaller: k or c?
k
Let u = 29.49 + -31.49. Which is smaller: u or 242?
u
Let n be (-3)/(-3)*(3 + -1). Let u(o) = 10*o - 2. Let h be u(n). Let s be (6/(-18))/(21/h). Which is greater: s or -0.1?
-0.1
Let j = 126972/3619 + -386/11. Let v = j - 648/1645. Which is bigger: -13 or v?
v
Let l = -1028 + 1027.9476. Which is smaller: -1 or l?
-1
Let m be 3/(-4) - 2/(-2). Let g = 15 - 10. Suppose -b + 2*i = -g, -2*i - 7 = -3*b - 0*b. Do b and m have the same value?
False
Let d = -267717641/31 + 8636907. Let m = 854 - d. Is m > -1?
True
Suppose -5*t = 2*b - 16, 9*b - 40 = 13*b - 2*t. Let z(x) = -x**2 - 2*x - 1. Let m be z(-2). Is m greater than or equal to b?
True
Let o be (0 - 15/21) + 20/(-70). Which is smaller: 117 or o?
o
Let s = -10 - -14. Suppose 0 = -4*b - 7 - 9, -4*b + 56 = -s*h. Let y = h + 11. Which is smaller: y or -8?
-8
Let y(x) = -x**2 - 11*x - 16. Let b be y(-7). Let f be 2/(-4) - -3*(-26)/b. Let r(t) = t - 1. Let g be r(-4). Which is bigger: g or f?
g
Let u(x) = 2*x**3 + 79*x**2 + 115*x + 39. Let o be u(-38). Is o smaller than -2/77?
False
Suppose x + 0*x = -5, -5*q - 30 = 2*x. Let p = 101 + -104. Which is bigger: p or q?
p
Let x(d) = d**2 + 50*d - 485. Let z be x(10). Is 115 >= z?
True
Let u = 0.03 - 0. Let g = -0.19 + 0.2. Let s = u + g. Which is greater: s or 3?
3
Let l be (13*6/(-12))/((-31)/(-1)). Is 0 not equal to l?
True
Let x be (1648/144)/((-4)/(-36)). Which is smaller: x or 96?
96
Suppose 940*m - 930*m = -3280. Is -327 bigger than m?
True
Let s be -203 + 198 - ((-22)/5)/(-2). Which is smaller: -3 or s?
s
Suppose d + 3*d - 12 = 4*t, 5 = -t. Let j be (1 + -3)/(-18)*d. Let f = 15 - 10. Is f smaller than j?
False
Suppose -4*y = y + 15. Let h(t) = 4*t + 8. Let n be h(y). Let r be -3 + 1 + -4 + 2. Is n at least r?
True
Let x = 73/12 + -65/6. Is -0.1 greater than x?
True
Let a(b) = b**3 + 3*b**2 + b + 2. Suppose 4*j - 16 = 5*t + 64, -3*j = -2*t - 39. Let c(w) = -w**2 - 11*w + 9. Let h be c(t). Let o be a(h). Is o at most -1/34?
True
Suppose 9*x = 14*x - 20, -3*q + 19 = -2*x. Which is greater: q or -7?
q
Let l be 322/2 + (96/(-16) - -7). Is l >= 162?
True
Let t be 1 + -4*3/(-12). Let r(x) = -3*x**3 + x**2 + x - 2. Let j be r(t). Let u(s) = -s - 21. Let i be u(0). Which is bigger: i or j?
j
Let z = -607 - -594. Which is smaller: -188/13 or z?
-188/13
Let y = -143 - -6. Which is greater: y or -139?
y
Let f = 339 + -1022/3. Which is smaller: f or -1?
f
Let p(t) = t**2 - 14. Let r be p(-4). Suppose -r*w + u = 43, 0*w + 4*u = 3*w + 77. Which is bigger: w or -20?
w
Let h(z) = z**3 - z**2 + z + 10. Let r be h(0). Let p be (33/(132/(-40)))/(-1). Is p equal to r?
True
Suppose -6*q = 311 + 121. Which is smaller: q or -73?
-73
Let d = 88383/4 + -21879. Is d smaller than -1?
False
Let f(i) = 2*i**2 + 2*i. Let s be f(-6). Suppose 3*a + 5 + 3 = 2*y, 4*y + 5*a = s. Suppose 8*v = y*v - 18. Is v less than or equal to 10?
True
Let s be 1/((-1450)/5960 + (-3)/(-12)). Is 149 smaller than s?
False
Let u(w) = 21*w + 132. Let f be u(-7). Do -10 and f have different values?
True
Let j(b) be the second derivative of b**4/12 + 5*b**3/6 - 4*b**2 - b. Let m be j(-6). Suppose 49*o - 7*o = -42. Is o less than or equal to m?
False
Let n = -13.9792 - 0.0208. Which is bigger: -4/7 or n?
-4/7
Suppose 3*n - g - 61 = 0, 6*n + 4*g - 50 = 4*n. Let k be (4/6)/((-14)/n). Is 2/317 not equal to k?
True
Suppose -82 = -15*l + 13*l - 5*d, 3*l - 85 = 2*d. Is 32 < l?
False
Let c be ((-2)/(-4))/(40/80). Is c at least 2/2371?
True
Let g be -7 + 0 + 64/8. Is 3/392 < g?
True
Let y = 19 - 38. Let x = y - -27. Is 8 greater than x?
False
Let u(z) = -3*z - 29. Let x be u(-9). Let j = x + 0. Let g = -0.6 - -0.56. Is j < g?
True
Let a be ((-290)/60)/(-29)*2/(-1). Is -0.29 != a?
True
Suppose 21 = -3*r - x + 4*x, r = -4*x + 18. Let z be (r/(-236))/(2/(-6))*-2. Is -1 at least as big as z?
False
Let p = -9 - -238/27. Is p at least -1?
True
Let q = 0.0048 - 100.3048. Let l = 101 + q. Which is bigger: -1 or l?
l
Let g be 756/(-1611)*34/4 - -4. Which is smaller: -2 or g?
-2
Suppose 63 - 165 = -51*d. Which is greater: -2/87 or d?
d
Let r be 0/(-5) - (-3)/(18/2148). Is r at least as big as 2/3?
True
Let v = 0.9845 + 0.0155. Is v < 1/82?
False
Suppose 10*d - 7*d = 4*o + 156, -o - 56 = -5*d. Which is smaller: o or -34?
o
Let g = -45 - -72. Let n = g - 27. Suppose -4*r + n = -40. Is r != 10?
False
Let f be (2 - -2) + (-26576)/6656. Is 1 at most f?
False
Suppose -5*f + f = -8. Suppose f - 5 = -3*u, -5*o + u = 51. Which is bigger: -35/4 or o?
-35/4
Let l = 0 - 1. Let b(n) = n**2 - 5*n - 5. Let r be b(6). Let u be (-56)/48 + r/2. Which is greater: u or l?
u
Suppose 0 = 2*w - r + 167 - 52, w = -r - 65. Is -61 > w?
False
Let j be (426 - 3)*3*(-6)/54. Are -141 and j equal?
True
Let y = 5.74 + -5.68. Is y < 3/44?
True
Let t be (-96)/(-288) + ((-106)/(-132) - 1). Let x = 4 + -4. Suppose 3*z + 15 = x, -3*k = -3*z - 2*z - 28. Is t at most as big as k?
True
Let g = 21.68 - 22. Let p = g + 0.32. Which is smaller: p or -18?
-18
Let y(p) be the third derivative of -p**6/120 + p**5/60 + p**4/12 - p**3/6 - 3*p**2. Suppose 2*m + 10 = 4*c, -2*m + 7*m + 13 = -2*c. Let w be y(c). Is 0 > w?
False
Suppose -4*d = 5 - 45. Let a be (-2)/d - (273/(-15) + -1). Is a bigger than 17?
True
Suppose -2*d = 7*t - 9*t + 4, -5*t = -3*d - 8. Which is greater: d or 1/760?
1/760
Let s = -615/7 + 87. Let a = -8 - -7.995. Let u = a - 0.095. Which is greater: s or u?
u
Suppose a = 5*d - 157, -d + 59 = -a - 94. Which is smaller: a or -153?
-153
Let h = -1508 + 1508. Let p = 349/348 + -5/58. Which is greater: h or p?
p
Suppose -a + 71 = -5*q, 2*a - 4*a = -q - 106. Which is smaller: 55 or a?
a
Suppose 925 = -5*r - 4*f + 5*f, 0 = -3*f. Which is smaller: -183 or r?
r
Let g = 71 + -711/10. Let f = -31 - -38. Suppose -h + f = -5*a, 5*a