ppose 0 = 6*n - n + 70. Let a be r(n). Do a and -4 have the same value?
False
Let r = 7.81 + -8.397. Let c = -20.413 + r. Which is greater: 13 or c?
13
Let q be (-122)/(-1) - (23 - 21). Let j = q - 123. Is 78 less than j?
False
Let x be (-3255)/(-630) + 7/(-6) + 1. Let q(b) = -13*b**2 + 40*b + 3. Let t be q(x). Which is smaller: t or -121?
t
Suppose -4*c + 5 = c. Let b = 4113777/1505 - 13667/5. Which is bigger: c or b?
c
Suppose -82*w = 3*f - 85*w - 711, 0 = -2*f - 3*w + 494. Suppose 8*v - 2403 = -475. Do v and f have different values?
False
Suppose -433*i = 420 + 879. Which is greater: -82/53 or i?
-82/53
Suppose -10*p - 4*l - 16 = 750, -2*p = 3*l + 151. Let v be 0 - (2/1 - -74). Does v = p?
False
Suppose -5*y = 129 + 376. Let s(c) = -2*c**3 - 11*c**2 + 35*c + 4. Let b be s(-7). Let o = y - b. Is o at most as big as -4?
True
Let j = -1397322/13 + 137047233/1261. Let v = -1195 + j. Which is greater: v or -1?
v
Let m be -10 + 2 + 5175/390 + 4/26. Which is greater: m or 5?
m
Let o be 3/4 + 12/(-16). Suppose -2*s = -h + 1, o*s - s + 4 = 4*h. Suppose -4*m + 9 = -5*z, -m + z + 3 - 1 = s. Do -6.1 and m have different values?
True
Let k = 6352/344505 + 2/3281. Let b(h) = h**3 + 6*h**2 + h + 5. Let w be b(-6). Is w not equal to k?
True
Let u be (98 - 94) + ((-8)/(-104))/(2/(-138)). Is -1 less than or equal to u?
False
Suppose 0*z - 11 = 5*z - 3*w, 3*z = 2*w - 7. Let y(g) = -28*g**2 + 2*g - 1. Let b be y(z). Which is smaller: -27 or b?
b
Let i = 5818 - 5818.1. Is 3657 < i?
False
Suppose -2*x + 26 = -5*t + 7*t, -4*t = 0. Suppose -14*y = -x*y - 5. Suppose -5*w = 5*j + 44 + 351, -5*j + y*w = 385. Is -78 less than j?
False
Suppose 18*r - 17*r + 39 = 0. Let u = r - -47. Let x(w) = 2*w - 13. Let p be x(u). Is 6 at most as big as p?
False
Let v be (-5)/(3 + -4) - (-190)/5. Suppose v*a - 395 - 551 = 0. Suppose -4*t + z = -93, 0 = -3*t + 7*t + 4*z - 68. Is a <= t?
True
Let r = -701.09 - -549.09. Let c be 2/8*(-8)/3. Which is smaller: r or c?
r
Let p = -664 + 237050/357. Which is smaller: p or 0?
0
Let u be (885/(-108) - -8) + 1/12. Which is smaller: 0.101 or u?
u
Let i = 0.002 + -2.102. Let j = 17.55 - 17.2. Let s = j - 0.55. Is s at least i?
True
Suppose -10*k - 9 = -11*k + 5*h, -24 = 2*k - 4*h. Which is bigger: -744/29 or k?
-744/29
Let h be 22536/(-5958) - (-12)/3. Do h and 1 have different values?
True
Let z(c) = -3*c - 4. Let a be z(-5). Suppose -4 = -a*w + 7. Which is greater: w or -1/5?
w
Suppose 0 = -20*u + 1946 - 18846. Suppose o = -9 - 0. Let c be u/45 - (-2)/o. Which is greater: -18 or c?
-18
Let d be 2/(-12)*(-246)/4. Let u be 1 + (3 + -5)/(4/(-22)). Let w(o) = o**3 - 11*o**2 - 11*o - 1. Let s be w(u). Which is bigger: d or s?
s
Let u = 163.42 - 163. Let c = 1.32 - u. Is -1/4 equal to c?
False
Suppose -p + 38 = -1853*t + 1849*t, -2*p = -t - 20. Are 135/26 and p equal?
False
Suppose 15*h + 11 = 3*z + 16*h, 3*z = h - 5. Let f = 251.51 - 250. Let w = -60.49 - f. Which is greater: z or w?
z
Let z be 190/285*(-58)/4 - -11. Let b(c) = c**2 + 3*c + 3. Let r be b(-3). Let n = -2 + r. Is n smaller than z?
True
Let l(j) = j**3 - 15*j**2 - 15*j + 9. Let w be l(15). Let g be 48/w + 2/(-126). Which is smaller: g or -1?
-1
Let o(x) = -180*x - 486. Let i be o(-4). Are i and -0.08 equal?
False
Let u(v) = -448*v**2 + v. Let h be u(1). Let n be h/(-1692) - 25/100. Which is smaller: n or 3/2?
n
Let h = 0.02898 + 0.21102. Let k be 137 - -1 - (-2 - -2). Let r = 968/7 - k. Which is bigger: r or h?
r
Suppose -1 = 5*f - 6. Let u = -13104 - -1323501/101. Which is bigger: u or f?
f
Let g = -47 + 36. Let q = 18 + g. Suppose q*u + 425 = 138. Are -40 and u unequal?
True
Let v = -551/198 + 30/11. Suppose -4*m + 18*m - 16 = 30*m. Are v and m equal?
False
Suppose 11462*a = 11428*a + 646. Let c be (8/(-3))/(6/(-45)). Which is smaller: a or c?
a
Let f = 23.8 - 37.8. Let a = 26.5 + f. Do 1 and a have the same value?
False
Suppose -8 = 4*x - 3*c - 28, x + 2*c - 5 = 0. Suppose a = -a - x*h + 3, 0 = -2*a - 3*h + 1. Which is bigger: a or 2/221?
2/221
Suppose 3*z + 2804 = 3*p + 2672, -68 = -p - 5*z. Does 48 = p?
True
Let m = 13251/200 - 472/25. Which is greater: m or 0?
m
Let l be 1 + 8374/(-13970) - (152/(-20) - -8). Which is smaller: -1 or l?
-1
Suppose -7*q - 2 = -t - 4*q, 2*t - 4 = -q. Let m(g) = -5*g + 9. Let c be m(t). Let f be (c/3)/(182/(-14)). Is f less than 0?
False
Let z = 3017 + -3035. Which is bigger: z or -14?
-14
Let a = -122 - -692. Let u = 3295 + -3294.9. Is u not equal to a?
True
Let g = -34 - -313. Let w = g + -836/3. Does w = 20.3?
False
Suppose 3*w - 25 = -2*w. Let c = 107 - 93. Let l(u) = -6*u + 87. Let y be l(c). Which is greater: w or y?
w
Let u(k) = 4*k**2 + k + 3. Let o be u(-7). Suppose o = 9*p - 13*p. Let y = -30 - p. Which is bigger: y or 19?
19
Let v(g) = 2*g**2 + 8*g + 13. Let j be v(-3). Suppose -j*h = -450 - 180. Is h bigger than 91?
False
Let p = -225 + 227. Suppose 90 = c + 10*r - 7*r, 2 = p*r. Is 89 at least as big as c?
True
Suppose 6304*c = 6302*c. Let g(f) = -f**3 - 9*f**2 + 5*f + 10. Let j be g(-8). Is c at least j?
True
Let q be 8 - (-565928)/(-72) - 8. Let v = 7850 + q. Is -10 greater than v?
True
Let r be (4/(-130))/(14/(42919 + -9)). Do -94 and r have different values?
True
Let z be (31 + -9 + 207)/((-7)/6). Which is smaller: -196 or z?
z
Let w = 26.4 + -30. Let d = 3.3 + w. Let g be 4 + (-7 - 2 - -2). Is g bigger than d?
False
Let p = 929 + -917. Suppose -2*o - p = -3*c, 2*o + 0 = -4*c + 30. Which is bigger: c or 1?
c
Let k = -0.02 - -0.05. Let d = 9.33 + -8.8. Let a = d - 0.53. Which is greater: k or a?
k
Let s(u) be the first derivative of -3*u**4/4 + 27*u**3 + u**2/2 - 21*u - 116. Let f be s(27). Which is smaller: f or 0?
0
Suppose -2*s + 0*s - 3*u - 1 = 0, -2*s + 2*u + 4 = 0. Let c = -14556365/19 - -766452. Let a = c - 327. Which is smaller: a or s?
a
Let q = -23 + 24.25. Let u = -4.25 + q. Is 0.037 smaller than u?
False
Let w be 2025/243*99/(-15). Suppose 0 = -s - s + 6. Let v be s/6 + (-230)/4. Is w smaller than v?
False
Suppose -43*l - 335 = 1 - 35. Which is greater: l or 32?
32
Suppose 3*g + 0*w - 30 = 3*w, 2*w - 22 = -4*g. Let t(m) = 2*m**2 - 3*m**3 - 56*m + 12*m**2 + 50*m. Let b be t(4). Is b greater than or equal to g?
True
Suppose 38*f - 792 = 126*f. Let m(i) = i**2 - 1. Let x be m(1). Suppose 0 = -x*b + 3*b + 21. Which is greater: b or f?
b
Suppose 13 = k + 8. Suppose -3*m + 3*t = -6, -50 = -5*m - 0*m - 3*t. Suppose 0 = 2*x - m*x + 15. Which is bigger: k or x?
k
Suppose p - 3 = 20. Let g = p + -42. Which is smaller: g or -124/7?
g
Let j(k) = -51*k + 789. Let l be j(15). Which is greater: -0.16 or l?
l
Let w = -40 - -100. Let h = 713 - 669. Let b = h - w. Is b > -17?
True
Let u = 0.117 + -0.014. Let x = u - 0.051. Let g = x + -0.152. Is g >= 0.2?
False
Let w be (-6)/(-14) + 4*2122/56. Let x = w + -75. Let c be 22/x*(-3)/2. Are c and 1 unequal?
True
Let a be (-8)/(-2) + -37 + 1. Let g = -25 - a. Let j be (-3)/21 - 8/(-7) - g. Is -14/3 at most as big as j?
False
Suppose 0 = 3*s + 6, -104*l - 1248 = -99*l - s. Which is greater: -261 or l?
l
Suppose -5*m = 16 - 56. Let d be -16*(6 - 4)*10/m. Let s = 23 - 64. Which is smaller: s or d?
s
Let a be ((-2)/2)/((-51)/5). Let p(m) = -m**2 - 52*m - 666. Let h be p(-23). Is a smaller than h?
True
Let y = 1.1 - 1.68. Let q = -0.78 - y. Let f = -691 + 685.8. Which is greater: f or q?
q
Let j(q) = 6*q**2 + 5*q - 12. Let c be j(-5). Suppose -c*x + 118*x + 20 = 0. Let t(w) = 4*w + 18. Let i be t(-7). Are x and i non-equal?
True
Let h be (1/3)/(20/(-240)). Let u be ((-25)/6 - h) + (-302)/(-12). Which is smaller: 18 or u?
18
Let z = -140858 - -140854. Let u be ((-3)/2)/((-3)/(-18)). Do z and u have different values?
True
Let b(t) = t**3 - 106*t**2 + 14*t - 499. Let m be b(106). Is 982 bigger than m?
False
Let n be (4223/82)/(((-150)/4)/5). Which is smaller: n or -3?
n
Let k = 109/74 + -73/37. Which is greater: k or -745?
k
Suppose t + 4*q + 25 = 0, -5*q - 1 = 4*t + 33. Which is smaller: t or 2/2095?
t
Let x = 3894 - 3893.54. Is x < 9?
True
Let x(w) = -w - 7. Let o be x(-5). Suppose -6*a = -18 + 6. Suppose 0 = 2*g + 4*i, -8*g + 6*g = a*i + 6. Does g = o?
False
Suppose -3*g + 17 = 2*t, -t - 2 = 3. Suppose g = 5*w + 3*r - 20, -3*r = -9. Let z be 3*(w + 68/(-6)). Is -21 >= z?
True
Let g be 7 - 132/20 -