Let c = 1102/1917 - 4/71. Is -1 at least as big as c?
False
Let q = -70 - -117. Suppose 6*y = 8*y - 92. Are y and q nonequal?
True
Let u(d) = -d**2 - 2*d + 7. Let h be u(-4). Which is smaller: h or 2/69?
h
Suppose 0 = -3*k + 5*w + 742, -4*k + 4*w - 3*w = -978. Which is smaller: k or 245?
k
Let w = 2/2635 + 4864/534905. Let q be 6/27 - 22/36*2. Which is bigger: w or q?
w
Let v be (-4)/(-14) + (-9)/7. Suppose r + 4*t = 12, -7*t = -9*t + 6. Let w be r + v + 1 + 0. Is w >= 2/17?
False
Let f be (36/(-8))/(-3 + 330/48). Which is bigger: f or -1?
-1
Let d be 5/(-10) - ((-303)/(-6) - 2). Is d equal to -47?
False
Let c = 40 - 36. Let l(a) = 2*a - 12. Let i be l(8). Suppose 2 = g - 2*m - 0*m, 0 = -2*g - m + i. Which is bigger: g or c?
c
Let d(x) = -7*x + 49. Let f be d(9). Let t = f + 23/2. Are -2 and t nonequal?
True
Suppose -5 = 5*u - 5*t, -3*u - 21*t = -20*t + 3. Is u >= -167?
True
Let v be (-2)/30*(310/20 + -13). Is v greater than -96?
True
Let n be 2/(-9) - 332*(-3)/(-135). Which is greater: -7 or n?
-7
Suppose -3*k + 4*k + 2 = 0. Let f be ((-16)/(-4) - 5)/((-1)/(-1)). Let d be (-2 - k)*f/(-2). Which is smaller: 2/7 or d?
d
Let c be (-6)/4*16/(-12). Suppose 0 = -8*x + 105 - 81. Are c and x unequal?
True
Let h = 348 + -376. Which is greater: -20 or h?
-20
Let h(u) = u**2 + 2*u. Let v be h(0). Are -2/791 and v nonequal?
True
Suppose -20 - 4 = 3*q - 4*b, -4*q = 2*b + 54. Let d be (-9)/q - 10/15. Is 1 >= d?
True
Let o be (35/(-52360))/(9/12). Which is smaller: 1 or o?
o
Suppose -4*p + 8 = -40. Suppose 4*t + 4 - p = 0. Suppose 4*v = -t*k - 22, -4*v + 7*k = 3*k + 40. Are v and -6 equal?
False
Suppose -v + 4*v = -39. Let j = 5.03 - 5. Let c = -1.03 + j. Are v and c equal?
False
Let o = -25 - -31. Let m = o + -5.3. Let k = 0.97 + 0.03. Which is greater: k or m?
k
Suppose -4*o = -5*r - 45, 2*r + 2*o - 25 = 5*r. Let c be ((-2)/(-3))/((-14)/(-588)). Let k = 23 - c. Is k not equal to r?
False
Let o = -1913 + 1914. Let k = -25.92 - 0.08. Which is greater: o or k?
o
Let o(b) = b**3 + 5*b**2 - 6*b + 1. Suppose 0 = 2*m + 6 + 6. Let k be o(m). Which is smaller: k or 0?
0
Let x = 47 + -51.7. Let s = x - -4. Is -3 equal to s?
False
Let j be (6/12)/((-1)/292). Let y be ((-3)/(-3))/(j/6). Let u = -131/365 + y. Is u smaller than 2/7?
True
Let t(a) = 0*a**2 - a**2 + 0*a - 7 + 8*a. Let l be t(6). Let z(h) = h**2 - 12*h + 35. Let o be z(8). Which is smaller: l or o?
o
Let x be (-112)/(-1260)*(-10)/(-12). Let l(u) = -u**2 + 3*u + 4. Let o be l(4). Let d = 1 + o. Which is greater: d or x?
d
Let w(p) = p**2 - 14. Let v be -1 + 1 - (11 + -7). Let y be w(v). Let g = -4.9 - 0.1. Is y at least g?
True
Suppose 30 + 60 = 2*h. Suppose 0 = 4*m - h - 19. Is -2 at least as big as m?
False
Let y = 0 - 8. Let i(w) = 5*w + 13. Let r be i(y). Let a = r + 20. Which is bigger: -5 or a?
-5
Suppose -2*q + 5*n = -10, q = -0*q + 3*n + 5. Let z = 4 - 14. Let k be -5*4*2/z. Do k and q have the same value?
False
Let x = -2 + 0. Let s be 12/((-942)/474 - -2). Let n = s + -8548/9. Is n != x?
True
Let f be (-1 + -5)*(-1)/2. Suppose f*s + 2*s = 0. Suppose 6*p + 4 = -8. Which is smaller: s or p?
p
Suppose -b = 2*j - 3, -4*j + 0*b + 11 = -3*b. Suppose j*f + 35 = -3*f. Suppose -2*t + t - y = 11, 4*y = -12. Which is greater: t or f?
f
Let r = -1.51 + 1.51. Which is smaller: -52 or r?
-52
Let a = 51.7 + -51. Let n = -0.3 - a. Is -3 smaller than n?
True
Suppose -107*c = -111*c + 1348. Which is greater: c or 338?
338
Let u = 12 - 9. Let b = -3.9 + -0.1. Let h = b + u. Is h > -1.9?
True
Let o = -2.645 + 2.8. Let n = -0.045 - o. Let u = -0.67 + 0.07. Which is greater: n or u?
n
Suppose -4*w = 3*j + 44, 0 = -3*j - 0*w + 3*w - 51. Let f be 9/12 + (-52)/j. Suppose 0 = -5*r + 9 + 1. Is r greater than f?
False
Let o be 6/8 + (-3)/6. Let a = -11.08 + 0.08. Let x = -13 - a. Which is smaller: x or o?
x
Let v = 621 + -629. Let z be (-1)/4 + (-69)/12. Which is bigger: v or z?
z
Let h be ((-72)/27)/(2/(-15)). Let s be 88/h + 12/20. Is 1 not equal to s?
True
Let s = 489 + -484.82. Let p = s + -4. Let w = 0.82 + p. Which is bigger: 1/3 or w?
w
Let g = 68 - 98. Let y = g + 31. Is -9 at most as big as y?
True
Let h = 291 - 276. Is 6 bigger than h?
False
Let c(u) = 5*u + 27. Let o be c(-5). Let m be o/(-8) + (-2)/(-8). Are m and 3/7 non-equal?
True
Let o be (2/3)/((-4)/(-6)). Let v(d) = -9*d. Let x be v(o). Suppose 54*a + 64 = 46*a. Which is greater: x or a?
a
Let g = 66679205/228 + -292458. Let r = g + 1/76. Does -5 = r?
False
Let i be 4*1/16*5. Let r = 2.9 - 3. Which is bigger: i or r?
i
Suppose -13*k + 4*x = -10*k + 812, -4*k - 3*x = 1066. Is -1870/7 at most as big as k?
False
Let o = 16.8 - -2.2. Let g = o + -10. Let y = g - 10. Which is greater: -0.4 or y?
-0.4
Suppose -g - 9 = -10. Which is smaller: 3/202 or g?
3/202
Let y = 1175 + -4705/4. Are -2 and y unequal?
True
Let t(i) = -2*i**2 + 44*i - 48. Let y be t(18). Which is greater: 98 or y?
98
Let h = -7.406 - -0.406. Which is bigger: h or -2/21?
-2/21
Let s = -12856/5 + 133707/52. Let b = 2563/52 - s. Let m = b - 49. Which is smaller: m or -1?
-1
Let g = 2.1 + -0.1. Suppose 0 = 6*t + 3*t - 99. Suppose v - t*v = 10. Are v and g equal?
False
Suppose -o = 2*q, 4*o + 4*q + 5 - 1 = 0. Suppose 5*l - 96 = h, 3*l = -0*l + 5*h + 40. Suppose 0 = l*d - 5*d + 15. Is d at least as big as o?
True
Let c(a) = a**3 - a**2 - 3*a + 1. Let q be c(0). Which is smaller: -8 or q?
-8
Suppose 0 = 3*j + 3*x - 6, -5*x - 3 = -2*x. Are 0.44 and j non-equal?
True
Let z(x) = x**3 + x + 37. Let w be z(0). Let l = 340 + -1698/5. Is l > w?
False
Suppose 14 = 31*d - 17. Let o = -8/13 + 192/143. Which is greater: d or o?
d
Suppose -27 - 189 = -36*j. Is j at least as big as 44/9?
True
Suppose -3832 = 2*k - 2*m, 3*k = 2*m + 2*m - 5744. Let d = k - -1304. Let r be (-3)/5 - d/360. Which is smaller: -2 or r?
-2
Suppose -6 = 2*u, -11*u + 204 = g - 10*u. Is g at most as big as 207?
True
Let s = 100 + -141. Let u = s + 49. Are 6 and u nonequal?
True
Let p = -847 + 847. Let b = 1/2006 - -88/1003. Is p bigger than b?
False
Suppose -3*a - 2*z - 212 = a, 116 = -2*a + 4*z. Let p = 36 + a. Which is smaller: -1 or p?
p
Let o = -20 - -20. Suppose o = -9*q + 6*q - 12. Let w = -32 + 27. Is q <= w?
False
Let j be 4/(-22) + (-220)/121. Suppose 2*u + 11 - 1 = 0. Let c(y) = -y - 7. Let i be c(u). Is i not equal to j?
False
Let y(n) = 17*n**2 + 12*n - 9. Let c be y(-3). Which is bigger: c or 107?
c
Let n = -31/3 + 9. Is n at least 0?
False
Let f = -93 + 123. Let i = -28.9 + f. Which is smaller: i or -0.1?
-0.1
Suppose 2*w + 0*w - i = 1, 3*w = -5*i - 5. Let x(m) = -m**2 - 10*m - 4. Let n be x(-7). Let y be n/26 + 1/(-2). Are w and y equal?
False
Let m = -10 + 15. Let n be -4*(70/(-5))/2. Suppose -t - m*r - n = -0*t, 2*r = -10. Do 1 and t have the same value?
False
Let c = 1 - 0.94. Let k = 0.94 + c. Let d = k + -2. Does d = 0?
False
Suppose 4 - 10 = -3*n. Suppose -4*q + y + 0*y - n = 0, -5*y + 10 = 0. Is -6/7 not equal to q?
True
Let q = 28 + -30. Let d be 3/(-6)*3*2*q. Which is smaller: d or 8?
d
Let w = 9400932448/105 + -89531992. Let r = w + -698. Is r less than 0?
True
Let t = 1.84 + -1.7. Let m = -1.55 + 2.59. Let b = t - m. Is b >= 0?
False
Let u = 11369/63 - 1263/7. Which is smaller: u or -1?
-1
Let h(k) = -9*k - 17. Let l be h(-7). Suppose 42*v - l*v = 8. Is -24/7 at least v?
False
Suppose 3*x = 4*b - 3*b - 57, -4*b - 24 = 2*x. Do x and 2/23 have different values?
True
Let o = 0.23 + 8.77. Let b = o + -8.8. Let i = -14 + 9. Which is greater: b or i?
b
Let z be -5*(1 - 0)/(-1). Let o = -6 + z. Let s be (2/10)/((-12)/72). Which is bigger: o or s?
o
Let j = -1560 + 1444. Which is smaller: -579/5 or j?
j
Let j = 22.3 + -22. Is -1.07 greater than or equal to j?
False
Let a = 5 - 41. Let d be 3/(27/2) + 2132/a. Is 1 at most d?
False
Let s be 0 + 2*-1 + -1. Let o(i) = 2 + 13 + i**2 - 20. Let n be o(-2). Which is bigger: n or s?
n
Let w be (-4 - -16)*2/(-3). Let s be (w/30)/(2/5). Let i(t) = 3*t**2 - t - 2. Let l be i(-1). Is s bigger than l?
False
Let r be -5 - -13 - ((-4)/(-2) + 1). Let j be 3/2*(4 + -2). Suppose 4 = 4*c, -r*l + j*c + 4 = 7*c. Which is smaller: l or -1/3?
-1/3
Let f(y) = -y**3 - 3*y**2 + 4*y + 3. Let q be f(-4). Let h be 260/(-78)*q/2. Which is bigger: h or -1?
-1
Let f be 4/24 - 1/6. Let p be 0 + 1/(-30)