ater: 696/11 or y?
696/11
Suppose 2*q = -4*h - 326 - 70, 3*h - 382 = 2*q. Do -195 and q have the same value?
False
Suppose -12*j = -35 - 25. Let s = -246 - j. Is -250 greater than s?
True
Let r = -3544415/8 - -442210. Which is smaller: r or -842?
-842
Let g = 7 - 13. Let l(k) = 4*k**3 - 3 - 70*k + 69*k - 3*k**3. Let f be l(0). Which is greater: g or f?
f
Let d be (-635)/(-20) - (1 - -3). Suppose 0 = 3*i - 3, 4*g = 3*i + i + 104. Is d smaller than g?
False
Let q = -11344 - -11339. Which is bigger: q or -467?
q
Let g = 1101 - 232. Let w = g - 864. Let v be (2/(-3))/(34/6). Which is greater: v or w?
w
Let a(f) = 3*f**2 - 34*f + 8. Let g be a(16). Which is bigger: g or 219?
g
Let b be (-49374)/2392 + 180/9. Is 0 less than b?
False
Let a(o) = o + 26. Let j be 1/(-4 + 81/21). Let i be a(j). Let t be 42/6 + -6 - i/7. Is -3 bigger than t?
False
Suppose 12760*v - 12749*v = 0. Is -3/922 greater than v?
False
Let o = 62.27 + -66.27. Is -159.4 at least as big as o?
False
Let u = 563 + -405. Let l = 161 - u. Which is bigger: -8 or l?
l
Let h = -1053 - -1519. Suppose -15*u = h - 181. Suppose 3*j - 35 + 92 = 0. Does j = u?
True
Let q = 0.35 - 22.35. Let i = 3 - q. Let f(d) = d**2 - 165*d - 333. Let t be f(-2). Are i and t nonequal?
True
Let t = -444757862/6037 + 73672. Which is smaller: 1 or t?
t
Let d = -57 + 62. Let y be 1*(6/(-9) - d/(-3)). Let k be (-5)/10*(-2)/51. Is k bigger than y?
False
Let t be (-88)/(-3258)*((-15 - -23) + -6302). Let b = t - -170. Is b bigger than 0?
False
Let p = 0.11087 - 0.09987. Which is smaller: 4/3 or p?
p
Let h = 0 - -6. Suppose 4*k = h + 18. Let b be (-2)/k*(-2)/4. Which is bigger: -1 or b?
b
Let t be 6*4/(-16)*2. Let c be ((-52)/t)/(4/(-6)). Which is smaller: -24 or c?
c
Suppose 0 = 4*a - 4*j + 48, 2*j - 15 = 5*a + 33. Let h be 1 + (4/a + 0)*-142. Suppose -6*s = -8*s - h. Which is smaller: s or -38?
-38
Suppose 39 = 4*h - n - 9, 5*h = -3*n + 77. Suppose 2*l + h = 29. Suppose 9*b + 4 = l*b. Which is bigger: b or 1?
1
Let o = -5473 - -49247/9. Which is smaller: 2/17 or o?
o
Suppose -10*u = 138 - 38. Let d = u + 31. Suppose d - 19 = -b. Are -6/5 and b equal?
False
Let j = -22698 + 22841. Does j = -12?
False
Let b(q) = q**3 - q**2 - q. Let r be b(0). Suppose -11760 = 33*n - 9*n. Let y be -2 + (-6 - n/63). Which is bigger: y or r?
r
Let c = 4712 + -4671. Do 0 and c have different values?
True
Let z = -81 - -70. Let u be (z - 1) + (0 - 4). Let p be 101*(-2)/6 - u/24. Is -33 greater than p?
False
Suppose -44*m + 37*m + 910 = 0. Let r = -118 + m. Is r not equal to 10?
True
Let a be (-2 + 0 - -1)*-10. Let g = 86953 - 521663/6. Which is greater: a or g?
a
Let v = 4123 + -4130. Is v greater than or equal to -9?
True
Let z = -0.1 + 0. Let a be 2/(-16)*181048/(-371). Which is smaller: a or z?
z
Let r be (-9 - (3 - 5))*-2. Suppose 101*s + 120 = 97*s. Let f be ((-6)/(-4))/(s/(-280)). Are r and f unequal?
False
Let v = -3163 + 135996/43. Is -2 greater than v?
False
Suppose 5*q - q = 16, 2*q - 21 = o. Suppose -h + 5 = 2. Suppose -h*p - 51 = -18. Which is smaller: o or p?
o
Let v = 9488319/398 - 23840. Is 0 at least as big as v?
True
Suppose -2*f = 0, v = -2*f + 3*f + 40. Suppose -j = -0*j - v. Let u = -111 - -151. Is j not equal to u?
False
Let i = -414 - -258. Let u = i + 155. Which is bigger: -8/21 or u?
-8/21
Suppose 43*j - 38*j - 505 = 2*q, 0 = 3*q + 4*j + 654. Which is smaller: -236 or q?
-236
Let w(y) = -685*y + 2054. Let b be w(3). Which is smaller: b or 2/449?
b
Let v = 3.45 - -184.55. Let a = v + -187.9. Suppose 5*d = -2*k + 29, 0 = -3*k - d + 2*d + 35. Which is greater: k or a?
k
Let a(r) = 3*r**2 + 13*r + 37. Let z(g) = -37 - 26*g - 8*g**2 + g**2 - 22 - 14. Let t(h) = 5*a(h) + 2*z(h). Let l be t(-5). Which is greater: l or -1/5?
-1/5
Let h = -0.16 + -19.84. Let o = -10 - h. Let w be 22/4 - (-4 + 1 + 9). Which is smaller: o or w?
w
Let w = -388.8 - -394.8. Is 803 bigger than w?
True
Let g(t) = -102*t. Let x be g(-2). Suppose 3861 = p + 14*p + 801. Is p at least x?
True
Suppose 3*g = 9*g - 18. Suppose 5*y = g*a - 44, a = y + 3*y + 3. Let c = 67.7 + -67.7. Is a less than or equal to c?
False
Let w be 14/(-28)*(-751052)/53646 - 7. Do 0 and w have different values?
True
Let v = 14173 + -14174. Which is greater: 28/179 or v?
28/179
Let d(b) = -2*b**2 + 2*b - 35. Let k be d(8). Let h = 122 + k. Is -25 not equal to h?
False
Suppose 0 = 2*p + 12 - 0. Let u be (-1)/p - (-3)/18*35. Suppose u = -3*t - 0. Is -8 > t?
False
Let c(x) = -127*x - 5590. Let g be c(-30). Which is greater: -1779 or g?
-1779
Let c(k) = -7*k - 10. Let t be c(-2). Let w be (-26)/(-741)*(3 - t). Is -1 greater than w?
False
Suppose 3*y + 6*y = 27. Let t be (-3)/(-3) - (0 - y). Let c be (-1 - -2)*t/(-16). Which is smaller: -0.16 or c?
c
Let y be ((-6)/5)/(12/(-40)). Let w be (1/y)/((-3)/12). Let b be ((-6)/32)/(20/240). Is w less than or equal to b?
False
Suppose 2*t - 4 = f - 3*f, -5*f + 3*t + 50 = 0. Suppose 2*l = 3*o - 0*o - 17, -3*o = -4*l - f. Is 0 <= o?
True
Suppose 5*l + 30 = 11*l. Suppose 5*z = -3*y - 3, l*z + 2 = -2*y - 0*y. Suppose z = 13*h - 4*h + 9. Is h less than or equal to -8/5?
False
Let s be 1 + (-25472)/(-14) + 486/(-1134). Which is smaller: s or 1818?
1818
Let d = 8045/308 - 183/7. Let t = -47 - -57. Suppose 0 = 7*u + 3 - t. Is d < u?
True
Let t = 11730989377/1745454 - 3648251/2318. Let g = -5147 + t. Which is bigger: -1 or g?
g
Let s = 2764 - 2767. Is 8/3 greater than or equal to s?
True
Let i = -121.5 + 19.5. Let z = i + 101.985. Let k = z - 26.985. Which is smaller: k or -0.1?
k
Let s be 86 - 4*4/16. Let t = s - 7993/94. Suppose -4*z - 18*b + 23*b - 20 = 0, -3*z - 5*b = -20. Which is smaller: t or z?
t
Let q be (-2703)/954 + 15/6. Let l = -1.1 - 2.9. Let k = l + 3.82. Is k at least q?
True
Let a = -66.68 - -68. Let r = 10.496 + -10.546. Let f = r + a. Are -2/5 and f unequal?
True
Let z = -3253 - -3246. Is z < -8?
False
Suppose 1161 = -9*l + 339 - 645. Which is smaller: -140 or l?
l
Let g be ((-64)/68)/(16/416) - 4. Is -28 <= g?
False
Let l(s) = -131*s**3 - 661*s**2 - 20*s + 26. Let r be l(-5). Let i(v) = -v - 4. Let k be i(-6). Suppose 8 = k*w + 56. Is w at least r?
True
Let z(m) = -3*m + 37. Suppose -d = i - 14, 3*i + 12 = -3. Let p be z(d). Is -25 less than p?
True
Let n = -73 - -151/2. Let v be (204/(-12) - 423/(-27))*(-3)/10. Is n at most v?
False
Suppose -14234*s = -14232*s + 1726. Which is greater: -860 or s?
-860
Let m(y) = -3*y**3 + 2*y**2 + y - 2. Let l be m(1). Let w(r) = -r + 1. Let z be w(l). Let n be (z/(-6))/((-118)/4). Is 1 less than n?
False
Let s be (1/(-3) - 319855/(-60078)) + (-10 - -5). Which is greater: s or -1?
s
Let n = 13 - 42. Let w be (2/1 - 2)*(-43)/43. Suppose w = 607*p - 601*p + 180. Is p at most as big as n?
True
Suppose 40*h - 35*h - 20 = 0, w = -2*h + 5. Let q be (272/472 + (-1)/2)/w. Is -1 bigger than q?
False
Suppose -42*d = -31*d - 11. Let z be 0/1 - 81/24. Let q = 355/104 + z. Which is smaller: d or q?
q
Suppose -603*y + 1301 = -648*y - 2479. Is -187 at most y?
True
Let l = 0.099 + -0.354. Let o = l + 0.235. Which is greater: 3 or o?
3
Let l(i) = -i**2 - 9*i + 100. Let p be l(6). Let f = -55 - -85. Suppose -3 + f = 3*n. Are n and p non-equal?
True
Suppose 3*r = 0, 4*t + 5*r = -t + 10*r. Which is bigger: -1/1845 or t?
t
Suppose -2*t + 4*t + 2 = 0. Let c = 542 + -541. Let q be (40/600)/(c/(-6)). Are q and t equal?
False
Let j = -3408/6613609 + -1/4789. Let s = j + -56615/8286. Suppose 5*p + 3*q + 6 = 2*p, 0 = p - 4*q + 22. Is p equal to s?
False
Let g(i) = -i**2 + 8*i - 10. Let h be g(7). Let n = -2 - h. Suppose -5*j = -5*l + 35, l + 6*j - 25 = 4*j. Which is smaller: n or l?
n
Let z = -2310 - -4597/2. Let w(i) = 6*i + 42. Let v(n) = -2*n - 14. Let l(q) = 8*v(q) + 3*w(q). Let j be l(-13). Is j at least as big as z?
False
Let v = -292 - -378. Suppose 486 = 5*i - 4*r, 9*i + 2*r - v = 8*i. Do -1 and i have the same value?
False
Let m = 60 + -102. Let j = 42 + m. Does 3/59 = j?
False
Suppose -2*n + 6 = 0, -3*g = 101*n - 105*n + 5034. Do -1675 and g have different values?
True
Let g = -5885 - -5885. Which is smaller: g or -900/7?
-900/7
Let f = -1.54854 + 1.5. Which is smaller: f or -1?
-1
Let f = -13655/2184 + 5/2184. Is -17 smaller than f?
True
Let c = -1008 - -862. Which is smaller: -1018/7 or c?
c
Let n(f) = f**3 