 have the same value?
False
Let b be (8/560*(-28)/(-1491))/(2/3). Which is greater: 0 or b?
b
Let b = -796244/7 + 113466. Is -284 > b?
False
Let l = -4.68 + 33.38. Let h = l - 22.5. Which is bigger: h or 2?
h
Suppose -4*w - l + 28 = 0, 0*l + 4*l - 8 = -3*w. Suppose -9207 = w*a + 3489. Let t = 20641/13 + a. Is 1 less than or equal to t?
False
Suppose 6 = 3*t, 2 = 2*w + 2*t - 8. Suppose 2*m - 3*x + 2*x + 12 = 0, -2*m - 12 = -w*x. Let a = 75264 + -677432/9. Do a and m have the same value?
False
Suppose 16 = -3*q + q. Let f be (-6)/q - 1795/20. Let m(c) = -7*c**2 + 5*c + 3. Let i be m(4). Is i greater than or equal to f?
True
Let q = 3/230 - 469/690. Is 405 less than q?
False
Let g = 18316 + -15763. Which is smaller: 2552 or g?
2552
Let q(w) = w**3 - 7*w**2 + 6*w - 7. Let x be q(6). Suppose 15*k = 26*k - 88. Suppose 0 = 3*p - 3*c + 30, -k*p = -3*p + c + 38. Which is bigger: x or p?
x
Let x = 30697 + -30696. Let u be 2 - (1071/2236 + 2). Let q = u + 3/172. Which is smaller: x or q?
q
Let w = 501 - 411. Suppose 3*r - 15 = 0, -t - 3*r + w = r. Which is bigger: 69 or t?
t
Let a = 136 - 198. Suppose 2431 + 397 = -4*u - 4*g, 2*u - 4*g = -1432. Let h = u - -648. Is a < h?
False
Let k = 17 - 11. Suppose -w = -5*w - 4, -5*u + w + 11 = 0. Let g be u/k - ((-13)/(-3) + 2). Which is bigger: g or -5?
-5
Let q = 19889/41667 - 8/2193. Let z = 3 + -4. Which is bigger: q or z?
q
Suppose -2*l + v + 142 - 6 = 0, -v - 334 = -5*l. Let t = 1.6098 + -1.5098. Does l = t?
False
Let h = 5714/21 - 272. Let m be (-1)/(2 + ((-513)/30)/9). Let x be ((-2)/(-4))/(m/20). Which is smaller: h or x?
x
Let h(g) = -2*g**2 - 21*g + 292. Let y be h(8). Let x be 2 - 1*(-3 - 1). Which is smaller: y or x?
y
Suppose -10*c - 16304 = -3947 + 7123. Is -1947 smaller than c?
False
Let w(p) = 16*p**3 - p**2 - 5*p + 6. Let n be w(4). Suppose n = -t + 984. Do -108/11 and t have the same value?
False
Let y be (-126)/68 - (37 + 38100/(-1020)). Let l = 0 - 3. Is y >= l?
True
Suppose 0 = -2*r + p + 2, -2*r + 18 = 2*r + 5*p. Let b be r - -24*(-16)/12. Let q be 3/b*120/(-32). Which is bigger: -1 or q?
q
Let y = -1988 - -1762. Which is greater: y or -907/4?
y
Let c(v) = -v**3 - 109*v**2 + 159*v + 5389. Let u be c(-110). Which is greater: 6/1609 or u?
6/1609
Let x = 88 + -85. Suppose -4*q + 2 = 3*j - 37, -x*q + 27 = 2*j. Are 15/2 and j non-equal?
True
Suppose 0 = -8*p - 4020 - 17188. Let c = p + 15803/6. Let t = -65/3 - c. Are t and 1 non-equal?
True
Let a be (23 - (-4)/(-2))*17/(-51). Let s(r) = -r - 7. Let p be s(a). Suppose 7*z + 107 - 373 = p. Is 37 at most z?
True
Suppose -3*g - 3*j - 78 + 3 = 0, 5*g = -3*j - 125. Let z = -190 + g. Do -214 and z have different values?
True
Let t(j) = -j**2 + 4*j - 1. Let f = 26 + -25. Let u be t(f). Suppose -u*o + 0*o - 4 = 0. Which is smaller: o or -3?
-3
Let a be -23*4/(-12 - -8). Which is greater: 404/17 or a?
404/17
Let l(u) = 3*u + 130. Let m be l(-6). Let i be (m/805)/((-8)/20). Suppose -5*d - 12 = -3*r - 0*d, 15 = -5*d. Which is smaller: r or i?
r
Let a be 28/16 + -2 + (-5635)/(-28). Suppose 5*p - 5*b - 330 = 0, -2*b + 6*b = 3*p - a. Are p and 62 equal?
False
Let d(x) = -2*x + 2. Let c be d(1). Let g(a) = -a**3 - 16*a**2 + a - 8. Let r be g(-16). Let v be ((-54)/(-56))/((-9)/r) + -2. Which is smaller: v or c?
c
Let g = -1449 - -1454. Suppose 0*l - 6 = 2*v + 4*l, 0 = -v - 4*l - 11. Suppose 2*f + 13 = -v*j - 3, -5*j = g*f + 40. Which is smaller: 3 or f?
f
Suppose -3568 = -m - 3568. Is 49 < m?
False
Let i = 4409242259/2446773450 + 1/47975950. Let f = i - 2/969. Which is smaller: 3 or f?
f
Suppose 5*x - 37 = h - 0*h, -2*h + 17 = 3*x. Suppose 5*u = -5*n - 30, 3*u = n + n + x. Let j be (-2)/((-38)/((u + -1)*1)). Do 1 and j have the same value?
False
Let i = -8348/115257 + 5/1119. Let s = 683/2472 + i. Is 3 < s?
False
Let r = -5656 - -6356. Is r equal to 694?
False
Let n be (-7 + (-702)/(-10))/(6/(-765)). Which is smaller: -8059 or n?
-8059
Let r be 1 - 45/(-27)*6*458/(-5). Which is greater: -913 or r?
-913
Let s = 1456 + -100466/69. Let g = 588197261/2415 - 243560. Let n = s - g. Is 1 at least as big as n?
True
Let j(m) = -m**2 - 6*m - 55. Let o be j(-5). Let v be 0 + 0 - (-2 - 170/o). Which is bigger: 1 or v?
1
Suppose -12 = 12*x - 9*x. Let j be 23*-1*(x - -5). Let l = 24 + j. Which is greater: l or -2/5?
l
Let n = 19921/11571 - 50/29. Are n and -1 nonequal?
True
Let u(g) = 7*g**3 + 2*g**2 - 12*g + 1. Let l(d) = 15*d**3 + 4*d**2 - 24*d + 2. Let v(q) = -6*l(q) + 13*u(q). Let p be v(-5). Do p and -38/3 have the same value?
False
Let p = -3.44 - 72.66. Let l = -65 - p. Let f = l - 11.16. Is f at least as big as -1?
True
Let o(h) = -h**3 + 7*h**2 + 20*h - 13. Let u be o(9). Suppose -2*g + 7*g - 44 = -2*b, -2*b = -u*g + 56. Let t be -2 + 0 + (13 - 1). Is g bigger than t?
False
Let s be 68/16 - (-3)/(-12). Suppose -24 = -g + 5*t, s*t = -0*g - 2*g + 62. Let p be (-3)/((3 + 0 - g)/1). Is p < 0?
False
Suppose 3*j = 3*x - 3 - 0, 0 = -2*j - 4*x + 28. Suppose 0 = -2*h - 5*g - 0*g + 487, 0 = j*h + 3*g - 939. Let t be (-3)/6 + h/(-14). Which is smaller: t or 0.1?
t
Let c be 1986190/(-496506) + (8/(-1))/(-2). Which is smaller: c or 1?
c
Let i be (273/(-650))/((-102)/(-85)). Which is smaller: i or 2?
i
Suppose -19*l + 18*l = 0. Let x be (-4)/(1 - (0 + l)) + 2. Let z be 80/x*1/(-2). Is 20 >= z?
True
Let d = -1959.14 - -1959. Is -0.12 <= d?
False
Let n = 112.3 + 0.7. Let w = n - 84. Is 1 <= w?
True
Let j = -4370.0135 - -4370. Is 1/7 greater than j?
True
Let g = 163/282 + -15935/1833. Is g < -7?
True
Let n = -30674 - -30678. Is -1446 < n?
True
Let h = -351 + 332. Let i = h + 25. Which is smaller: i or -1/2?
-1/2
Let d be (268 - 268) + (1155 - -1)*(-42)/(-20). Which is smaller: d or 2427?
2427
Let n = 7283/967470 + -18/1897. Which is greater: n or 1?
1
Let z = 3978 - 3471. Which is smaller: -3 or z?
-3
Suppose 23*u + 12 = 20*u, -1309 = -5*y - 4*u. Let x(f) = 2*f**3 + 3*f**2 - 11*f - 6. Let d be x(5). Is d > y?
False
Let p(c) = c**3 - 6*c**2 - 21*c + 97. Let q be p(7). Which is bigger: q or -2/3711?
-2/3711
Let z = -12.3 + 17.5. Let y = z + -4.7. Let p = -10 + 6. Is p < y?
True
Let h = -1.026 - -0.826. Let o = 10.25 + -9. Let l = o - 1.3. Is h less than or equal to l?
True
Suppose -17*a + 39 = 56. Suppose 9*s = 10*s - 6. Suppose 8*v = s*v. Which is smaller: v or a?
a
Let m = -64345/39 - -1650. Suppose -q - 91 + 87 = -5*a, 0 = 3*a - 4*q + 1. Which is smaller: m or a?
m
Suppose 3*i = -12, 3*s - 3*i = s + 188. Let n be (s/(-33))/(8/(-156)). Is 0.3 >= n?
False
Suppose -3*u - 5*d = -11 + 57, 3*u + d + 38 = 0. Let z = -66.199 - -62.199. Do z and u have the same value?
False
Let g be 39/((136/24)/(-17)). Which is bigger: 5 or g?
5
Suppose -23 - 203 = 3*c + 4*p, 5*c - 4*p + 334 = 0. Let a = c + 77. Let l be ((-9)/630)/(6/a). Which is smaller: l or -1?
-1
Let x be 48/(-4)*-27 + -2 + 5. Let f be 0/4 - (4 - x). Is f greater than 323?
False
Let q(b) = -b. Let n be q(2). Let j = -161.83 + 8.83. Which is greater: j or n?
n
Suppose -3*y - 16 = y + 5*s, 24 = 4*y - 5*s. Let g be -4 - (-2 + ((-278132)/(-588) - 0)). Let j = g + 475. Is y < j?
False
Suppose 9370 = -4*r - 5050. Let q = -10723/3 - r. Let g = -31 + q. Are g and 3/23 equal?
False
Let a(r) = 3*r**3 + 2*r**2 + 3*r + 3. Let k be a(-4). Let d = -496063 - -495893. Is d bigger than k?
False
Let d(i) = -i**2 - 10*i - 9. Let x be d(-9). Suppose x = -3*o - 168 + 249. Suppose -55 - 61 = -4*v. Is v < o?
False
Suppose -4*u - 10*p + 11*p + 11 = 0, 0 = 3*u + 4*p + 25. Which is smaller: 3/1690 or u?
3/1690
Let z = -3605 + 3620. Which is smaller: z or 50?
z
Let l be -29*9 + (-15)/20. Let i = l + 258. Let a = -8 + 10. Is a equal to i?
False
Let v = -0.8 - 0.2. Let l = 250296 - 47056067/188. Let b = 1/47 - l. Is b less than or equal to v?
False
Let q(w) = w - 9. Let f be (-216)/(-28) + 2/21*3. Let j be q(f). Let a be (-1)/j - (-1 - -2). Which is smaller: -2/5 or a?
-2/5
Let r = 12493.708 + -12494. Which is smaller: 13 or r?
r
Let x be (-147)/15 - (-2)/(-10)*1. Suppose -2*a = -a - 7. Suppose 3*o = -a - 20. Are o and x nonequal?
True
Let c(k) = 13*k**2 - 175*k - 1. Let t be c(13). Is 28 at most as big as t?
False
Suppose 399 = -f - 1. Let y = -260 - f. Suppose 0 = 45*u - 41*u + y. Is u smaller than -35?
False
Suppose 33967 - 36409 = 2*q + 9*q. Which is greate