same value?
False
Suppose 23*x = x + 3*x + 25764. Which is greater: x or 1358?
1358
Suppose -29 = 5*w - 4*a, 5*w - 4*w - 5*a = -10. Let t be w + (3 - 25/5). Which is smaller: t or -20?
-20
Let w be (-96)/(-14) - 168/360*15. Is w equal to 35?
False
Let v be (13/(-39))/(((-3)/2)/(-3)). Let l = -0.411 + -0.809. Which is bigger: l or v?
v
Suppose n - 2*t + 2 = 0, -n - 3*t = -4*n. Suppose -y - 2*r + 268 - 67 = 0, -n*r = -4*y + 844. Is 211 at most as big as y?
False
Let s be 71/9 - 8 - 42/(-54). Is s >= 305?
False
Let z be 378/238707*(-18)/(-4). Suppose -5*d + 1 = -4*d. Which is greater: d or z?
d
Let o = -13416 + 13416.3. Is 1/216 < o?
True
Let g be ((-15)/(-50))/((3/(-12))/(2/6)). Which is smaller: 940 or g?
g
Let r(n) = -2*n**2 + 22*n - 28. Let x be r(10). Let s be 6 + ((-84)/x - -2). Is 20 <= s?
False
Let b = -132 + -422. Let r = 394 + b. Let s be (4/r)/(2/(-4)). Which is smaller: 0 or s?
0
Let p be (-28)/6 - (-8 + 3). Let s = 146 - 137.1. Let x = s - 8. Which is bigger: x or p?
x
Let o(x) = -62*x. Let h be o(1). Let m = -87 - -85. Let l be ((-134)/(-4) + -2)*m. Which is bigger: l or h?
h
Let a be (-27)/12 - (-7 - 263823/140). Is 1888 != a?
True
Let b = 1 - 1. Let x be b/3 + 6 + 2. Suppose -9*f = -8*f + x. Which is smaller: f or -3?
f
Suppose -1 - 11 = 2*n. Let g = 11546/105 + -1748/15. Which is greater: g or n?
n
Let w = -0.2 - -0.25. Let f = -17.05 + w. Let c = 59038.2 + -59038. Which is smaller: f or c?
f
Suppose -2*n - 5*t = -319, 2*n - 247 = 3*t - 0. Suppose 4*w - 262 = 5*j + 305, -w - 3*j + 129 = 0. Which is smaller: w or n?
n
Let i = 21 - 9. Let k = -9142 - -9156. Is i greater than k?
False
Suppose 3*v - 18 = -u, 9*u - 7*u = 0. Suppose 5*x + 2*b - 13 = -v, 0 = x + 3*b + 9. Do x and 21/10 have the same value?
False
Let k = -128 - -2. Let q = k + 125.28. Let b = -0.12 - q. Which is smaller: -11 or b?
-11
Suppose -60*f - 56*f - 73 = 3407. Which is smaller: 157 or f?
f
Let y(b) = -3*b**3 + 15*b**2 + 35*b - 178. Let x be y(4). Is 843 <= x?
False
Let a(p) = 9*p + 86. Let w be a(-10). Let x be 1078/(-2268) + w/(-8). Suppose 2*l + f - 6 = 0, -5*l + 0 = -2*f + 3. Which is smaller: l or x?
x
Let m(s) = s**3 - 150*s**2 + 588*s - 15. Let v be m(4). Is 705/8 greater than v?
True
Suppose 39521 = -21*g + 2*g + 2927. Which is smaller: g or -1925?
g
Let d = -0.054 + 1.084. Let j = d + -0.03. Is j not equal to -0.3?
True
Let p = -10/31 - -226/1085. Suppose -5*w + 1 = 4*l, -4*l - 1 = 3*w - 0. Which is bigger: l or p?
p
Suppose -23*c + 6062 = 8776. Which is smaller: c or -2?
c
Suppose 53*p = 50*p - m, -3*p + m + 6 = 0. Let h be 6/27 - 58/18. Let a be (h/(-3))/((-100)/(-24)). Is p bigger than a?
True
Suppose -n = -2*k + 11 - 8, 0 = -2*k + 6. Suppose n*y - 9 = u, -y - 17 + 20 = -4*u. Which is bigger: u or 5/231?
5/231
Let u(c) = 25*c + 1285. Let w be u(-51). Which is smaller: w or 103/10?
w
Let t be (6/4)/((-164934)/441048) + 4. Is t at least -1?
True
Suppose 0 = 5*w + 25, 3*u + 87 = 4*w + 23. Let q be (-7)/(-2)*48/u. Is -19 < q?
True
Suppose 111*u + 202179 = 54*u. Are -3548 and u unequal?
True
Let x be (-8)/136 - 5*(-12)/1020. Are 1/20565 and x nonequal?
True
Let m be (1 + (-4)/(-4)*1)*(-43)/(-86). Which is bigger: m or -74/193?
m
Let k = 315 - 335. Let f = 78 + -15. Suppose -2*g - g - f = 0. Are k and g unequal?
True
Let q be (-2790)/(-2480) + 7625/(-8). Are 1 and q nonequal?
True
Let a(q) = -q**3 + 5*q**2. Let d be a(5). Let w = -71950 - -71949. Which is bigger: d or w?
d
Let x = 6662 - 6691. Is x > -37?
True
Let t = -22169599/995 - -22281. Which is smaller: t or 0?
t
Suppose 3*z - 2*r - 6 = 0, 4*z - 8 = 5*r - 0. Suppose z*k = -3*g - 0*k - 43, -48 = 3*g - 3*k. Let u be (36/(-225))/(3/g). Is u less than 2?
True
Suppose 4*c + 16 = u - c, -2*u = -2*c. Let y(n) = 9*n - 114. Let w(s) = -46*s + 569. Let z(b) = 2*w(b) + 11*y(b). Let f be z(16). Is f >= u?
True
Let i = 462 + -458. Let r be (52/28 + -2)*8/i. Is r at least as big as 0?
False
Let n = -0.9 - -1. Let b = n + -0.14. Let k = -13614.4 - -13615. Is b greater than or equal to k?
False
Let z = -1129 - -1119. Let f = -273 - -827/3. Is f less than or equal to z?
False
Suppose 3*n - 4*s + 832 = 0, -n - 4*s - 22 = 266. Let m = -282 - n. Is -21/16 bigger than m?
True
Let h be (-9)/45 + (-9)/(-45). Let a(q) be the first derivative of -q**4/4 + q**3/3 + q**2/2 + 17*q - 1. Let x be a(h). Do 0.2 and x have different values?
True
Let r = -31780 - -73666045/2318. Is r bigger than 1?
False
Let p = -2888/13 + 15834930/71279. Is 1 at least as big as p?
True
Let p(k) = -2*k**2 + 5*k + 35. Let r = -140 + 140. Let v be p(r). Is 32 >= v?
False
Let a = 5 + 68. Suppose 0 = 5*y - 15, 6*u - y = 8*u - 153. Which is greater: a or u?
u
Suppose 385 + 20033 = 347*p - 224*p. Is 124 less than p?
True
Suppose -872*f - 1276 = -876*f. Which is greater: f or 312?
f
Let i = -181 + 396. Let o = -211 + i. Which is greater: o or 14?
14
Let q be 8/18*3/(-2). Let k(l) = -2*l**2 + 12*l - 1. Let p(t) = t**3 + 5*t**2 - t. Let h be p(-5). Let u be k(h). Is u equal to q?
False
Let k(n) = -357. Let c(x) = x - 1. Let s(m) = 28*c(m) + k(m). Let p be s(20). Is p less than 526/3?
True
Let i = -5213/5 - -1043. Are 8689 and i unequal?
True
Suppose -3*i + 5050 = 4*f, 2*f + 1257 = 3*f - 2*i. Let x = f - 3742/3. Which is greater: 13 or x?
x
Suppose -5*i - 36 + 226 = 0. Let r = i + -30. Suppose 0 = 2*w - 12 - 0. Which is greater: w or r?
r
Let r(d) be the first derivative of -21*d**2 + 33*d - 660. Let x be r(2). Let t be (1 + (-106)/4)*2. Is t > x?
False
Let p be -1 + (-15)/(-6) + (-1842)/(-36). Let c = -62564 - -939254/15. Let j = p - c. Which is greater: 1 or j?
1
Suppose -243*q + 204*q - 108 - 1140 = 0. Let z(d) = -d**2 + 5. Let u be z(6). Do u and q have different values?
True
Let y = 51 - 47. Let l(r) = -3*r + 3 - y*r + 7*r - 2*r**3 + r**2 + 3*r. Let m be l(-2). Is 17 bigger than m?
False
Let f(a) = 4*a. Let t be f(2). Suppose -b + 2*d + t = -0*d, -2*b + 21 = -3*d. Let j(u) = 15*u**2 - 19*u - 20. Let g be j(-1). Which is greater: g or b?
b
Let r = -3 + -1. Suppose c + 40 = -51. Let l = 88 + c. Is l <= r?
False
Let k = -1888/17 + 6411/34. Which is smaller: -1 or k?
-1
Let z(v) = 785*v**2 - 10*v - 12. Let c be z(1). Is c greater than 1523/2?
True
Let g = 66 + -157. Let l be (5*3/(-48))/(g/(-52)). Does l = -1?
False
Let k be (20/(-50) + (-116)/(-340))*(-12)/246. Which is smaller: k or 0?
0
Let d = 3.8 + -14. Let q = 11 + d. Suppose -9*l = 3 - 12. Are q and l unequal?
True
Let c(l) = 12*l**3 + 21*l**2 - 558*l - 50. Let r be c(12). Is r not equal to 17015?
True
Let w(f) be the third derivative of -f**6/120 + f**5/30 - f**4/12 - f**3/6 + 18*f**2. Let m be w(3). Let l be 3 + 492/80 + 12/m. Is l < 8?
False
Let i(c) = -c**3 - 8*c**2 + 2*c + 1. Suppose 0 = 5*x - 10, 5*q + 4*x + 32 = -0*x. Let v be i(q). Let l be (-236)/20 - (12/v - -1). Which is bigger: l or -9?
-9
Let x(q) = 7*q**3 + 0*q**2 - q + 4*q**2 - 2*q**2 - 51*q**3. Let i be x(1). Let u be 5/(20/9)*(-6 - (-266)/(-21)). Is i < u?
True
Suppose 0 = -12*q - 46572 + 4188. Is -3532 > q?
False
Let k(b) = 4*b + 7. Let g be k(5). Suppose -561 = -3*f - 564. Let s be (-9)/(g/(-12))*f - -4. Which is smaller: -7/19 or s?
-7/19
Suppose 39316 = 4*k - 2*h - 2*h, -9837 = -k + 3*h. Let c be (k/200)/((-3)/2). Which is greater: -33 or c?
c
Suppose -1016 = -11*j - 2633. Which is smaller: j or -145?
j
Let a(o) = -158*o**2 + 96*o + 682. Let r be a(-8). Is r > -10199?
True
Let f(i) = -431*i - 84. Let h be f(0). Is -83 bigger than h?
True
Let p = 9 - 7. Let l be 3/p*8/6. Let u be (l - (-27)/(-6))*-2 + -2. Is 3/2 less than u?
True
Let x be 14/2*(-7 + 8). Let l(d) = 21*d + 45. Let a(o) = 12*o + 23. Let q(f) = 5*a(f) - 3*l(f). Let h be q(-5). Which is smaller: h or x?
h
Suppose 0 = 2*l - 271 - 119. Let c = 194 - l. Is -0.034 less than c?
False
Let m = 407/26 - 58/39. Let w = -87032 + 87047. Which is smaller: m or w?
m
Let s(x) = -5*x + 2. Suppose 69 = 8*w - 27. Let t be s(w). Which is greater: -402/7 or t?
-402/7
Let i = 220 + -430. Let z = 160 + i. Is -1/5 bigger than z?
True
Let y = 829.9574 + -830. Which is greater: -4/3 or y?
y
Suppose 120*f = 133*f - 156. Suppose w + 4*j - 16 = 0, 0 = -f*w + 9*w + j + 48. Which is smaller: 17 or w?
w
Let j = -48 - -71. Let l = 97 - j. Suppose 4*v = l + 34. Which is bigger: 51/2 or v?
v
Let p = 