True
Suppose 34*n + 30 = 29*n. Let z be (4 + (-405)/102)/(n/(-108)). Which is bigger: -3 or z?
z
Let z = -7 + 10. Let i(p) = -p**3 + 4*p**2 - 3. Let b be i(z). Let g = 622403/7 - 88915. Is g equal to b?
False
Suppose -d + 5*o = -76, -5*d + 4*o + 80 = -237. Let q = 197/3 - d. Let b = -23.9 - -24. Which is smaller: b or q?
b
Let w = 43175/56 - 771. Let y(p) = 29*p - 102. Let k be y(4). Suppose 6*r + k*r = 20. Is r >= w?
True
Let a = -82 - -38. Let g be 22/a - 18/(-28). Does -1 = g?
False
Let u be (1 - -2) + 12/(-4) - 82. Let r = 114 + u. Let t = -63/2 + r. Which is smaller: t or -2/9?
-2/9
Suppose 0 = 5*p - 5*y - 69320, -154*p = -152*p - 3*y - 27722. Is 13869 bigger than p?
False
Let b(w) = -355*w - 3875. Let h be b(-16). Is 1802 smaller than h?
True
Let p(q) = 2*q**2 - 45*q + 25. Let r be p(22). Let f be (-20)/(-6) - 5/15. Let l(a) = -a + 10. Let m be l(f). Is r equal to m?
False
Let f = 7.77 - 0.17. Let n = f - -3.5. Let p = 9.5 - n. Is p > -2?
True
Let x(a) = a**2 + 14*a + 29. Let p be x(-12). Let v(y) = -y**3 - 21*y**2 + 31*y + 28. Let d be v(-22). Let h be (-122)/d - 3/p. Does 0 = h?
False
Let l = 3 - 4. Let f be ((-2)/(-269))/(2 - (-2284)/(-1120)). Let x = -2/269 - f. Which is smaller: x or l?
l
Let o(n) = 2*n**2 + 4*n + 4. Let j be o(-4). Let r be -1*(-2)/(-4)*j. Let m(s) = -140*s + 1395. Let z be m(10). Does z = r?
False
Let u(t) = -2*t**3 + 38*t**2 + 2*t - 42. Let b be u(19). Which is smaller: -113/29 or b?
b
Let u = 1 - 2. Let b(p) = 57 - 61 + 3*p**3 + 3*p - 7*p. Let a be b(u). Are a and -3 equal?
True
Let t = -27 + -31. Let v = -62.0744 + 62.2744. Is t > v?
False
Let o = 27 + -32. Let k = 7 + o. Suppose 1 = -q + k. Which is smaller: 4 or q?
q
Let d(u) = -u. Let g(k) = k - 2. Let q(s) = -2*s + 7. Let t(w) = 17*g(w) + 6*q(w). Let o(n) = 6*d(n) + t(n). Let l be o(-3). Which is smaller: 10 or l?
10
Let a be 7/(35/(-2))*30/(-4). Let b be 1/(a/9) - (4 - 0). Is b equal to -1/67?
False
Let o be -43 + 44 + 2/(-3 + 2). Is -18/157 at most as big as o?
False
Let d = -0.0769 + 0.2569. Which is greater: d or -77?
d
Let n be 2/((-100)/15 - -6). Let o be (4 - (66/1 + n)) + -1. Is o >= -58?
False
Let l = 3895 + -987. Which is greater: 1 or l?
l
Let t = 4680/17 + -275. Let d(x) = -181 - 4*x + 91 + x + 59. Let v be d(-10). Is t <= v?
False
Let i be (-2)/(-32) + (-55806)/(-1052192). Is i <= 1?
True
Let w = 18595 + -7605361/409. Which is bigger: w or -1?
w
Suppose 3*d = 4*r - 53, 3*d + 2*r + 40 = -1. Let m(p) = -2*p + 110. Let z be m(d). Is 140 at most z?
True
Let q = -445 + 479. Let j = 33.9 - q. Is j at most as big as -3/284?
True
Let c(s) be the third derivative of -2*s**5/15 - s**4/8 - s**3/6 - 448*s**2. Let p(o) = o - 7. Let q be p(6). Let i be c(q). Is -6 >= i?
True
Let w(o) be the first derivative of -o**3/3 - 9*o**2/2 - 16*o - 42. Let m be w(-3). Is -4/31 less than m?
True
Suppose 2*v + 3*c - 436 = 0, -7*v = -5*v - 2*c - 446. Let q = v - 285. Is -65 at least as big as q?
False
Let a(k) = 1897*k + 5038. Let d be a(6). Is 16420 bigger than d?
False
Let j(r) = r**2 + 2*r - 2. Let u be j(-3). Let b = -905 - -118557/131. Which is greater: u or b?
u
Let z = 4.2 + -7. Let w = 3 + z. Let m = -16.39 + 14.59. Is m > w?
False
Let w be (9 - (-1160)/(-128)) + (-6737)/(-16). Which is smaller: w or 1264/3?
w
Let l = 9 + 88. Let y = 103 + l. Let q be -1*3*y/(-30). Which is greater: q or 21?
21
Let i = -473 + 478. Let g be (-4)/(i + -9) + 1/1. Let y be 24*-1*1/(-14). Which is greater: g or y?
g
Suppose -4*m - 3*h + 59 + 53 = 0, 2*m = -3*h + 62. Which is smaller: 38 or m?
m
Let j be (-210)/245 - (1 - (-1 - -2)). Let p = -86 + 85.89. Which is smaller: j or p?
j
Suppose -3*t = 3*x + 2 + 1, -x = -4*t - 14. Let k be (-40 - (t - -3))*(-22)/(-748). Which is smaller: k or -2?
-2
Suppose 3*q + 4*y + 20 = 0, -10*q = -11*q - y - 5. Suppose 3*m - 3*a = 33, q*m + 40 = 4*m - 2*a. Which is greater: m or -2?
m
Let m be 32/(-144) - 110/(-9). Let q be (-4 - (-70)/15)/(2/m). Suppose -97 = q*b - 397. Is b bigger than 0?
True
Let s be (4/(-20))/((-10347)/(-30)). Which is smaller: 1 or s?
s
Suppose 38 = -9*y + 10*y. Suppose 3*c - 113 + y = 0. Let x be 24 + -3*(-1)/6. Which is smaller: c or x?
x
Let z = 96.1 - 90.1. Do 244 and z have different values?
True
Let m(i) = -8*i - 1. Let z be m(-1). Suppose -5*p - z*j + 2*j = 40, -3*p = -4*j - 11. Let x be (-12)/9*-5*p/(-24). Which is smaller: 2 or x?
x
Suppose -11*g + 639 = -6*g - 2*f, 2*g + 4*f = 222. Which is greater: 749/6 or g?
g
Let w(p) = -p**3 + 3*p**2 + 3*p + 36. Let l be w(5). Let h be (-3)/50*(-4 - 20/(-15)). Which is bigger: h or l?
l
Let y = 5419 - 5419.69. Which is bigger: y or -0.41?
-0.41
Let v(q) = -9*q + 853. Let f be v(83). Is f smaller than 1170/11?
True
Let k = 2122.04973 - 0.04973. Which is smaller: k or 0.1?
0.1
Let m = -3 - -5.19. Let p = 60.81 + m. Is p greater than or equal to -2?
True
Let w be 18/12 - (-9)/6. Suppose -o - w*a = 2*a + 23, 2*o = -5*a - 21. Suppose -2*j + z + 14 = -o*z, -4*z - 14 = 2*j. Which is bigger: j or -4/13?
j
Let v be ((-18)/(-16098))/((-9)/6). Let c = -5296/93905 + v. Let q = 0.9 + -0.8. Which is bigger: q or c?
q
Let c = -98 - -126. Suppose 0 = -3*r + 17*r - c. Which is greater: r or 5/9?
r
Let x be (8/(-22))/((-3438)/(-6303)). Which is greater: 8700 or x?
8700
Suppose -2*z - 1 = 3*s + 3, s - 5*z + 24 = 0. Let o be -17*12/s*-1. Let a = 58 - 108. Is a not equal to o?
True
Let i = 2041/3 + -279611/411. Let q be 4/(-16) + (-9)/12. Is i at most q?
False
Suppose -32 = -5*x + 78. Suppose -28*c = -30*c - x. Let d be ((-33)/(-12))/c - 7/(-4). Do 2/3 and d have the same value?
False
Let t(y) = y**3 - y**2 - 5*y + 6. Let m be t(2). Which is smaller: m or 4/687?
m
Suppose -5*q = 30, 15*d + 6*q - 120 = 11*d. Is 356/9 less than or equal to d?
False
Suppose -4 = n + d + 13, 84 = -4*n + 4*d. Let o = n - -29. Suppose -i = 2*y + o, -i + 5*i = y + 5. Is -1 bigger than i?
False
Let w = -187 - -190. Suppose 4*i = -d + 9, w*i - d - 18 = -4*d. Is i != -314?
True
Suppose -19029*k - 21 = -19050*k. Is 7/2181 bigger than k?
False
Let n be (-14)/6*(-3144)/179732. Which is smaller: 27 or n?
n
Suppose 1768 = 24*d + 2080. Do -302/23 and d have the same value?
False
Let g(n) = n**2 - 18*n + 44. Let o be g(11). Suppose 3*k = 24 + 81. Suppose 95*q = 94*q - k. Is q bigger than o?
False
Suppose -2*n + 5*q = -9369, 31 = -4*q + 35. Is n < 4686?
False
Let y be (3/(-114))/((-2)/132). Let f be -56*(-13)/273 - (-5)/15. Which is bigger: y or f?
f
Suppose -3*x + x = 2. Let n be (383/(-2681))/((-2)/14). Is x bigger than n?
False
Let s = 1793 + -2226. Let i = 1416/7 + -202. Is i <= s?
False
Suppose -17 + 223 = -2*m. Let n be (12/m)/(0 - (-6 + 4)). Is 1 less than or equal to n?
False
Let d(c) = 14*c - 4. Let f be d(6). Let x = -433578/11 + 39496. Let q = f - x. Which is smaller: q or 2/5?
q
Let o(y) = 51*y**2 + 308*y - 2484. Let h be o(8). Is h equal to 3244?
True
Suppose -19*a = -5*a + 42. Let z be (-185440)/(-1680) + a/((-21)/2). Is 111 less than z?
False
Let u be -2 + (-8)/8 + 4. Let m be u/(-4) + 13*15/980. Is m less than or equal to -1?
False
Let o = -27 + 27. Let z be 6/(-7)*(-28)/52. Which is smaller: o or z?
o
Suppose -5*z + 3*c = -2*c - 15, 5*z + c - 3 = 0. Let d be -25 - (z - (-3 - -8)). Let x be 6/(-42) - (-18)/d. Which is greater: 3 or x?
3
Let y be 0/2 - ((-17 - -1) + -4). Let z = -46 + y. Let g = z + 25. Is 1/10 != g?
True
Suppose 360 = 2*o - 2*r, 5*o - 175 = 2*r + 713. Which is bigger: 886/5 or o?
886/5
Let h = 13166 - 13120. Which is smaller: h or -69?
-69
Let d(j) = 16*j**2 - 96*j - 14. Let s be d(6). Let f be 2/(-7) - (-1112)/(-77). Is f bigger than s?
False
Suppose -7*r = -82*r + 238500. Which is greater: r or 3181?
3181
Let a be 42 + (4 + 0 - 21/(-21)). Suppose -a + 13 = 4*q - 2*g, 4*g - 50 = 5*q. Let s = -10 - -8. Which is bigger: s or q?
s
Let c = -1 + 41. Suppose 0 = 2*q + 4*f + c, 3*q + 2*f = 7*f - 60. Let g = q + 7. Which is smaller: g or -12?
g
Let c = -26 + 31. Suppose -4*r = c*r - 9. Let z be ((2 - 1) + 0)/(-1). Which is smaller: r or z?
z
Suppose 2*t = -4*a + 14, -2*a + 25*t - 21*t = 18. Is a >= 1/5403?
True
Suppose -3*d + 161 - 146 = 0. Suppose 4*j + 0*h + 13 = -d*h, 9 = -4*j - h. Are j and -32/21 non-equal?
True
Let j = -959911.9499 + 960022. Let f = j + -0.0501. Which is smaller: f or 1?
1
Let x be -87