+ 437 = -97*i. Which is smaller: i or a?
i
Let m = -2468 - -2546. Which is smaller: 6 or m?
6
Let p(f) = 161*f - 121. Let y be p(-2). Is y at least -442?
False
Let h = 6404 - 5872. Do h and 535 have the same value?
False
Suppose -339 = 153*l - 138 + 258. Is 2343 greater than l?
True
Let c = -3165779/180 + 17588. Let m = c + -4/45. Is m < 2/225?
False
Let q = -17314.07 + 17314. Which is greater: 33 or q?
33
Let s(o) = -o**3 - 22*o**2 + 44*o + 50. Let p be s(-23). Let k = p + 433. Is k >= 7/23?
False
Let l(s) = 9*s - 15. Let h be l(4). Suppose -h*t + 20*t = -20. Let o(f) = 6*f**2 - 2*f - 1. Let b be o(2). Are t and b unequal?
True
Let s = -7562/1003 + 125/17. Which is greater: s or -1?
s
Suppose 3*b + 84 = 2*p, 2*p = -6 - 0. Let g(k) = k**3 + 30*k**2 + k + 41. Let n be g(b). Is n != 9?
True
Suppose 0*l = 3*l. Let r = -38146/9 - -3395012/801. Is l >= r?
False
Let n = -8295 - -7886. Do n and -1633/4 have different values?
True
Suppose 9*y - 1266 = 16*r - 19*r, r = -4*y + 565. Which is smaller: 142 or y?
142
Let z be (1 + -4 - -3) + 3. Suppose -s = -6*s - c + 155, 101 = z*s - c. Is s <= 31?
False
Suppose 9*i - 5*i = -5*q + 623, -i = 5*q - 137. Let j = -266 + i. Which is bigger: j or -105?
j
Suppose 2*o + 1849 = -3*h, o + 2452 = 321*h - 325*h. Which is greater: -614 or h?
h
Let i be (15668 + -27)/(1/((-4)/(-11))). Let c = i + -5680. Let s(f) = -2*f - 5. Let d be s(-7). Does d = c?
False
Let j = -47491867/2145 + 110703/5. Let s = -1/66 - j. Is s < 2?
True
Let g = 15 + 86. Let k = -671 - -771. Which is smaller: g or k?
k
Let n(x) = x**3 - 9*x**2 + 16*x - 109. Let v be n(9). Let b(u) = u**3 + 5. Let w be b(0). Let j(m) = 8*m - 4. Let h be j(w). Is v at most h?
True
Let j(z) = 24*z - 1. Let n be j(1). Suppose -164 = -25*f + n*f. Suppose 21*o = 23*o - f. Which is smaller: o or 40?
40
Let j be (-2)/(-4) - (-375994)/(-752580). Which is smaller: j or 1?
j
Let l be ((-4)/(-18))/(5 - 3357/945). Which is smaller: 0.1 or l?
0.1
Suppose 8*g + 2475 + 845 = 0. Let s = g - -7465/18. Is -1/3 < s?
True
Let h = -85 - -79. Let c be 44626/h + (1 - (-3)/(-9)). Let z = c - -81753/11. Which is smaller: z or -6?
-6
Suppose -34266 = -29*d - 34817. Suppose 0 = f - 3*f + 20. Let a be (4/f)/((-1)/5). Is a less than or equal to d?
False
Let c = 233816/4300928085 + 2/146305. Which is greater: c or 1?
1
Let f = 1285/273 + -22/39. Let t = f + -617/105. Which is bigger: t or -2?
t
Suppose 0 = -5*x + 25, 5*x - 3*x + 36 = n. Let d = n + 10. Let o be (-12)/39 + (-11920)/(-208). Which is greater: d or o?
o
Let a = -29941 - -30099. Is a at least 19?
True
Let j = -0.18 - -7.18. Let y = -345 - -313. Let t = y - -29. Is t at least j?
False
Let n be (0/2 - -3) + (-22684)/(-13). Let o = -1747 + n. Let g = 151.9 - 152. Which is bigger: g or o?
o
Let w = -15 - -75. Let j = 62 - w. Let h be j/(-6) + (-4)/12. Is -0.4 less than or equal to h?
False
Let n = 408866 - 186827. Let z = -31085301/140 + n. Let k = 3/20 + z. Are k and 0 equal?
False
Let q = 359 - 506. Let i be ((-4)/(-10))/1 - q/120. Is 3 greater than i?
True
Let x(z) = -2*z + 32. Let m be 2/(34/(-9) + 4) - -1. Let j be x(m). Let u be (4/10)/(j/30). Does u = 5/9?
False
Suppose 5*q - 561 = -371. Let j be (28/q)/(-3 + 6 - 1). Are j and 0 equal?
False
Let t be (-4)/4*3*(-332)/6. Suppose -t = 5*i + 184. Let o be 20/i + 8*2/105. Which is bigger: o or -1?
o
Let i = 161 - 2. Let t = 159.081 - i. Let r = t + 1.919. Which is smaller: -8 or r?
-8
Suppose -3*m = -4*u - 34, -4*u + 10 + 4 = 5*m. Suppose 4 = -4*a - 3*j - m, -2*j = 2*a + 6. Let f be (14 + -15)/(1*a). Are -2/21 and f equal?
False
Let a = 202 + -202.156. Let i = a + 0.056. Which is bigger: i or -2/9?
i
Suppose 0 + 9 = 2*y + d, -4*y = -4*d. Suppose 1026*x - 1056*x - 180 = 0. Which is smaller: y or x?
x
Let i(s) = s**2 + 16*s + 59. Let a be i(-8). Let n(b) = 3*b - 16. Let g be n(10). Let v = -20 + g. Which is smaller: a or v?
v
Let j = 11 - 6. Let f be 216/(-81)*396/(-272). Is j at least f?
True
Suppose 25*d - 996 = 17*d + 12*d. Which is smaller: -252 or d?
-252
Let w = -1798 - -643. Let b = 36957/32 + w. Let n = b - 5/32. Which is greater: -1/42 or n?
-1/42
Let i be ((-402)/(-18))/(1/3). Let w = i - 40. Suppose -9*v + 260 = 26. Which is bigger: w or v?
w
Let v = 0.9 + 0.1. Let h = -65.2775 + -0.7225. Which is bigger: v or h?
v
Let p = -133 + 269/2. Let o = 24 - 18. Let m be ((-4)/10)/(o/(-15)). Which is greater: m or p?
p
Suppose -312 + 336 = -11*f - 581. Is f >= -54?
False
Let m(y) = y**2 - 59*y + 268. Let s be m(53). Is s at most -28?
True
Let q = -58 - -57.6. Let s = q + 0.3. Which is greater: s or -3?
s
Let x = 42199 - 55925. Is -13726 greater than or equal to x?
True
Let a = -0.0223 - 298.9777. Let f = a + 298.973. Is f greater than 2?
False
Let k = -113/78 - 2/39. Let z = 10 - 9.76. Let w = z + -0.04. Which is bigger: w or k?
w
Let n(y) be the second derivative of y**3/3 - 17*y**2/2 + 154*y. Let q be n(8). Which is smaller: 1/313 or q?
q
Let w be ((-268)/(-40) - (-48)/(-40))*4412*-1. Are w and -24267 equal?
False
Let i = -711 + 717. Let m be i/116*(-5)/10. Is 1 at least as big as m?
True
Let t = 348 + -244. Suppose 0 = -148*w + 152*w - t. Which is greater: 126/5 or w?
w
Suppose 2739 - 2691 = -3*h + 3*c, -4*h - 4*c - 24 = 0. Which is smaller: h or -246/25?
h
Let x be (-578 + 579)/((-1)/57). Suppose -5*g - 280 = -4*y, -5*g - 175 = 3*y + 105. Is g at most x?
False
Let a be (20/(-25))/(795/24450). Is a greater than -26?
True
Let t = -11 + 20. Suppose t*z + 4 = 8*z. Let p be z/(-1) - 176/32. Is p greater than 0?
False
Let a = 0.244253 - -0.055747. Let m = -1.7 - 0.9. Let u = m + -0.4. Is a greater than u?
True
Suppose -8*c + 4*c = -5*d + 18, c + 2 = 0. Suppose -4*h - 2*z + 0*z = 0, 0 = d*h + 5*z. Which is bigger: -15/31 or h?
h
Let d = 23851.14 + -23307. Let o = d + -546. Which is smaller: o or 1?
o
Let k = -2521 - -17765/7. Is k != 6/7?
True
Let q be (-1)/(-5) - 63/(-35). Let p be -2 + 6/(3 - q). Let t be (2 - 310/105) + p/14. Are 7/4 and t unequal?
True
Let p = -0.305 - 433.695. Let q = 433.825 + p. Do 0 and q have the same value?
False
Suppose 2*k - 5*k - 3 = 0. Let w be 2 + (-136368)/5680 + 22. Which is bigger: k or w?
w
Suppose 3*n = 16 - 1. Suppose -193 = 12*x - 757. Let u be 54/(-72) + -3*x/(-28). Which is smaller: n or u?
u
Let d = -2/16031 + 1396/16031. Are d and -132 nonequal?
True
Let l be (-4)/5*(-110)/4. Let n = -116 + 92. Let r(b) = -b**3 - 25*b**2 - 20*b + 96. Let d be r(n). Which is greater: l or d?
l
Let t be (-8)/18*-6 + (-6)/(-18). Suppose -2*c - 3*c - 19 = -2*o, -t*c = -5*o + 19. Suppose 0 = p - 0*g + 2*g - 7, -p = -5*g - 7. Which is smaller: p or c?
c
Let u = 0.03595 - 1.03595. Which is smaller: -12718 or u?
-12718
Let t = -13.9 - -15. Let b = t + 0.9. Let p = -1/79 + -227/790. Which is greater: p or b?
b
Let w = 13045 - 13044. Are 0.26969 and w unequal?
True
Let j be ((-7)/((-42)/(-20)) - -2)/(28/21). Is -4/10609 greater than or equal to j?
True
Let g = 863.953 - 864. Let w = -784/17 + 46. Is g greater than or equal to w?
True
Suppose 10*r = 13*r + 6. Let h(i) = -3*i - i + 5*i + 1 + 2. Let s be h(r). Which is smaller: -1/28 or s?
-1/28
Let n(g) = -41*g - 369. Let d be n(-9). Is d smaller than -5/1336?
False
Let u be 12/7 - (-6)/21. Suppose -u*d = 5*d - 14. Suppose -d*s - 3*s + 6 = -x, 3*x + 3*s = 0. Which is bigger: 3/11 or x?
3/11
Let c(i) = i**2 + 15*i + 53. Let j be c(-6). Let v be (2 - j)/((4 - -3) + 130). Which is greater: 1 or v?
1
Let o be (98/147)/((-3)/(27/2)). Let j be o*(4/(48/28))/5. Let b be (-8)/(-28) - 9/7. Which is greater: j or b?
b
Let c(n) = -173*n + 1104. Let s be c(10). Is -3129/5 equal to s?
False
Let o be 280/(-42)*12/(-8). Is o less than -14?
False
Let r = -34 + 48. Let g = 8 - r. Let l = -43859 + 306977/7. Is l at most as big as g?
False
Let d = -736 - -1056. Let f = d + -321. Is f bigger than 8/145?
False
Suppose -420 = -12*h + 1452. Let s = 205 - h. Are 49 and s equal?
True
Suppose -44 = -36*m - 44. Suppose -4*c + c = -135. Let l be (c/66 + 0)*2. Does m = l?
False
Suppose -1560 = 4*y - 4*i, 1934 = 4*y - 9*y - 3*i. Which is smaller: -387 or y?
y
Let x be ((-2)/(-4))/((-11)/(-5434)). Suppose x - 253 = -6*h. Is -217 less than h?
True
Let v = -74/2145 + 8/165. Let m be (-2)/4 - (-2)/(-4). Is m equal to v?
False
Let j be 10/(-6)*(-22)/(-55)