qual to 33?
True
Let w be (-37714)/(-4796) - 2*4. Let g = -2.2 + -0.8. Let f = g - -2.9. Which is smaller: w or f?
w
Let z = -317.011 - -317. Let h = z - -0.161. Is h not equal to 2/5?
True
Let h be 192 - (10/5 + 3 + -5). Let n = 129 - h. Let p = n - -65. Is 10/17 greater than or equal to p?
False
Suppose 586 = -2*v + 2*w - 6*w, v + 301 = 2*w. Let t = v - -275. Which is bigger: t or -16?
-16
Let a = 1.5 + -1.3. Let q be 35/14 + (-1)/(-2). Suppose w + i = -2, -i = q*w - 4*w + 4. Which is bigger: w or a?
w
Let z be -4 + 83/5 + -13. Which is smaller: 311/3 or z?
z
Let x = -1527 + -909. Are -2438 and x equal?
False
Let k(j) = 4*j**3 + 2*j**2 - 4*j + 2. Let f be k(1). Suppose -f - 5 = 3*v, -4*v - 34 = 2*l. Which is smaller: 4 or l?
l
Let p = 209 + -224. Let x be (12/p)/(-2) - (-724)/(-10). Which is smaller: x or -71?
x
Suppose 8*x + 3*v = 5*x - 44079, 4*x - 3*v + 58779 = 0. Is x bigger than -14695?
True
Suppose -5*f + 48725 = 5*u, -f - 2*f = 4*u - 38979. Let w be (-328)/84 - -4 - 970/u. Which is greater: w or 0?
0
Let h = 10 - 18. Let z = 4.15 + -39.15. Let s = 35.2 + z. Which is bigger: h or s?
s
Let s = 29 - 18. Let c = -22 + s. Let a(y) = -5*y**2 - 3*y + 4. Let u be a(-2). Is c > u?
False
Suppose -472 = -108830*b + 108838*b. Let k = -5.2 + 5. Let y = k - -0.2. Is b != y?
True
Let x be (-2)/7 + (-27)/(-21). Let t be (x/2 + -1)*-40. Let w = 12 - t. Do -9 and w have the same value?
False
Let g = -198 + 200.25. Let s = g + 25.75. Let v be (-7)/14 + (-1)/(-4). Is s bigger than v?
True
Let q be 20/(-15)*(-1)/10. Let y be (-3 + 176)*-1 + -3. Let u = y - -1230/7. Is u at most q?
True
Let u = 26 + -12. Let w = u + -9. Let z be ((-24)/10)/(-21 + 1442/70). Which is smaller: z or w?
w
Let w(a) = 4*a**2 - 5*a + 7. Let c(l) = 5*l**3 + 1. Let f be c(1). Let d(s) = s**2 - s + 1. Let t(p) = f*d(p) - w(p). Let j be t(0). Which is smaller: 6 or j?
j
Suppose -114*n - 144 = -138*n. Is 67/13 at most n?
True
Suppose 6*q - 25 = q. Suppose 5*h + 0*h + q*c = 0, 3*c = 5*h + 8. Let x be (1/125)/(1/877) + (1214 - 1221). Is h less than or equal to x?
True
Let x = 21.804 - 22.1. Let o = x - -1.286. Which is smaller: o or -0.1?
-0.1
Suppose -3*l - f = -4239 + 12348, -2*l + 5*f = 5372. Are -2705 and l equal?
False
Let y be 9 + -14 + ((-201)/(-6))/((-12)/24). Is y at most as big as -54?
True
Suppose 15*n + 144 = 9*n. Let q be 46/(-170) + (n/(-5) - 5). Which is smaller: 1 or q?
q
Suppose d - 3 = 2*w, -15 + 6 = -3*d - 4*w. Suppose 0 = u - 2*c - 122, 217 - 580 = -3*u + d*c. Which is greater: 119 or u?
u
Let k(f) = -27*f - 159. Let z be k(-6). Suppose 21 = z*q + 3. Which is bigger: 7 or q?
7
Let i be (363/(-4) - 0)*(-4912)/(-921). Are i and -479 non-equal?
True
Let i be 16/4 - 3 - -5. Let r be (-58)/(-340) - i/36. Is r at least as big as 1?
False
Let k = 13 + 10. Let v be (5*1 + 52/(-13))*-647. Let u = v + 670. Is u at least as big as k?
True
Let v be (-111)/2 + (-8)/16. Let f be (-1)/(-2) + v/(-16). Suppose s + 2*k = 6, f*k + 0*k = 12. Is -10/13 not equal to s?
True
Let n(a) = a + 18. Let s be n(-8). Suppose 0 = -4*h + 78 - s. Let l be -16 + h - ((-98)/92 + 2). Which is bigger: 0 or l?
l
Let m(a) = 11*a**3 - 15*a**2 + 27*a - 2. Let d be m(2). Which is smaller: 0.2 or d?
0.2
Let h(y) = -2*y**2 - 14*y + 3. Let v be h(-6). Suppose 14*l + v = 1. Which is bigger: l or 2/303?
2/303
Let q(a) = 2*a + 114. Let n be q(-8). Suppose 6*x + 28 = y + x, -2*y + n = 4*x. Which is smaller: 296/7 or y?
296/7
Suppose 127*b - 112 = 15*b. Is b less than or equal to 4/3355?
False
Let u = -71286/25 - -2852. Let t be (1 + -2 - -2)*1. Which is greater: t or u?
t
Let v be (-404)/(-1230) + 1/(-3). Let h be ((-558)/114 - 8/76)/(4 + 1). Which is smaller: v or h?
h
Let i = -965/4028 - 5/212. Let s(x) = -x**2 - 12*x. Suppose 13*w - 9*w = -j - 28, -3*j - 4*w - 52 = 0. Let l be s(j). Which is smaller: l or i?
i
Let z = -42.65 + 43.65. Which is smaller: 2/355 or z?
2/355
Let n be 2 - (-10786 - 4) - 0. Let s = n + -11687738/1083. Is s > 2/7?
False
Suppose 5*u + 2*v = 9, u - 6*u - 4*v + 3 = 0. Suppose 85*d + 27 = 88*d. Let c(m) = 3*m**3 - 24*m**2 - 27*m - 1. Let h be c(d). Which is bigger: h or u?
u
Let m be 64/(-24) - -1 - 70928/(-12). Is m less than 5911?
True
Suppose -5*b - 3 + 28 = 0. Suppose 2*y - 3 = 3*r + b*y, 2*y + 1 = -3*r. Let h be r/(12/80) - 2. Is h < -1?
False
Let u be (-1*(-4 - -3))/((-2)/(-14)). Suppose u - 9 = 2*j. Which is bigger: j or 1/79?
1/79
Let v be (-12)/(-22) + 6441/(-1463) + 38. Are -1/6 and v non-equal?
True
Let i = 118 + -117. Let q be (i - 334719/(-141))*(-32)/(-40). Let a = q + -1900. Which is bigger: 0 or a?
0
Let c(l) = 2*l**3 + l**2 - 6*l + 7. Let a be c(-4). Let d = 79 + a. Let u be d*2 + 42/12. Is u greater than 2/43?
False
Let u = -10.29 + -0.21. Let x = -9.5 - u. Which is greater: x or 85?
85
Let j = -3706.9 + 3706. Which is greater: -0.16 or j?
-0.16
Let f = -7268 - -5372. Do f and -1893 have different values?
True
Let p = 2023 + -2023.1. Is p at least as big as -4779?
True
Let h = 417/244 + -13329/8174. Is 1 equal to h?
False
Let p = 278 - -20. Let n be (4 + (-132)/30)/((-2)/5). Which is smaller: n or p?
n
Let f be (-42)/140 - 66/(-20). Are f and 8/3 nonequal?
True
Let z = -344 - -322. Let j be (-1464)/168 - (2 - z/(-14)). Is -8 at most j?
False
Let b = 4656 + -4121. Which is greater: 3/5 or b?
b
Suppose -1266 = 3*a - 5*u, a + 432 = -0*a + 5*u. Suppose -972 + 684 = 18*k. Let m be k/(-20) - a/(-15). Is -28 equal to m?
False
Let w = 200 - 0. Suppose -w = 14*d + 136. Is -23 bigger than d?
True
Let l be -4*(28/(-252) - 3829/(-36)). Let u = 621 - 1045. Is u at least as big as l?
True
Let x = -4249 + 4441. Is x less than or equal to 197?
True
Let r(j) = j**2 + 12*j + 61. Let o be r(-6). Suppose o*f = 20*f. Is -2/49 bigger than f?
False
Let j(t) = -t**3 - t**2 - 68*t + 472. Let b be j(5). Which is greater: b or 149?
149
Suppose 0 = 4*w - j - j - 156, -164 = -4*w + 4*j. Which is bigger: w or 556/15?
556/15
Let h = 5013 + 356. Which is smaller: h or 1/5?
1/5
Suppose -4*t - 42609 = -38937. Is -918 <= t?
True
Let d = -274 - -226. Let w = 48 + d. Is 2/299 greater than w?
True
Suppose 50*y - 42*y = 32. Suppose -d = -3*k + 7, -y*d = -6*k + 10*k - 4. Is 24/25 >= k?
False
Suppose -10*j + 94 = -12*j. Let r = -53 - j. Let s be 1*r/16*(3 + -7). Is s <= -11?
False
Let r = -13 + 19. Let h be -1 - 3/r - (-977)/6. Let n = h + -160. Are n and -1/4 unequal?
True
Let l(u) be the second derivative of u**4/12 - 4*u**3/3 - 9*u**2/2 - 18*u. Let y be l(9). Let h = -91/1420 + 1/71. Which is bigger: h or y?
y
Suppose -4*z + 36 = 3*q, -5*q = -3*z - z + 4. Let o be 17*4/(z + -2). Let j = 14 - o. Is j <= -3?
True
Let o be (-18)/15*(-10)/3. Suppose 4*i = -o*h + 44, 2*i - h = 3*h + 4. Suppose -5*w - 16 = -2*m, -2*m - 2*w = -m - i. Which is smaller: m or 20/3?
20/3
Let q = -134/89 + 23644/2581. Which is greater: q or 9?
9
Let a = -7099.6 - -7112. Is 7/3 < a?
True
Let f(u) = u**2 - 6*u + 6. Let z be f(0). Let b be z - (-13)/((-13)/446). Is b greater than -440?
False
Suppose 0 = -5*v + 6*v - 7. Suppose -24 = 5*g + v*g. Let i be g + 5 - (-9)/(-3). Is -2/63 at least i?
False
Let w(d) = -8*d**2 + 74 + 9*d + 11*d**2 - 4*d**2 - 29*d. Let r be w(-23). Which is smaller: r or 3?
3
Let v = -0.07 - -0.07. Suppose -2*t + 5*y + 0 = 1, 10 = 3*t + 4*y. Suppose -2*x + 3*i = -2, -4*x - 12 = -0*i - t*i. Which is bigger: x or v?
v
Let n = 8301 + -8301. Which is smaller: 10.707 or n?
n
Let q be -2 + 1 - (0 - 11)/((-146783)/(-13377)). Is q at most 0?
False
Let k = 10 + 20. Let f be (-7)/(-3)*k*1/2. Suppose 7*i + f = 2*i. Is i smaller than -5?
True
Let s(y) = -555*y - 2226. Let o be s(-4). Does o = -206/41?
False
Suppose 2*q + 3*q + 273 = 2*h, 0 = h + 1. Let m = 16 - 14.14. Let v = m - 1.96. Is q bigger than v?
False
Suppose 0 = -1014*d + 1007*d - 7. Which is smaller: -0.918 or d?
d
Let u be 11877/163725 + (-4)/(-50). Is -1 > u?
False
Suppose 1325*r = 1333*r - 40. Suppose -d - r*i + 51 = -26, -2*d - 3*i = -168. Which is smaller: d or 82?
82
Let a = 378 + -273. Suppose 9*v - 402 = -a. Is v <= 0?
False
Suppose -164*h = -21*h - 16016. Is h equal to 6?
False
Let v = -5620 + 5620. Which is smaller: -4654 or v?
-4654
Let b = -548 - -6038/11. Let d be 1/(-3) - 38/(-114). Is d smaller than b?
True
Suppose 0 = 4*i + c - 7, -190*c = 3*i - 186*c 