 Suppose -7*w + 478 = -138. Is a at least as big as w?
True
Suppose -92*m + 105*m + 13 = 0. Let h = -6.82 + -0.18. Which is bigger: m or h?
m
Let y = 2/1033 + -5197/16528. Let x = -1777/48 + y. Is x equal to 1?
False
Let h = -295.3 + 274. Let k = 30.6 + h. Let g = k - 9.3. Is g greater than 4/13?
False
Let m = 0.162 + -0.281. Let x = -0.219 - m. Is -8/19 greater than or equal to x?
False
Let h(p) = p**2 - 84. Let b be h(0). Let y be 16/b*2/(-8). Let m = 217 + -217. Is y less than or equal to m?
False
Let t = -80.932 - -81. Let j = -103 - -103.268. Let h = t - j. Which is smaller: -0.7 or h?
-0.7
Suppose -270 = -289*z + 244*z. Let r(p) = p**3 + 5*p**2 + 6*p - 6. Let b be r(-5). Let d be 10/(-4) + 3*z/b. Which is greater: d or -7/4?
-7/4
Let w(i) = 2*i**2 - 23*i - 8. Let x be w(12). Suppose -5*y = s + 20, 4 = -x*s - 4*y + 3*y. Which is smaller: s or -6/5?
-6/5
Suppose 3474 = 4*x - 5*j, 41 - 29 = 2*j. Which is greater: 874 or x?
x
Let f = 4447 - 4488. Suppose -7*t - 201 = 86. Is t smaller than f?
False
Suppose 515*i + 4*h = 512*i - 10, -4*i = 2*h + 10. Which is greater: -47/53 or i?
-47/53
Let m = -23/24 + -2/3. Let y be (-2)/((-3)/((-30)/5)). Let c be ((-2)/y + -1)/((-11)/(-44)). Is c <= m?
True
Let p(w) = -12*w**3 + 7*w**2 - 2*w - 3. Let y be p(1). Which is bigger: y or -320/33?
-320/33
Let h(m) = -m**2 - 3*m - 6. Let w be h(-4). Suppose 2315*d = 2468*d + 1989. Which is smaller: d or w?
d
Let k(a) be the third derivative of -a**5/60 - a**4/4 - 35*a**3/6 + 16*a**2. Let b be k(-13). Let s be (-64)/b - (-8)/(-28). Is s at most -1?
False
Let g(x) = 303*x + 683. Let s be g(-9). Which is bigger: s or -2043?
-2043
Let w = -81280/13 - -163463/26. Are 35 and w equal?
False
Let z = 0.06 - -0.34. Let f be 47 + -1 + -6 + 12. Let b be (-1)/(28/(-138)) - (-47 + f). Does z = b?
False
Let a be 32/18 - (-8 - 560/(-72)). Suppose 3*f - 3*h - 1 = -a*h, h = -5*f - 1. Let r = 28663/35 - 819. Which is smaller: f or r?
r
Let s be (-16)/(-12) + ((-42)/(-9) - 5)*1. Which is bigger: s or 0.64?
s
Let s(c) = -2*c - 19. Let u be (-11)/(-2)*(-8)/4. Let n be s(u). Suppose n*v = -v. Are -4/3 and v unequal?
True
Let l = -115351 + 574279/5. Let g = 493 + l. Which is bigger: 0.2 or g?
0.2
Suppose -30*d = -28*d - 2. Let h be (-161 + 158)*d*(-66)/1. Are 199 and h nonequal?
True
Let z be (-34)/408 + 9734/11676 - (-15)/(-20). Which is smaller: 1 or z?
z
Let l = 535 - 536. Let c = -252458510897/161725195 - 12/2741105. Let b = c + 1561. Which is smaller: l or b?
l
Suppose -2*b + 88 = 2*p + 2*p, 0 = -3*b + p + 125. Suppose 52 = b*w - 44*w. Which is greater: w or -19?
-19
Let y be 21/((-567)/(-5877)) + (-4)/(-3). Which is smaller: y or 220?
y
Let m = -62 + 61.807. Let g = m + 146.193. Is g greater than 1?
True
Suppose 2*j - 20 = 3*o + o, 5*o = 0. Let b be -36 - (15/j)/(-3)*0. Which is smaller: -33 or b?
b
Let w = 53 - 52. Let h = -44 - -43.06. Which is smaller: h or w?
h
Suppose 602 = 8*m + 2*l, 3*l = -5*m - 204 + 582. Suppose m = 11*t + 86. Let i = -407/4 + 100. Which is smaller: t or i?
i
Let d = -580 - -579.557. Let n = 196.443 + d. Is -1 smaller than n?
True
Let m be (2013/15)/((9 - 13) + 3). Is m >= -133?
False
Suppose -48 = 5*s + 32. Let v(t) = -30*t - 24. Let o be v(3). Let j = -131 - o. Is s smaller than j?
False
Let f = 8028 + -8027. Which is greater: f or 77/111?
f
Suppose 7*u - 64 - 517 = 0. Let p = u + -69. Is p greater than or equal to 23?
False
Let s be 17*(-6)/(-34) - 6/1. Which is bigger: 385 or s?
385
Suppose 0 = -6*r + 7*r + 3. Let o be r + 1 + (-45)/(-27). Is o bigger than -22?
True
Let f = 304538/7 - 3228407366/74207. Which is greater: -1 or f?
f
Suppose -u = -1, 5*n = -4*u - 5 - 26. Let j be ((-6)/n)/(5/210). Is j at least as big as 149/4?
False
Let u = 48.1 + -6.1. Let g = 0.54 + -46.54. Let m = g + u. Is 0 bigger than m?
True
Suppose -2 = -4*a - 5*x + 4, 3*x = -3*a + 3. Let z be (-119484)/84*a/(-3). Let r = z + 475. Which is bigger: r or 0.3?
r
Let f be 7 - (-7 - (-8)/336*584). Which is smaller: 892 or f?
f
Let t be (-828)/(-24) + (-6)/(-4). Let d be (1 + 47)/((-9)/(-6)). Let v = t - d. Which is greater: v or 2?
v
Let s be 157 + (-6)/18*(21 - (2 - -1)). Is s less than 164?
True
Let u(h) = -h**3 + 20*h**2 + h - 13. Let q = 161 + -141. Let k be u(q). Which is smaller: 29/5 or k?
29/5
Suppose 5*g - 108 = 117. Let y be -6 - 3 - -6 - -5. Let z be g/378*y/30*4. Are 0 and z nonequal?
True
Let f be ((-2)/(-6))/((-26)/(-6)). Let p(k) = -k**2 - 12*k - 21. Let h be 2 + (5 + -3 - 14). Let v be p(h). Are f and v non-equal?
True
Let y = 45 + -40. Let u = -20 + y. Let z be 12/u - (-8)/(-2). Are z and -6 unequal?
True
Let r = -371957 - -371958. Suppose 0*j = -4*j - 3*l - 3175, 2*l = -3*j - 2380. Let s = j - -25283/32. Is r greater than or equal to s?
True
Let h = -0.0365 - 0.9635. Let q(u) = 2*u**2 + 12*u + 11. Let o be q(-10). Is o at most as big as h?
False
Let r = 64.2 + -64.2431. Let l = r + -0.0569. Is l bigger than 198?
False
Let s = -0.064 + 0.044. Let a = -26.9 + 26.3. Which is smaller: s or a?
a
Suppose 8 = 4*m - 3*z, z = -4*m + 30 - 6. Suppose m - 2 = h. Suppose -2*l - 30 = h*f, 0 = 2*l - 5*f + 38 - 8. Is l greater than or equal to -1/3?
False
Suppose 0 = -m + 4*l - 8, 5*m - 10 = -2*l + 16. Let a be -57*(-5)/(4 + -34)*m. Which is bigger: 0.2 or a?
0.2
Let b = 216/17 - 7999/374. Is b bigger than -10?
True
Let o be 3*(-32)/(-72)*630. Suppose 10*z = 3*z + o. Which is smaller: z or 0?
0
Let j = 83305626/1145 + -72756. Is j > -1?
True
Suppose 284*m - 332441 - 439790 = 29501. Is 2822 bigger than m?
False
Let s be (3 - 18/(-4))*4/6. Suppose 2*v + s*m - 396 = 0, -4*v + 756 = 3*m - 2*m. Is 189 less than v?
False
Let n = 10 + 6. Let d = -1066.4 - -135.2. Let x = 931 + d. Is x smaller than n?
True
Let y = 391 + -372. Suppose 0 = y*h - 13 + 32. Let n = -14.21 + 0.21. Is n < h?
True
Let z(j) = -8*j**2 - 6*j - 15. Let t be z(-3). Let m = -41 - t. Which is bigger: m or 1?
m
Let r = 4837 - 14741/3. Which is smaller: -76 or r?
r
Suppose -20*q + 33250 = -23*q + 53*q. Is 665 bigger than q?
False
Let q be (-3312)/(-782) + (-8)/34. Suppose -3*v = -5*v. Suppose 3*x - 2*x - 5 = v. Which is bigger: q or x?
x
Let j = -425.7 + 424.7. Is j at least -38.2?
True
Let u = -6788.7 + 6789. Is -0.707 >= u?
False
Let s(i) = -2*i - 2. Let l be s(-1). Suppose l*d = 5*d. Let x be 3/(12 + 0) - (-7)/68. Which is bigger: x or d?
x
Suppose k - 5 = 2*x - 2*k, 4*k + 1 = -5*x. Let h be 1/x - (-4)/16. Which is smaller: h or -0.077?
h
Let f = -514.9 - -461. Let h = f + 54.9. Which is smaller: h or -6/61?
-6/61
Let l(i) = i**3 + 5*i**2 + 3*i - 2. Let v be l(-4). Let r(a) = -10*a - 2. Let w be r(v). Suppose 2*x = 5*o + 67, 1321*o + x - 65 = 1325*o. Is o <= w?
False
Let c(s) = -3*s**2 - 163*s - 650. Let w be c(-50). Is w <= -5/206?
False
Let h be (-98)/(-35)*(5 - 85). Which is smaller: -899/4 or h?
-899/4
Let w = -1297 + 1698. Which is bigger: 402 or w?
402
Let h = -4160 - -4122. Is h less than -0.4?
True
Let h be -8*(-338)/(-208) - -13. Which is greater: -1/77872 or h?
h
Suppose n = 3*s + 2*s + 273, 2*n = -4*s - 210. Let l = -100 - s. Is -46 less than l?
False
Let v = 3755 - 3745. Which is greater: v or -28?
v
Suppose -5*a - 2 = -6*a. Let x be -1 - -4 - 6/a*-26. Let b = -70 + x. Which is smaller: b or 10?
10
Suppose -5*v + 4*h + 220 = 0, -26*v + 3*h = -21*v - 215. Let f be 4*4/v*505. Is 202 equal to f?
True
Let z be -11 - (-9 - -6)*(-1)/3. Let j be -2 - (1005/z + 4). Let t = 2209/28 - j. Are 0 and t nonequal?
True
Suppose 22*t - 1369 = -10191. Let d be (404/22)/((-54)/(-1179)). Let j = t + d. Is 0 equal to j?
False
Let t = 2022 + -2021. Which is smaller: t or 29/817?
29/817
Let w = -6393.1 - -6369. Which is smaller: 2 or w?
w
Let q = -13 + 2. Let i = 33223/9 - 3701. Which is greater: q or i?
i
Let d = 1132 + -1133. Is d not equal to -1.693?
True
Let z = -7126403/32627 + -38/4661. Which is smaller: z or 0?
z
Suppose 2*w = 3*w. Let j be 67/7 - (-8)/(-14). Suppose w = -j*f - f. Is -5/21 at most as big as f?
True
Let l = 522 - 396. Let x be (l/(-54))/((-2)/(-18)). Do -23 and x have different values?
True
Suppose -486*q + 3 = 8 - 5. Is q greater than -1/5506?
True
Let z = 72 + -126. Let i be z*12/(-520) + 1. Let f = i + -24/13. Is 0 at least as big as f?
False
Let y be 82390/63 - 2/(-9). Let k be y/(-108) - (0 + 5). Wh