-1 and s non-equal?
True
Let o = 3295 + -3292. Which is smaller: -422 or o?
-422
Let a = -28 + 15. Let x = -3631 + 3629. Which is bigger: a or x?
x
Let d = 77 + -122. Let y(w) = -2*w - 61. Let m be y(-7). Let j = m - d. Which is smaller: j or -11/6?
j
Let j = -55.25158 - 0.00842. Let f = -195 + 140. Let t = f - j. Which is smaller: t or -2/7?
-2/7
Let p = 38.8 + 12.2. Let c = 54 - p. Let f = -4.2 + c. Which is greater: 1/4 or f?
1/4
Let w = 3191 - 433975/136. Is w smaller than -1?
False
Suppose -2*l = -4*k - k - 734, -3*k - l = 436. Let p = k + 152. Which is bigger: 7 or p?
7
Suppose 3*b + 98 - 461 = -3*d, -2*d + 239 = 3*b. Suppose 79 - d = 5*v. Let q be 6*((-15)/v + -1). Is q <= 1?
False
Let j be 0/2 + -6 + 56. Suppose -2*q - j = 2*l, -4*l - 2*q = 3*q + 95. Let m be ((-2)/20)/(l/(-96)). Which is bigger: m or -1?
m
Let u be 2/11*(-385)/(-210). Which is smaller: 8.2 or u?
u
Let o be 69/368*-4 + 1621/124. Which is greater: o or 11?
o
Let h be 5/10*0/2. Let z(w) = 16*w - 94. Let n(f) = -f. Let g(l) = 10*n(l) + z(l). Let k be g(h). Do -94 and k have the same value?
True
Let v(h) = -15*h + 257. Let m be v(17). Suppose -3*n + 4 = 4*s + 3, n - s + m = 0. Is n < -9/50?
True
Let j be (-47415)/95 + (-22)/(-209). Is j at most as big as -495?
True
Let c = -6354.2 - -6354. Are c and 1753 non-equal?
True
Let w be (0 + -3)*(6 + 600/(-8)). Let t be 5/((-20)/6)*(-12)/w. Let k = -0.23 + 0.33. Which is smaller: k or t?
t
Let c(f) = 37*f**2 + 2*f - 7. Let s be c(-5). Let b be 6/(-8) + s/(-112). Let n(d) = 8*d**3 - d**2 + 5*d + 6. Let r be n(-1). Does b = r?
False
Suppose 6*z - 26*z = 5280. Let a = z + 292. Are a and 107/4 nonequal?
True
Let x = -1171/335 - 7/67. Which is smaller: x or -4?
-4
Suppose -2*x + 5*w = -0*x + 458, -3*x + 5*w - 687 = 0. Let g = 228 + x. Is 13/29 not equal to g?
True
Let a = -15882 + 79991/5. Suppose 55*p = -1979 + 8304. Let k = a - p. Which is smaller: k or 0?
0
Let w(z) = -3*z**3 - 14*z**2 - 16*z - 256. Let n be w(-6). Which is smaller: n or -260/17?
n
Let x = 79 - 77.22. Let z = -10.22 - x. Which is greater: z or 0.7?
0.7
Suppose 5*c + 4*y + 79 = 3*y, c + 4*y = -31. Let g(u) = u**3 - 3*u - 2. Let b be g(0). Let m be 22/b + (18 - 21). Which is smaller: m or c?
c
Let o = -7045 - -7044. Are o and 2/1547 non-equal?
True
Let r(u) = -u**3 - 10*u**2 - 18*u - 1. Suppose b = 6*v - v - 24, 5*v = -3*b + 8. Let s be (v + (-3)/1)*-2*4. Let d be r(s). Is 13 <= d?
True
Let a be ((-6381)/(-162))/((-19)/(-6) - 3). Is 236 not equal to a?
True
Let v = 0.66 + -1. Let q = v + 0.19. Is 13 > q?
True
Let g = 44.3 - 44.1. Let x(o) = -o + 8. Let t be x(7). Suppose t = r + 4. Which is smaller: g or r?
r
Let h be (66/(-84))/(3/(-6)). Suppose 3*g = -4*g + 14. Which is smaller: g or h?
h
Let y be ((-25305)/14)/(-15)*-4*4/8. Is y not equal to 9?
True
Let b = -24270 + 24269. Which is smaller: b or -30/701?
b
Let m = -355 - -2443/2. Is m at most 866?
False
Let w = -29 - 470. Let c = w + 499. Let i = 21.1 + -20. Is c less than i?
True
Suppose 0 = -4*d - 19 - 5. Let u be 30/(-20)*(-8)/d. Let t = -2/3071 + -3061/15355. Which is bigger: u or t?
t
Suppose 0*a - a + 2 = 2*x, 2*x = 2*a - 16. Let d(n) = -15*n + 37*n - 5 - n**2 - 3*n - 10*n - 12. Let u be d(a). Which is smaller: u or -3?
-3
Let j be (-4)/(-3)*6/(-1348). Let q be (2 + 0)*(44/660)/(4/(-60)). Which is bigger: q or j?
j
Let r = -22574 + 22606. Let w = 6 - 8. Let m(p) = -17*p - 3. Let n be m(w). Is n <= r?
True
Let c(s) = 44*s + 83. Let j be c(31). Are 4337/3 and j unequal?
True
Let s(q) = -3*q**2 - 113*q - 188. Let n be s(-36). Which is smaller: n or -51/20?
n
Let k = 116287 + -116295. Suppose 5*n + 3*r + 2 - 11 = 0, -5*r = -4*n + 22. Suppose -2*t - n = 9. Is k >= t?
False
Let b(y) = -y + 102. Let n be b(0). Let r = 32299573/35 + -922743. Let c = r - n. Is 0 less than c?
False
Suppose -54*x + 3560 = 3*l - 50*x, l + 4*x = 1192. Which is greater: 1179 or l?
l
Let i be 34/(-187) - 108246/(-596079). Is i bigger than 1?
False
Let j = 59 + -41. Let v = 8 - 34. Let r = v - -25. Which is smaller: r or j?
r
Let o = 472586/3 + -159079. Which is smaller: -1549 or o?
o
Suppose 38 = -f + 51. Suppose -3*i + 4*i - 5*l = -17, -i = -2*l + 5. Suppose -i*p - f = -55. Is p bigger than -4?
True
Let u = -3567.9 - -1833.9. Which is bigger: u or 6?
6
Let m be (2/2)/((-1)/(-5)). Suppose -3*l - 4 = 3*q - m*l, -2*q - 5*l = -29. Suppose 6*f - 32 = q*f - 4*r, 5*r - 37 = -4*f. Which is smaller: 13/3 or f?
f
Let a = 4132 - 3270. Does a = 862?
True
Let m(x) = x**3 + 11*x**2 + 10*x - 13. Let v be m(-9). Let p = v - 51. Let n be (-6)/p - 435/(-20). Is n greater than or equal to 21?
True
Let v = 362765/4 + -91491. Which is smaller: v or -800?
-800
Let u = -810.73 + 811. Let z = 1.09 + -2.07. Let r = z - 0.02. Which is bigger: u or r?
u
Let h = 768.2 + -856. Let i = h + 85.8. Which is smaller: i or -112?
-112
Let q be (-11 - (1 + -1)) + -1. Let j(g) = g**3 + 28*g**2 + 28*g + 14. Let m(h) = 7*h + 22. Let z be m(-7). Let x be j(z). Are x and q non-equal?
True
Let c(h) = -h**3 + 6*h - 4. Let d be c(-3). Suppose s + 2*y = 2*s - 64, -d*s + 3*y = -285. Suppose -s = 8*w + w. Is w less than -40/7?
True
Let s = 225 + -133. Let v(h) = -h**3 + 23*h**2 - 19*h + 27. Let r be v(22). Are r and s equal?
False
Suppose -4*w = f - 0*w + 5, 0 = -3*f + 5*w - 15. Let n(a) = -2*a - 4. Let i be n(f). Let t = 1509/265 + -5/53. Is i at least t?
True
Let k = 0.06189 + -0.06189. Do 37 and k have the same value?
False
Let w = -126 - -271. Let n be 3 - 489/w - (-2)/10. Is -1 greater than n?
False
Suppose 17*r - 12*r - 20 = 0, -5*r = 2*k - 344. Which is bigger: k or 163?
163
Suppose -99*p - l + 29 = -96*p, 5*l + 8 = 2*p. Suppose -3*x + 1 = -2. Let m be x/(-1*2/(-18)). Is m less than p?
False
Let j = -27200 - -27140. Is j at least -425/7?
True
Let q = 19499/6 - 3250. Which is smaller: -297 or q?
-297
Let b be ((-6)/4)/(((-45)/(-6354))/(-5)). Let d = -1123 + b. Let x(u) = u**3 + 6*u**2 + u - 7. Let a be x(-7). Which is bigger: d or a?
a
Let w = 0.016842 - -1.983158. Let z = -9 - -35. Which is bigger: z or w?
z
Suppose 3*f + 114 = -4*n, 5*n + 5*f + 110 = n. Let t be (-6)/n + (-1)/((-5)/59). Suppose -16 = 2*a - t. Is a at least as big as 0.03?
False
Let a be 1/((-1 - -2)/3) + 317. Let d be a/(-209) - (-12)/(-114). Which is greater: d or -1?
-1
Let j be -30*3/(-15) - (-1 - 9127/(-1303)). Is 0 >= j?
True
Suppose 2*o + 2*o = 3*r - 165, -r + o = -55. Which is smaller: r or 57?
r
Let w = -11290 - -11295.061. Let b = -0.061 + w. Are 21 and b nonequal?
True
Let i(v) = -234*v - 3208. Let l be i(-28). Are 3343 and l equal?
False
Let f be ((-794)/8)/(15 + 531/(-36)). Let x = f - -459. Is x smaller than 63?
True
Let b be (112/(-24))/((-4)/(-102)). Let f = b + 110. Let x = 9 - 19. Which is bigger: x or f?
f
Suppose 4*v + 280 = -4*s, -4*s - 347 + 117 = -6*v. Let t = 29 - 94. Are s and t unequal?
False
Suppose 158 + 9838 = 28*r. Does 356 = r?
False
Let h be 1 + -1 + -2 - -1. Let j = 3768168 - 86684344/23. Let u = j - -716. Is u greater than or equal to h?
True
Suppose 17712*t - 17733*t = 21. Does t = -4/6477?
False
Let o be ((-8)/69)/((-15)/(-278)). Let a = o - -98/45. Which is smaller: a or 2?
a
Let x be ((-9)/54)/((-5)/2190). Let w = 34 - -39. Is w equal to x?
True
Let j be 14/14 + 3 + 0. Suppose 0 = -3*p - j*n - 992, -2*p = 4*n + 943 - 275. Let q be 1/6 - (-30)/p. Is 1 <= q?
False
Let m = 85 - 83. Let p be 140/(-105)*m/((-8)/(-114)). Which is greater: -39 or p?
p
Let h(b) = 3*b - 63. Let t be h(22). Let q be ((-4)/t)/(203/2784). Which is greater: -17 or q?
-17
Suppose -11*j + 61 = -38. Let m = -9 + j. Suppose m = 8*z + 11 - 11. Is -0.2 less than or equal to z?
True
Let s = -58/37 - -211/111. Do 9/23 and s have the same value?
False
Let k = -795.8 + -176.2. Let p = k + 971. Is p at least as big as 17?
False
Let x = 52 - 60. Suppose 0 = -16*l + 8*l - 256. Let j be ((-78)/x)/((-24)/l). Which is bigger: j or 10?
j
Let v = -0.00179 - 5.81621. Which is bigger: v or -1?
-1
Let r be (-768)/128*((-23)/(-8) - 0). Is r >= -2/3?
False
Let x = -55 - -174. Let g = x - 400. Which is bigger: g or 1?
1
Let y be (-6)/(-21)*(10 + 4). Suppose -x - 500 = 5*m, 4*m - y*x + 300 = m. Suppose 525 = -5*i + 4*r, -431 = 5*i - r + 79. Which is bigger: m or i?
m
Suppose f - 4 = 3*i, i + 0*f + f = 4. Suppose i = g - 4*g 