al?
True
Let f = 0 + 12. Let s be (3/(-6))/((-14)/f). Which is smaller: s or 4?
s
Suppose -3565460 - 2883850 = -630*w. Which is smaller: w or 10238?
w
Let h = 515 - 69. Let r(z) = z**3 - z**2 - 44*z + 83. Let m be r(2). Which is bigger: h or m?
h
Let y be 180/(-96) - (3 + ((-7)/8 - 2)). Which is bigger: -208/157 or y?
-208/157
Suppose 5*g = 4*b - 3763 - 951, 0 = g + 6. Which is smaller: 1172 or b?
b
Let g = 900 + -903. Let a be g*(-6)/(-10 + -2)*4. Which is bigger: 7 or a?
7
Let f = 11958 - 12515. Which is greater: f or 16?
16
Let k be (-5)/((-20)/(-16)) + 24. Let h(r) = -3*r - 8. Let s be h(4). Let p be (8/s)/((-6)/k). Which is smaller: p or 1?
1
Let p = 1603387/427 + -3755. Let w = 608/427 + p. Let h(q) = q**3 - 3*q**2 - 5*q + 5. Let k be h(4). Is k greater than w?
False
Let g = 5.64 + 0.66. Let o = -28 - -22.7. Let c = o + g. Is c >= 0.1?
True
Let n be 4 - (4 + (-6)/2 - -398). Let v be 1/(3 + 1200/n). Let h = -2303/87 - v. Which is smaller: -1 or h?
-1
Suppose 5*t + 4*k = -453, 4*k - 84 = t + 21. Let p = 100 + t. Is 13 bigger than p?
True
Let h = 3 - 3. Let g = -131/58 + 2727/1798. Which is greater: g or h?
h
Let z(t) = t**3 - 8*t**2 + 8*t - 2. Let w be z(7). Let m = 294 + 99. Suppose -327 = 11*l - m. Is l greater than w?
True
Let h = -11350 - -11349.96. Which is smaller: -1.8 or h?
-1.8
Let a(w) = 17*w**2 - 6*w + 2. Let h be a(3). Let i = -192 + h. Let z be 144/335 + 22/i. Is 1 > z?
True
Suppose g - 54 = -3*k + 6*g, 9 = 3*g. Suppose 2*b - 3*m = 2*m + k, -5*b + 2*m = -47. Suppose 0 = 3*r + b + 33. Is r at least as big as -14?
True
Let m = 822 - -625. Suppose 9*t + m + 803 = 0. Is -251 at most as big as t?
True
Suppose 5*q + 78 = 263. Let w = q + 55. Suppose 12*f - 8*f = w. Which is smaller: f or 22?
22
Let g be (78/(-4) - -7)*(1 - 3). Does 28 = g?
False
Let c be ((-34)/(-3))/(4/10). Suppose 8*d + 183 = -41. Let j = c + d. Which is smaller: j or -2?
-2
Let i = -211 - -6. Suppose -5*n + 242 - 36 = -b, 0 = 2*n. Which is smaller: i or b?
b
Let m = 75 - 72. Let r(q) = 12*q**3 + m*q - 11*q**3 + 6*q**2 + 7 - 2*q. Let h be r(-6). Is h bigger than -4/39?
True
Suppose 158*a + 4 = 156*a. Let o(k) = -k**3 - 6*k**2 - 7*k - 6. Let y be o(-5). Which is smaller: a or y?
a
Let r = -2.2182 - -2.2885. Is r bigger than -8?
True
Let m be 1/((-15)/(-30))*-1. Is m <= 1/590?
True
Let q(a) = -a**2 - 17*a + 59. Let b be q(-20). Does b = -21/55?
False
Let b = 8.111 - -0.089. Let d = b - 26.2. Suppose -7*y + 3*y = 0. Is y less than d?
False
Let s = 189 + -200. Suppose 3*x + 15 = -2*x. Let z be (-78)/8 - (6/(-8))/x. Which is smaller: s or z?
s
Let t = -296 + 306. Suppose 4*a - t = l, -l - l + 16 = a. Is -71 smaller than l?
True
Let s(l) = -l**2 - 20*l - 14. Let m be s(-19). Suppose -m*v + 6*v = 57. Which is bigger: v or 56?
v
Let g be (1681 - 20) + (-2 - -13). Is g >= 0?
True
Suppose 0 = -5*g - 10, 36*k - 32*k + g = -2630. Are -656 and k non-equal?
True
Suppose -25*l + 3*l - 49764 = 0. Let x be (-8)/52 + 70*(-2)/l. Which is smaller: 1 or x?
x
Suppose -2*q + 3 = 2*t - 3, -4*q + 18 = -2*t. Suppose -3143 = 3*m + 5*r, -5213 = 5*m + 2*r - 0*r. Let y = m - -17705/17. Which is bigger: y or t?
y
Let v(s) be the second derivative of -s**4/4 - 16*s**3/3 - 39*s**2/2 + s + 41. Let z be v(-8). Is 74/3 bigger than z?
False
Let o = 20 - 76. Let l(r) be the first derivative of r**2 - 13. Let i be l(0). Which is bigger: o or i?
i
Let p = 3716 + -3691. Is p not equal to 27?
True
Let l be 28 + 8/1 + 5/(-1). Let i = 105 - 72. Do i and l have the same value?
False
Suppose -42 = w - 2*w + 5*y, 2*w - 3*y - 84 = 0. Let x = 60 - w. Let v be 62/x - ((4 - 1) + 0). Is v greater than or equal to 0?
True
Suppose -527*u - 2610158 = 3624779. Is -11830 != u?
True
Let n = -4877959/32721 + 1938/13. Is -1 less than or equal to n?
True
Let p be ((3 + -4)*-1)/(3/39). Suppose p*n = 5*s + 12*n - 577, 5*n = 15. Which is bigger: 112 or s?
s
Let z = -137 - -117. Let d be 6/15 - (-28)/z - -1. Which is bigger: 6/407 or d?
6/407
Let z be 2/14*(-3 + 1). Let d be 326/6 + (-4)/12. Suppose 56*n + 44 = d*n. Which is smaller: n or z?
n
Let s(w) = 2*w**3 + 2*w**2 + 4. Let f be s(-2). Let m(n) = n**3 + 5*n**2 + 6*n + 4. Let g be m(f). Let u be g/720*-6*8/(-2). Which is smaller: u or 1/2?
u
Suppose -w - 22 = -0*w. Let p be 2/6 + w/(-78). Let f(j) = 163*j + 11085. Let k be f(-68). Is p bigger than k?
False
Let o = 5183 - 5184. Which is smaller: o or -4/79?
o
Let z(m) = 14*m**2 - 84*m + 32. Let a(j) = -5*j**2 + 28*j - 11. Let s(t) = 11*a(t) + 4*z(t). Let w be s(27). Which is smaller: w or -148/7?
-148/7
Let x = -3 - -2. Let t = -618 + 614.81. Let o = t - -0.19. Which is smaller: x or o?
o
Let h = -1139 - -1145. Do -109 and h have different values?
True
Let j be 8/(-369)*(13/4)/13. Which is smaller: j or -0.7?
-0.7
Suppose -19*j = -20*j - 4*p - 22, 4*j + 4*p + 76 = 0. Let l(x) = 12*x + 216. Let n be l(j). Which is greater: n or -523?
n
Suppose 3*a = 4*i + 6 - 41, -3*a = 2*i - 31. Suppose -4*t - 14 = -2*d, 16*t = i*t - 15. Which is smaller: 2/99 or d?
2/99
Let y = -37 + 45. Suppose 5*f + 6 = y*f. Let v be (-23)/21 + f + (-3)/3. Is 1 < v?
False
Suppose 4*o + o + 2*b = 869, 5*b - 702 = -4*o. Suppose 12*d = 185 - o. Which is smaller: d or 115/7?
d
Suppose 4*d = -3*q + 9, d - 4 = -2*q + 3*q. Let y be -6*(4 + (-20)/d) + 1. Which is greater: y or -3?
y
Let p = -12 - -294. Let v = 6510 - 6228. Is v greater than p?
False
Suppose c - 91 = -83. Let s be (33/4)/(c*(-27)/(-576)). Is s greater than 0.2?
True
Suppose -5*b = 3*i + 12, 10*b - 11*b = -4*i + 7. Let m be 22/(-66)*(i + 326). Is -766/7 equal to m?
False
Let y be -12 + (-1391 - -8) - 1 - -13. Which is bigger: y or -1388?
y
Let p = -10.375 - 0.025. Let y be (-1)/(((-312)/16)/(-13)). Is p < y?
True
Let l = -6472/7 + 928. Suppose 11*n + 84 = 4*n. Let w be n/(-14)*(-7)/(-2). Which is smaller: l or w?
w
Suppose -9 = 3*w, 1494 = -3*c - 14*w + 12*w. Let o = 495 + c. Do -9/112 and o have different values?
True
Let d(b) = -b**3 + 3*b**2 + b - 4. Let i be d(3). Let z = -0.077 + 114.077. Let q = z - 114.07. Does q = i?
False
Let i(f) = -52*f - 164. Let w be i(1). Which is smaller: -6 or w?
w
Let a(i) = i - 7. Let d be a(7). Let z(o) = -20*o + 3. Let y be z(3). Let j be 4 + -10 + (-372)/y. Which is smaller: d or j?
d
Let j(i) = -i**2 + 13*i + 31. Let d be j(-2). Let k = -272 + 7073/26. Is d not equal to k?
True
Suppose -4*l - 81 = -209. Let q be l + 23 + (-2)/(4/(-10)). Is 3/5 < q?
True
Let b be ((-1424)/(-9790))/((-12)/30). Let c(y) = -y**3 - 4*y**2 - 3*y + 1. Let g be c(-3). Which is bigger: b or g?
g
Suppose 7*h - 878 + 749 = -4525. Which is bigger: h or -1253/2?
-1253/2
Let u = -2595/8 - -324. Let z be (3/(-2))/(9/(-12)). Suppose -6 + 4 = z*b. Which is greater: u or b?
u
Suppose 7*n + 6 = 3*j + 2*n, -4*j + 19 = -3*n. Let b be 254/j + (-8)/28. Let h be (5 - 3)*(-1 + 19). Are b and h nonequal?
False
Let g be ((-4)/95)/((-2)/15). Let j be (-44)/(-99) - (-15)/27 - -2. Let h be 1/((9/6)/(j/(-2))). Are h and g equal?
False
Let x = 2428 - 2427. Which is smaller: x or -16/27?
-16/27
Suppose -3*p = -11 - 7. Suppose 0 = p*q - 72 - 60. Suppose -x + q = -3*x. Which is bigger: -10 or x?
-10
Let l be 5/4 + (-47)/188. Let q be ((-2)/(-2) + -1)/(-2). Which is bigger: q or l?
l
Let x(d) = 4 + 3*d - d - 1 - 2. Let u be x(-1). Let s be 129/30 + -3 + u. Which is greater: -1 or s?
s
Suppose -2*i - 38 = -7*i + j, -5*j = -10. Suppose i = 4*s + 40. Suppose -3*q = -q + 14. Is q bigger than s?
True
Suppose -9 = 3*a, -5*a = -3*f + 9 + 15. Suppose 0 = -r + 4*q - 70, 5*r - r + 254 = f*q. Let g be (r/65 - -1)*12/(-9). Are 1 and g equal?
False
Let u = 823 + -837. Let j be (360/(-420))/((-2)/u). Which is smaller: j or -8?
-8
Let p = -562 + 261. Let j = -344 - p. Is j at least as big as 1?
False
Let r be (2/1 + -4)/(-1). Suppose -y + 2*p + 15 = 0, -y + 2*y = 7*p + 45. Suppose 0*a - 4*k - 20 = 4*a, 0 = -5*a + r*k + y. Which is smaller: a or 1/3?
a
Let a(o) = 7*o - 61. Let p be a(16). Suppose 15 + p = 6*i. Let y = i - 49. Is y at most as big as -37?
True
Let f be (-6)/(-192)*-4 - 66/(-16). Suppose f*u - 4*k - 42 = 50, -5*k - 7 = -u. Which is smaller: 29 or u?
u
Let z = 0.3 - 0.2. Let f = 3152.9 + -3152. Let t = z + f. Does t = 1.6?
False
Let t = -25 - -23. Let o = 1982/5 - 31877/80. Is o >= t?
False
Let d = 55466 + -46