 498. Which is bigger: i or -347?
i
Suppose 0*z = -2*z - 4. Let y(d) = -6*d - 28. Let u be y(-3). Let q be -4 - ((-16)/u - 2)*-10. Which is greater: z or q?
z
Let t = -132329/110 - -1203. Which is greater: -1 or t?
t
Suppose 0 = -13*i + 3*i. Let s be 1 + (-2)/((-10)/1). Let a = -9/10 + s. Are i and a nonequal?
True
Let w = 0.82 + -0.02. Let j = 1.8 - w. Suppose -6 - 12 = 3*o. Which is greater: o or j?
j
Let k = -161 - -118. Which is smaller: 0.2 or k?
k
Let q(t) = -6*t - 62. Let w be q(11). Is -127 equal to w?
False
Let t = -36 - -32. Let a be (-144)/198*3/t. Let r = 4 - 3. Is r at least as big as a?
True
Let s = 0.61 - -1.39. Let c = -14 - -8. Let d = s + c. Is -2/7 equal to d?
False
Let t be -3*6/(24/4). Is t at most -6?
False
Let s = 203 - 204. Which is bigger: 3/19 or s?
3/19
Let m = 21.9 + -19.7. Which is greater: m or 4?
4
Let c = -16021/1400 - -3/200. Let x(l) = 2*l**3 - 12*l**2 - l - 5. Let h be x(6). Which is bigger: c or h?
h
Suppose 3*j = -2*s + 7*j + 10, 5*s + 5*j - 55 = 0. Let m be (s/(-6))/((-72)/224). Which is bigger: m or 5?
5
Let q be -2 - (-4)/((-8)/18). Which is smaller: -52/5 or q?
q
Let h = -15403/31 - -497. Which is greater: 2/3 or h?
2/3
Let l = 324.1 - 324. Suppose -2*u + 0*u = -4*x + 22, 3*x - 14 = u. Which is greater: l or u?
l
Let y = -119 + 119. Suppose -10 + y = 5*c, 0 = 5*d + 2*c + 9. Is d less than 1/66?
True
Suppose 0*z - 6*z + 216 = 0. Which is bigger: 73/2 or z?
73/2
Suppose -43*i - 108580 = 46*i. Is -1219 not equal to i?
True
Suppose -10*w - 71 = 79. Let z be 27/w + 3/(15/4). Is -1 >= z?
True
Suppose -3*k = 15, -4*q + q = -2*k - 31. Let w be (5 - q) + 0 + 0. Let o be ((-3)/(-3))/(1/2). Is w bigger than o?
False
Let u = -0.052 + -2.848. Let n = u - -3.9. Is n at most as big as -0.14?
False
Suppose -27 = -0*t - 4*t - 5*k, -21 = -4*t - 3*k. Let y be ((135/10)/9)/(t/(-4)). Which is greater: y or -2/29?
-2/29
Let y = -22734 - -205078/9. Is 0 at most y?
True
Let s(y) = y**3 - 3*y**2 + 4*y - 3. Let n be s(2). Suppose -2*p - f + n = 2*p, -p - f + 1 = 0. Suppose -2*b - 18 = 4*r - p, 2*b = r - 8. Is r < -1?
True
Suppose -12 = -5*g - 42. Let u be g/(-2)*1*(-11 + 0). Which is smaller: u or -31?
u
Let x = 95 - 95. Let w be 4*3/(-3 + -243). Which is bigger: w or x?
x
Let t be (-6)/(-27) + 58/(-18). Suppose 14*n - 3 = 11*n. Let p be n/(1/t) + 3. Which is smaller: p or -1/4?
-1/4
Let r(q) = 6*q - 152. Let j be r(23). Does j = -5?
False
Let f be 1 - (-88)/12*69. Which is bigger: 506 or f?
f
Let g be 539/(-595) + (-27)/15 + 2. Is g smaller than 0?
True
Let d = -20/11 + 315/143. Let w = 154/299 - d. Is -1 bigger than w?
False
Let p = 0.377 + 163.623. Which is bigger: p or 0.1?
p
Suppose 0 = 4*q - 8, 12 = -4*c + 4*q - 4. Is c >= -5?
True
Let a = 3/49 + -31/49. Let u be 2/(-9) + (-13)/(585/80). Are a and u equal?
False
Suppose -r - r = -2*q - 6, -2*r + 3*q = -5. Suppose -r*t - 2 = -2*a, 0 = t - 0*t - 2. Suppose 3*w = a*p - 12, w + 4*p = -p + 16. Which is bigger: w or -1/18?
w
Suppose 3*w - 2*w - 40 = 0. Let m = -25 + w. Which is smaller: 16 or m?
m
Let s be 3 + 1 - 2 - (5 - 3). Is s at least -2/975?
True
Let h = 443.23 - 428. Let k = h - 0.23. Let u = 9 - k. Do 0.2 and u have different values?
True
Let d be 8/(-14) + 32/(-336). Are 51 and d non-equal?
True
Let b be (7/9590)/((-3)/(-12*1)). Let w = -411959647667/117135 - -31652681/9. Let x = b + w. Which is greater: 0 or x?
0
Suppose 0*g - 3*z = -4*g + 11, -17 = 2*g + 3*z. Which is bigger: g or -5/62?
-5/62
Let g(u) = u**3 + 5*u**2 - 4*u - 1. Let m be g(-4). Let b = m + -43. Is 0 less than b?
False
Suppose 19 - 23 = -y. Suppose y*w - 15 = 3*l, -14 = -4*w - 5*l - 39. Which is smaller: w or 3/13?
w
Suppose y - 2*v + 3 = 1, 2*y = -2*v - 16. Let p = 22 - 20. Suppose b = 3*m - 8, -p*b = -3*m + 9 + 1. Is b at most y?
False
Suppose -2*w = -3*f - 2*f - 18, 22 = 5*w - f. Suppose 2*d - 22 = 4*a + w, -d = 3*a + 12. Let z = -3 - 3. Is a < z?
False
Let v(c) = -2*c - 9. Let y be v(-4). Let w = 36/23 - 371/46. Let z = w - -6. Which is smaller: z or y?
y
Suppose 0 = -r + 5*a + 1179, 61*r - 3*a = 64*r - 3627. Which is smaller: 1205 or r?
r
Let h = 16 - 16. Suppose 8*x - 55 = -5*w + 3*x, h = -5*w + 2*x + 48. Suppose 3*g + w = g. Do g and -5 have different values?
False
Suppose -5*f = x + 25, -22*f + 26*f = -x - 20. Which is smaller: x or -2/221?
-2/221
Let j(p) = p**3 + 4*p**2 + 7. Let t be j(-5). Let v be t*4/(-42) + -2. Suppose -5*k - 4*n = -6, 5*k - 3 = -2*n - 5. Is k <= v?
True
Let s(b) = b**2 + b - 23. Let y be (-4)/((-20)/15) + 2. Let q be s(y). Which is smaller: 8 or q?
q
Suppose 1066 + 500 = -3*i. Let h = i + 10960/21. Suppose v = 2*v. Is v greater than h?
True
Let u be (12/4*1)/1. Suppose 5*j - u*p = -684, -3*j - 5*p - 255 = -j. Let q = j - -1349/10. Is q bigger than 0?
False
Let g = 254 - 253. Let k(l) = l - 2. Let x be k(5). Suppose 2 + g = x*r. Is 1/6 at least as big as r?
False
Let t = 0.03 + 0.57. Let v = 0.1 - t. Let w = -164.9 + 165. Do v and w have the same value?
False
Suppose 3*w - 5*v = -0*w - 17, -4*w + 4*v - 28 = 0. Suppose 4*r + 9 = o, 0 = o + 5*r - 3 - 6. Let c = w + o. Which is bigger: c or -2/3?
c
Let y = -102 - -102. Suppose 3*z - 29 - 16 = y. Which is smaller: -3 or z?
-3
Let d = 108821416/215 + -506147. Let f be -10*(-2)/645*-9. Let m = d - f. Is m not equal to -2?
True
Let c(v) = v**2 - 14*v + 108. Let z be c(17). Is 157 less than z?
True
Let z(b) = -b**3 - 17*b**2 - 15*b + 14. Let d be z(-16). Suppose 5*n - u + 735 = 0, -2 - 3 = -u. Let w = -591/4 - n. Do w and d have the same value?
False
Suppose -6*l = -0*l - 48. Suppose 4*f - 12 = -l. Which is bigger: f or -1/90?
f
Suppose -3*k - 5*r + 26 = -0*k, 5*k + r - 14 = 0. Let u(c) = -c**3 + 5 - 8*c**2 + c + 4*c**k + 0*c**2. Let i be u(-4). Are 4/5 and i non-equal?
True
Let f be (-1 + 43/39)/((-1998)/81). Is 1 equal to f?
False
Let r = 5.15 + 0.95. Let t = r + -6. Is -0.11 less than t?
True
Let u be 4 + -1 + (-10)/1. Let k = 17 + u. Suppose -6 = -7*f + k*f. Which is smaller: -3/5 or f?
f
Let c be 30/285 + (-688)/38. Which is smaller: -27 or c?
-27
Let z = 1694 + -1676. Is 33 bigger than z?
True
Let c be ((-7)/((-63)/(-24)))/(1/36). Let b = 106 + c. Is 11 bigger than b?
True
Let m = 373052 + -493547728/1323. Let u = -2/189 + m. Are -1 and u equal?
False
Let w be (-8)/(-4) + -2*(2 - -2). Let d be 25/(-10)*w/15. Which is smaller: -0.1 or d?
-0.1
Let m = -8474 - -1076192/127. Are m and 1 nonequal?
True
Let l(w) = -w**3 + w - 11. Let k be l(0). Let a be 2/4 - k/(-2). Let t be a/20 + (-3)/12. Which is smaller: 0.2 or t?
t
Let f(j) = 29*j**2 + 11*j - 8. Let u be f(2). Is 130 at least u?
True
Let l(v) = -5*v - 21. Let z be -2 - ((-186)/(-14) + 10/(-35)). Let g be l(z). Which is smaller: g or 55?
g
Let i be -1 + (4 - (2 - 0)). Let t be 121*(i - 5 - -3). Let s = t - -849/7. Is s less than -1?
False
Suppose -2*z + 16 = 2*z + b, 4*b + 16 = 0. Which is smaller: z or 25/6?
25/6
Let b be ((-26)/(-390))/(1/2). Do b and -11 have the same value?
False
Let d be 9/2*(12 - 1196/117). Let u = 2 + -1. Is d at least as big as u?
True
Let a = 4.511 + -4.53. Is a < 7?
True
Suppose -f = 5*h - 2*f - 8, 4 = 4*h - 2*f. Suppose 5*j - 95 = 5*o, h*o = -5*j - 3*o + 55. Which is smaller: j or 14?
14
Suppose 0*c = k + 5*c - 14, 0 = c. Let l = k - 14. Let i = -0.2 + -0.2. Which is bigger: l or i?
l
Let y = -46 - -45.94. Let h = 3.01 - 3. Let k = y - h. Is -1 > k?
False
Let u = -591 + 596. Which is bigger: -1/6 or u?
u
Let k = -3868 + 58052/15. Is -2/17 bigger than k?
False
Let j(t) = t**3 - 3*t**2 + 3. Let i be j(3). Suppose -i*u + 5*u = 0. Is u greater than 3/8?
False
Let b = 170340049537/1417029119176 + -66326/553031. Let r = -2/2647 - b. Let f = -8705/6776 + r. Which is greater: f or -2?
f
Let o = -67 - -209/3. Which is smaller: o or -2/11?
-2/11
Let k be (-2 - -2) + 86 + 0. Let s = -106 + k. Is s > -22?
True
Let y be (-8)/12*18/(-4). Suppose -1 = 2*k - 3*m, k + 5*m = 5*k - y. Suppose 0 = -2*j + k + 17. Is 12 != j?
False
Let t = 675 + -674. Which is bigger: 7/16 or t?
t
Let w = -554 - -572. Suppose -5*a = -a - 68. Which is smaller: a or w?
a
Suppose 0 = -3*k - 9, 5*z = 2*z + 2*k - 18. Let i be (-96)/(-5) + z/40. Let q = i + -13. Which is greater: 5 or q?
q
Let r be (8/(-404))/(18 - 7). Is 0 bigger than r?
True
Let q = -0.52 - 2.58. Let b = 2 + q. Let x