equal to -2/5?
False
Let l = 30 + -59/2. Suppose -3*k = 5*q - 78, -k + 2*q + 16 = 1. Let z be 4 + (-7)/(k/9). Is z > l?
True
Let c = 273 + -271. Which is bigger: 250 or c?
250
Suppose -t - 45 = -5*x + t, -4*x + 2*t + 38 = 0. Let h(a) = a**3 - 7*a**2 - a + 9. Let g be h(x). Is 2/3 at most as big as g?
True
Suppose 0*l = 2*j - l + 36, 3*j + 5*l = -41. Let a = j + 3. Let i be 1/2*(-7)/a. Which is smaller: i or -1/4?
-1/4
Let q = 362 + -368. Is q at most 2/3?
True
Let j be ((-3)/(-36))/(5/(-20)). Which is bigger: j or 86?
86
Suppose -6*t + 41 = 23. Suppose -t = 2*l + 5. Does l = -6?
False
Suppose d + 5*x - 18 = -d, 4*d + 20 = 4*x. Let m = 9 + -12. Let h be (-1)/(42/9 + m/(-9)). Which is smaller: h or d?
d
Let m = -307 - -733. Which is bigger: 425 or m?
m
Suppose -g = 4*i - 34, -i = -2*g + 9 + 14. Suppose 5*f = 2*f - 120. Let x be (-3)/4 - 630/f. Which is bigger: x or g?
x
Suppose 3*x + 4 = -2*t + 5, -4*x + 2*t = 8. Let q be (-218)/(-132) + 4/22. Let o = q + -2. Which is smaller: x or o?
x
Let h(g) = g**2 + 4*g - 252. Let u be h(14). Which is smaller: -7.5 or u?
-7.5
Let p be (-2697)/290 + (-1)/(-2). Which is bigger: p or -10?
p
Let n = -20 + 20.35. Let d = n + -3.35. Which is bigger: d or -2/11?
-2/11
Let v = -41 - -42. Let h be (-1 - v) + 12/5. Is -4 smaller than h?
True
Suppose -77*i - 910 = -72*i. Which is smaller: -184 or i?
-184
Let k = -27 - -21. Let w be (k - -3) + (-2 - -11). Is w equal to 36/5?
False
Let m = -1.8 + -0.8. Let i = 3.6 + m. Which is smaller: -0.3 or i?
-0.3
Let z(a) = a**3 + 7*a**2 + 6*a - 3. Let c be z(-5). Suppose -1962 = 694*g - 803*g. Are c and g equal?
False
Suppose 0 = -3*f + 4*a - 14 + 133, 61 = f + 4*a. Let b be 915/f + 4/6. Let j be (-99)/b + (2 - -1). Which is smaller: 2/3 or j?
j
Let c = -1.909 + 1.9. Let p = c + 20.009. Let j = p + -24. Is j at least as big as -1?
False
Let i(r) = -r + 17. Let d(b) = 3*b**2 + 1. Let v be d(-2). Let s be i(v). Which is smaller: s or 6?
s
Suppose 3*x - u - 23 = 0, 5*x - 25 = -0*u - 5*u. Let r be (-4)/(-8) + (385/(-2))/x. Is r at most as big as -27?
True
Let o = 1226 + -2435/2. Which is smaller: o or 9?
o
Let i = -27 - -10. Let a be (-40)/i - (-2 + 4). Are a and -1 equal?
False
Let d = -2 + 4. Let k(l) = -l**2 - 34*l - 264. Let w be k(-12). Is w equal to d?
False
Let x = 4.79 - 4.6. Let w = x - -0.01. Which is bigger: w or -3?
w
Suppose 0 = x + 5*k - 53, -x + 0*x + k = -83. Let i = x - 78. Are 3/8 and i nonequal?
True
Let s = 4341/31 + -140. Let t = s - -28/93. Suppose -19*i = 21*i - 45*i. Which is greater: t or i?
t
Let h = 374 - 1138/3. Is h >= -9?
True
Let z = -11 - -13. Let v be 4 - (1 + (z - 3)). Suppose 3*a = -v*r, 4*r = -0*r. Is a smaller than 0?
False
Let i = 41843/1794 - 653/46. Let s = 118/13 - i. Which is smaller: 0 or s?
s
Let r(z) = -4*z + 70. Let b be r(13). Is b at most as big as 130/7?
True
Let h = 9.9 + -5.9. Let f = h - 4. Which is smaller: -0.001 or f?
-0.001
Suppose 5*x - 3179 = 1111. Let m = x + -63493/74. Which is smaller: 0 or m?
m
Let t = 87 + -84. Suppose -2*p - p + 4*a - 96 = 0, -t*a + 27 = -p. Which is smaller: -34 or p?
p
Let c(m) = -176*m + 2. Let i be c(1). Let j be (-2 - i/28) + -4. Is 1 greater than or equal to j?
True
Let q = -53/75 + 1/25. Which is greater: -2 or q?
q
Let g = 11 - 11.09. Let d = 19.87 + -18.6. Let t = 0.27 - d. Is t at most g?
True
Suppose 0 = -3*t - 2*u - 7, -3*u = -8*t + 9*t + 14. Is 286/9 >= t?
True
Let r be -2*(-2524)/724 + -7. Which is bigger: r or 0?
0
Let x be -10 - -8 - (-14)/12. Let l = -57 + 33. Let m be (-20)/32 + 9/l. Is x != m?
True
Suppose u - 306 = -2*u. Let b = u - 1732/17. Which is greater: 1 or b?
1
Let j be (-10 - 0)*8/16. Let h(k) = -3*k - 4. Let q be h(j). Let a = q + 6. Are a and 16 non-equal?
True
Suppose -4*s - 5*z + 6 = 0, 5 = 3*s + 2*z + 2*z. Let o be (-280)/(-546)*(-6)/4. Is o at least s?
True
Let o(v) = v + 8. Let h be o(-11). Let x be -4*(h + (-76)/(-24)). Let b = -75 - -75. Is x at most as big as b?
True
Suppose -494 = 3*m + 307. Is m < -1?
True
Let f be ((-26)/(-6))/((-3)/(-9)). Suppose -b + f = -13. Does b = 27?
False
Let a = -458 - -437. Which is greater: -12 or a?
-12
Let g(p) = p**3 - 4*p**2 - 4*p - 3. Let b be g(5). Suppose -5*w + 15 = -b*w. Suppose 3*y = -0*y + 18. Which is smaller: w or y?
w
Suppose -4 = 4*p - 2*r, -6 = p - 0*p + 2*r. Let m be (-16)/(-1100)*5/p. Suppose 15*o = 13*o + 2. Is o < m?
False
Let a be 4/(-5)*1125/(-130). Which is greater: a or 6?
a
Let w = -1402/3 + 468. Which is smaller: 42/5 or w?
w
Suppose -8*w + 19*w - 11 = 0. Suppose -k = -1 - 4. Which is smaller: k or w?
w
Suppose -6*h - 26 = -r - 5*h, -2*r = h - 49. Let a = 99/4 - r. Is a equal to 6/31?
False
Let a be (-3*(-2)/(-32))/((-7)/(-84)). Let t = 457/174 + -5/116. Let x = t + a. Is x > -1/6?
True
Let s be (-2)/6*3/((-7)/7). Which is smaller: s or -2?
-2
Let z = 0.0304 - 11.0204. Let q = z + 11. Let p = q - 2.01. Which is smaller: p or -2/7?
p
Let i = 3 + -3. Suppose -q - 3*q + 20 = i, 4*f - 3*q = -7. Suppose -f + 8 = 6*l. Which is bigger: l or -3/8?
l
Let r be ((-4)/5)/((-28)/(-1120)). Let b(o) = -o - 22. Let z be b(r). Suppose -26 = -3*w + f, 2*w + 5*f - 9 = -3. Are z and w non-equal?
True
Let o be 6/12*0*((-3)/1 + 4). Let r = -10418/2507 + 96/23. Which is smaller: r or o?
o
Let k(p) = -p**3 + 6*p. Let l be k(0). Which is smaller: -18/161 or l?
-18/161
Suppose -3*h + 2 + 13 = 0. Suppose -24 = -h*i + 6. Suppose -2*w = 5*x - i, -2*w + 0*x - 6 = -x. Which is bigger: -3/2 or w?
-3/2
Let g = 9/83 - -749/747. Let y = -46/343 - -25394/15435. Let m = y - g. Is m > -1/28?
True
Suppose -b + 8 - 26 = 0. Let w be ((-4)/b)/(26/39). Let m be -4 - -3 - 4/(-5). Which is smaller: m or w?
m
Let f be (114/15)/(4/(-20)). Let y be 1 - (2 - (-26)/(-1)). Let n = y + f. Are n and -12 non-equal?
True
Suppose 0 = 57*x - 38*x + 20976. Is -1104 equal to x?
True
Suppose 8*j + 3504 = -16*j. Are j and -2 unequal?
True
Let a be 0/(-3)*1 + 40. Suppose -t - 4*t + a = 0. Let g be 0 + (-3)/t + 0. Which is smaller: g or -1?
-1
Let b(j) = -j**2 - 9*j - 2. Let t = -26 - -18. Let u be b(t). Let r = -5 - -9. Are r and u nonequal?
True
Suppose 7*w - 11 = 311. Suppose -w = 4*v - 14. Which is greater: -1 or v?
-1
Suppose 3*n - 7 = -a, 0 = -5*a + 2*n + 2*n - 3. Suppose 2*f + 69 = -f. Let b be (f/5 - -4) + 1. Which is bigger: a or b?
a
Let l(n) = n**3 - 5*n**2 - 5*n - 11. Let c be l(6). Let o be 1 - 1*(-3)/c. Let v = 4.7 + -5. Which is smaller: v or o?
v
Suppose -10 = -a - 278*n + 276*n, 0 = 5*a - 5*n - 35. Which is greater: -4 or a?
a
Let q(u) = u**3 - 3*u**2 - 12*u + 7. Let s be q(5). Let y be (-1)/((-3 + 0)/s). Is -1/18 bigger than y?
True
Let w(g) = 10*g + 2. Let q be w(-3). Let r = 29 + q. Is r != 1/2?
True
Suppose -3*d = -14*d - 6 - 423. Let k(u) = 10*u + 1. Let s be k(-4). Are d and s equal?
True
Suppose -11 + 731 = -10*q. Which is smaller: q or -70?
q
Suppose -9 = n - 24. Let o be (-121)/85 + 9/n. Let u = o - -664/765. Is u at most as big as 1?
True
Let i be 51*((-156)/18 - -10). Which is smaller: 61 or i?
61
Let g be (-2)/4 - 44/(-8). Let r(i) = 64 + i**2 + 64 - 123 - 6*i. Let w be r(g). Which is greater: -1 or w?
w
Suppose -13 = -0*a - 4*a - z, 2*a + 3*z = 9. Let v be (1/3)/(4/216*a). Which is bigger: 4 or v?
v
Let t = 0.15 - 0.16. Let w = -0.04 - t. Let b = w - -0.33. Is b >= 0.5?
False
Let t = 291 - 4366/15. Suppose 0 = 6*r - 3*r. Suppose -2*y - 4 = -2*j - r*j, -4*j + 12 = 0. Which is greater: t or y?
y
Let l(y) = -y - 3. Let f be l(-5). Suppose 3*b - 8 = 2*h + 5, -f*h - 9 = b. Which is smaller: -2/113 or b?
-2/113
Let i = -58 - -50. Let x = -1 + i. Which is greater: x or -10?
x
Suppose -14 - 1 = -3*c. Suppose 2*v - v - c*l = -3, -l = -4*v - 31. Let a be 165/352*v/(-6). Which is bigger: 1 or a?
1
Let h be ((-6)/40)/(3402/(-144) - -18). Is -4 < h?
True
Suppose -4*b = -b. Let c be ((-8)/5)/(120/(-16)). Let s = c - -3/25. Which is smaller: b or s?
b
Let c = 8915/4 + -2217. Which is smaller: c or 12?
c
Suppose 625*q - 549 = 634*q. Which is smaller: q or 1.3?
q
Suppose 2*n + 3 = -5, 5*n = -3*c + 43. Is c greater than 30?
False
Let q = -43 + 43. Let b be 53/(-244) + 6/24. Which is smaller: b or q?
q
Let z be ((-26)/(-3))/(2/3). Let d(c) = 3*c + 17 + 17 - 14 + 5. Let p be d(-4). Is z less than p?
False
Let j = 28 + -57/2. Let p be (-1 + -1)/(-4)*30. Supp