ppose 3*t = -20*t + 161. Suppose -t*g + i = -8*g. Which is smaller: -4 or g?
g
Let l = 10421 - 9635. Which is smaller: 0 or l?
0
Let w(h) = -13*h**2 + 167*h + 35. Let d be w(13). Is 157 smaller than d?
False
Let v(r) = -13*r**3 + 10*r**2 + 30*r + 100. Let g be v(-4). Which is greater: g or 974?
974
Let g = -5026 + 5025. Which is bigger: -2/3331 or g?
-2/3331
Let c = 5157 - 4063. Is -1 at least c?
False
Let f = -0.09 + 0.69. Suppose 0 = -5*z - 5*d + 60, z - 4*d - 20 = -3. Suppose 5*s = 4*s + 2*v + 8, 3*v = 2*s - z. Does s = f?
False
Let x(h) = -5*h**2 + 2*h - 2. Let a be x(2). Let o = 1875 - 1873. Suppose -63 = -14*t + 17*t + 4*m, -2*m = o*t + 40. Which is greater: t or a?
t
Suppose -5*b - 9 - 16 = -5*o, 4*o = -b - 5. Let s be 4/18 - 464/144. Which is bigger: s or b?
s
Let c = -54 - -92. Let h = -8 + c. Let g = 28 - h. Do 10 and g have the same value?
False
Let b be (46/12)/(8/(-72)*2). Which is smaller: b or -1?
b
Suppose 190*s = 205*s + 29010. Which is bigger: -1935 or s?
s
Let s be (-3)/(-6) - 209/(-30). Let v be -6 - (-6)/(-5)*6*(-15)/(-60). Let p = s + v. Is -0.45 less than or equal to p?
True
Let a be -1 + (91/35 - (-6)/(-10)). Let w = 11623 - 7822277/673. Which is smaller: w or a?
w
Let p = -1837.2 - -1837. Which is smaller: 2485 or p?
p
Suppose 5*i - 7*i - 2*c + 10 = 0, -2*c = -3*i + 40. Let b be (-802)/i + 5/25. Is -80 <= b?
True
Let s = -1409 + 1494.3. Let p = s + -85. Let h = -0.1 + p. Is h < 6?
True
Suppose 2*f + 3*f + 70 = 0. Let n be (-4)/(1 + -3) + 2 - 0. Let u be 14*(((-25)/(-1))/(-5) + n). Is f bigger than u?
False
Let o = -25 + 32. Let t = o - 11. Let u be (21/2)/3 - t. Do 7 and u have the same value?
False
Suppose 0*j - 123 = -3*j. Let f = 68 - j. Let m(x) = 6*x**2 + 4. Let u be m(2). Which is bigger: f or u?
u
Let h = -262 + -542. Let x be 9/h*(-6)/(-9). Which is bigger: 1 or x?
1
Suppose 0 = -w - 0*v - 2*v + 67, 2*w - 4*v = 102. Let s = -32726 - -32784. Do w and s have different values?
True
Suppose 0 = 2*l - 93*a + 95*a - 4, -5*a = -10. Which is smaller: l or 39/1135?
l
Suppose -f + 29 = u + 4, -5*f + 107 = -4*u. Let y = -493808 + 493801. Is f < y?
False
Let j(u) = 45*u + 442. Let c be j(-41). Which is smaller: c or -1406?
-1406
Let k(w) = w**3 - 28*w**2 + 41*w + 28. Let l be k(27). Is 399 greater than l?
False
Suppose -4*j = -5*n - 15, -j - 2*n + 15 = -7*n. Let h = 8006 - 2457840/307. Is j greater than or equal to h?
False
Let w be (-5 + 1 + 4)/1. Suppose -d + 15 = -3*z, w = 3*d - 6*d - 3*z + 21. Let v = 8 - 3. Which is smaller: d or v?
v
Let k = 101 + -247. Let i = 271 + k. Is 122 smaller than i?
True
Let u = -477/1606 - -25/73. Let b = 29/132 - -1/33. Is b not equal to u?
True
Let c(m) = m**2 - 6*m - 606. Let p be c(28). Let g = 0.13 - 0.21. Let z = g + 0.1. Is p at least as big as z?
True
Let v be ((-40)/6)/(-5) - (-5 - 527/(-72)). Are v and 0 equal?
False
Let x be (-224)/(-280) - ((-5604)/(-9315)*-2 - -2). Which is greater: x or -1?
x
Let u = 596 + -597. Let s be (-6)/(-63)*-3 - 577/(-2044). Is u smaller than s?
True
Suppose -1709*x + 2467 = -4*d - 1714*x, 2*d + 1195 = 3*x. Which is bigger: -604 or d?
-604
Let j = 1 - 1.1. Let k = 571 - 440. Let d = k + -110. Is d at least j?
True
Let p(i) = 3*i - 2. Let u be p(-4). Let v(z) = z - 6. Let r be v(7). Let c be (r/(-3))/(u/4 + 3). Which is greater: 1 or c?
1
Let b(g) = 2*g**3 + 5*g**2 - 233*g - 49. Let s be b(12). Which is bigger: 1328 or s?
s
Let a = 0.006 + -0.356. Let t = a - -10.35. Let q = 20 + -20.1. Is t less than or equal to q?
False
Suppose a + 9 = 4*a. Suppose 0 = a*n - 5*n + 18. Let i = 8553 - 8544. Is i at least n?
True
Suppose -5*a + 11*a = 366. Let r(v) = 23*v + 27. Let f be r(12). Suppose 3*c = 2*u - 2*c - 117, -5*u + 2*c + f = 0. Are a and u unequal?
False
Let x be 2/(-3) - (-160)/276. Let a = -0.4712 + -2.5288. Is x >= a?
True
Let n = 16 - -6. Let x = n + -21.95. Which is bigger: 0 or x?
x
Let n be 5 + (2/5)/(77/(-385)). Is -13 less than n?
True
Let x = 14 - 50. Suppose 48*s - 50*s = -4*k - 1370, 5*k - 3*s = -1711. Let h be 6*k/x - (-1)/(-3). Is 57 smaller than h?
False
Suppose -4*n + 50 = 46. Let u = 22083/64 + -345. Which is greater: n or u?
n
Let u be (4/3)/(8/36) + -1. Suppose -2*h = q + 3*q + 40, 2*h + 41 = -u*q. Let o(v) = -v**3 - 17*v**2 + 20*v + 8. Let x be o(h). Which is smaller: -30 or x?
-30
Let o(a) = a**2 + a - 495. Let j be o(22). Let r = -2.5 + 1.8. Let i = -0.9 - r. Which is smaller: j or i?
i
Let g = 2867/165 + -52/33. Let w = -31 + 46. Are g and w unequal?
True
Let q = 0.17197 - 0.27197. Which is smaller: q or -1/17941?
q
Let y(f) = f**2 - 20*f + 42. Let x be y(14). Suppose 0 = -6*c + 79 - 325. Which is bigger: c or x?
c
Let y(u) = -7*u - 84. Let i be y(26). Let b = -270 - i. Which is smaller: b or -36/7?
-36/7
Suppose -18*i = -10*i - 608. Suppose 8*v = -x + 11*v + 56, 0 = x + 2*v - i. Is 64 at most as big as x?
True
Let t = -0.01 + -7.99. Let n = -0.84 + 68.84. Let k = n - 68. Which is greater: k or t?
k
Let k = 625627/16857 + -5/1873. Which is greater: k or 37?
k
Suppose 8*k = 5*k - 126. Let w be (16/k)/(38/57). Suppose 2*f + 4*f = 5*f. Which is bigger: w or f?
f
Let p be (13 - 1593/81)*(3 - 81/15). Are p and 19 non-equal?
True
Let m be (4 - (-94)/4)*2. Let t be (m/10)/(-2 - (-6)/4). Is t at most -8?
True
Let a(s) = -s**2 - 11*s + 5. Let i be a(-10). Suppose 3 = 6*g - i. Suppose 9 = -g*t - 0*t. Which is bigger: t or -5?
t
Let w = -0.26 - -24.26. Suppose 16 = -3*n - 3*j - 26, 5*n = -4*j - 73. Let g = n + 16. Which is bigger: g or w?
w
Suppose -2*g + 5*j - 16 = 0, 4*j - 12 - 8 = -2*g. Let t(a) = 7*a - 8. Let r be t(g). Suppose 6 = 9*z + r. Is z >= -0.2?
True
Let f be (-5 - -5 - 17)/((-78)/(-30) + -4). Is 12 bigger than f?
False
Suppose 12*r - 27 = 33. Suppose -40 = 3*p + r*d, 6 = 4*p - 2*d + 42. Which is greater: p or -61/6?
p
Let v = 0.99496 - -0.00504. Let c = 0.3 - 2.3. Let t = c - -11. Which is smaller: v or t?
v
Let d be (-283715)/(-262793) + 1*-1. Which is bigger: d or 0?
d
Suppose 3703 = -14*h - 5*h - 4*h. Which is smaller: -158 or h?
h
Suppose 0 = 6*c - 2 - 22. Suppose -34 = -2*w + 4*h, 0 = 3*w - c*h - 46 - 1. Suppose 2*m + 1 = -3*q, -4*q - w = -7*q + 5*m. Which is greater: q or -8/25?
q
Let t = 98855 + -1976803433/19997. Which is smaller: 1 or t?
t
Let p = 139/2343 - 32/213. Let s(c) = c**3 - 4*c**2 - 4*c - 4. Let y be s(5). Let u be -1 + y*1/(-1). Which is smaller: u or p?
u
Let r(b) = -2*b**2 - 32*b + 80. Let k be r(-16). Which is smaller: k or 5?
5
Let o be -6*(-3 + (-26)/(-12)). Suppose 5*y = -o*k + 95, 67 = 5*y - 3*k - 20. Is 20 greater than y?
True
Suppose -5*d = 7*b - 2*b - 35, -5*d + 5*b - 15 = 0. Let o = 54534 + -54534. Which is smaller: o or d?
o
Let w(u) = 5*u**2 + 16*u - 225. Let m be w(30). Let g be 14/(-91) + m/65. Is 73 less than g?
False
Let f be (-3)/(-9) - -303*(-3064342)/15003. Let m = 61887 + f. Let w = m - -2682/271721. Which is smaller: w or -1?
-1
Let w be (1/3)/((-368)/1242*(-3)/(-72)). Suppose 3 = 2*n - 3*g - 4, 5*n - 5*g = 10. Let q(s) = -26*s**2 - s. Let x be q(n). Is x greater than w?
True
Let v(i) = 306*i + 2021. Let a be v(-7). Do -612/5 and a have different values?
True
Let l(q) = -1959*q**2 + 109*q - 334. Let w be l(3). Is -17638 at most w?
True
Let h be (-2)/(-64)*558/(-2232). Are 1 and h nonequal?
True
Let i be 5*4*(-4)/(-40). Suppose -13 + 9 = -i*w. Suppose -2*z = 0, -k - 5*z = -w*z - 1. Which is bigger: 10/31 or k?
k
Suppose 2*a + 2*g + 116 = 0, -2*a + 3*a + 48 = 4*g. Let r = a + 104. Which is smaller: 47 or r?
47
Suppose -11 = g + 5*o - 41, 5*o - 15 = 0. Suppose 1566 = g*n - 21*n. Is n smaller than -261?
False
Let k = -35 - -75. Let z(n) = -n**3 - 83*n**2 - 157*n + 443. Let j be z(-81). Are k and j nonequal?
True
Let y be (12 - 21 - 1*-5) + 109. Suppose -24 + 76 = w - 5*i, -2*i = 3*w - y. Is 35 at least w?
False
Let r be (-37)/(481/(-16874)) + -9*1. Do r and 1288 have different values?
True
Suppose 0 = -2*z + 1 - 33. Let v be 1 + (3 - 357/15) + (-852)/(-1065). Is v greater than z?
False
Let g = 155/6604 - 1/2540. Which is greater: 0 or g?
g
Let u be (2 - (-236)/(-3))/((-46)/69). Suppose -119*z - 64 = -u*z. Which is smaller: z or 0.5?
z
Suppose 198*x = 217*x + 1463. Suppose 0 = 3*n - 17 - 217. Let r = n + x. Is 2/85 >= r?
False
Let u = 5.9 + 150.9. Let x = u - 150. Is x at most as big as 