t most w?
False
Let w = 33 + -27. Let k = w + -49/8. Are 1 and k unequal?
True
Let f = 130 - 40. Let o be (428/(-7))/(36/f). Let z = o - -152. Which is greater: z or 0?
0
Suppose -2*i - 33 = 5*j, -13*j + 17*j + 3*i + 25 = 0. Which is smaller: j or -3?
j
Let c(f) = 12*f + 11. Let v be c(-1). Is v at most as big as 2/71?
True
Let k be 324/(-48) + (-1)/4. Let s = 2.01 - 0.01. Let c = 0 - s. Which is greater: k or c?
c
Let f be 3/2*20/(-60). Let i = 0.32 - 0.3. Which is greater: f or i?
i
Let c = 451 - 449. Do c and -0.02 have different values?
True
Suppose 475 - 499 = 4*d. Suppose n - 2*c = -c - 7, -3*c + 26 = -4*n. Which is smaller: n or d?
d
Let o(k) = k**2 - 2*k - 7. Let v be o(3). Let w be 1*(-17 - -2 - v). Which is smaller: w or 0?
w
Let x = 101 + -53. Let m be ((-2)/25)/(x/60). Is 0 less than or equal to m?
False
Suppose r = -4*o + 726, -4*o + 364 = -2*o + r. Let t = o - 118. Is t smaller than 65?
True
Let b = 7.655 - -0.045. Let g = 3822 - 3821. Which is smaller: b or g?
g
Suppose -3*r - 3*p - 114 = 0, -3*p = r - p + 39. Let c = r - -38. Which is bigger: c or -27?
c
Let y(x) = -x + 1. Let l be y(-5). Let r be -1*(-24)/(5 + -2). Is r at most as big as l?
False
Let h(i) = -i**3 + 10*i**2 + 9*i + 14. Let o be h(11). Let p be (o/(-236))/((-6)/(-15)). Which is smaller: p or -1?
-1
Suppose 0 = -2*u + 3*m - 15, 0 = 5*u + 3*m + m - 20. Let o be 48/(-40)*(-10)/16. Which is smaller: u or o?
u
Let k be 4/14 - (-48)/(-266). Let q(h) = -20*h - 8 + 42*h - 24*h. Let l be q(-4). Is l at least as big as k?
False
Let r = 168 - 1514/9. Suppose -3*u - g = -4*g + 57, -g = 3*u + 53. Let j be 0/2 - u/27. Are j and r equal?
False
Suppose 8*l = 3*l + 2*r - 124, -l + r = 23. Is -21 greater than l?
True
Let f = 1097/7 + -157. Is f at most as big as -0.238?
True
Let g = -35.1 + -11.9. Let f = g - -47.02. Let c = 1 + -3. Are c and f equal?
False
Suppose -3*a + 5*v = 15 - 0, -2*a = -4*v + 12. Suppose a = -2*o - o. Let t = 2 + 0. Which is bigger: o or t?
t
Let w = 2225 - 1542. Does w = 1?
False
Let y(c) = -2*c**3 - 3*c**2. Let z be y(-2). Let k(s) = -1 + 2*s**2 + 2*s + 4 - 3*s**2 + 5*s**2 - s**3. Let t be k(z). Is 10 less than t?
True
Let v(t) = -2*t**3 + 10*t**2 + 13*t + 5. Let z(k) = k**3 - k**2 + 2*k + 6. Let y be z(0). Let d be v(y). Is 9 at least d?
False
Let n be 126/(-105)*(-10)/4. Let f be n/((-15)/55) - 1. Which is smaller: f or -10?
f
Let i = -960 + 1103. Which is greater: 7 or i?
i
Let q be 3/(1 + 4/8). Let j = 1 + q. Let n be 1*(48/(-14) + j). Is 0 greater than or equal to n?
True
Let k be -1 - ((-15)/4 - -2). Suppose -9*j + 14 - 95 = 0. Let r be (j/6)/(2*(-9)/24). Which is bigger: r or k?
r
Suppose -5*w = -4*s - 444, -w + 3*s = -59 - 21. Is w at most as big as 181/2?
False
Let p = 5.261 - 0.061. Let v = p - 5.3. Which is bigger: 21 or v?
21
Let k = 436759/22170 - 197/10. Which is greater: k or 0?
k
Suppose 9*o - 11 = 3*c + 5*o, 0 = -3*c - 2*o + 19. Which is bigger: c or 5/16?
c
Let i be (-3 + 7 - -3) + (-8)/2. Suppose 0 = -2*c + 6 + 2. Is c at least as big as i?
True
Let r = 32931/238 - 970/7. Which is smaller: 0 or r?
r
Let q(a) = 4*a - 17. Let d be q(4). Which is bigger: 1/1995 or d?
1/1995
Let n be 2/(4 + 7/(-2)). Suppose 0 = w + u - 7, -n*w + u + 0*u = -8. Suppose w*f = -0*f + 6. Are -2 and f equal?
False
Let l = -0.5 + 0.3. Let s = -1.29 + -82.71. Let z = 78 + s. Are z and l equal?
False
Let a be ((-6)/(-5))/((-3)/15). Let z(n) = -12*n + 4. Let p be z(2). Let t be 122/p - 4/10. Which is smaller: a or t?
t
Suppose 0 = 15*l - 517 + 1747. Is -83 at least as big as l?
False
Suppose 5*r - 4*y = 9*r, 0 = -2*y + 2. Which is greater: -11/43 or r?
-11/43
Let y(m) = 2*m - 8. Let w be y(8). Let s be w + -11 + -1 + 8. Suppose -4*c = s - 0. Is 1/8 >= c?
True
Let m = 1110 + -1110.01. Is m less than or equal to 0.4?
True
Suppose -2*r + 3 - 16 = 3*v, 20 = -4*v. Let y be ((-2)/(-144))/((-21)/(-28)). Does y = r?
False
Let m = -674/10379 + 15/214. Let v = m + -681/388. Let b = 67/52 + v. Which is smaller: b or -1?
-1
Let l = 2431 + -2486. Is l greater than 1?
False
Let m = -0.063 - -52.063. Let l = m - 52.1. Is l bigger than -0.01?
False
Let g(v) = -2*v + 0*v + 2 - 4. Let x = -262 + 260. Let n be g(x). Is n >= 1?
True
Let f be ((-8)/(-5))/((-16)/(-480)). Is 44 at least f?
False
Let t(h) = -h + 32. Let o(l) = l + 1. Let y(n) = -4*o(n) + t(n). Let k be y(6). Is 6 != k?
True
Let u = -9 + 15. Suppose -27 + u = m. Let x = 22 + m. Which is bigger: x or 1/10?
x
Let h = 33 - 48. Let i be (-16)/(-5) + 3/h. Is 24/11 != i?
True
Let u = 805 - 804. Which is smaller: 2/1881 or u?
2/1881
Let g = -1 - 11. Let f be (18/(-12))/((-9)/g). Is -2 < f?
False
Let d = 18/23 - 491/69. Suppose -c + 5 = -2*j, -39 = 5*j + 5*c + 11. Is d at least as big as j?
False
Suppose 0 = 5*l - 5, 5*d + 8 = 4*l - 6. Which is smaller: 21 or d?
d
Suppose -6*i + 11 = -5*i. Let q = 10 - 21. Let n = q + i. Which is bigger: n or 4/13?
4/13
Suppose 4*l = 3*f - 224, -3*f + l = 4*l - 252. Suppose 4*q - 2*t - f = 0, 3*t - 40 = 4*q - 6*q. Which is smaller: q or 21?
q
Let c = -24765 + 24763. Let m = 0 - 0. Let u = 1 + m. Is c > u?
False
Suppose -5*w - 122 = 3*y + 45, 0 = -y - 2*w - 57. Is -55 > y?
False
Let z = 0.1 - -0.9. Does -3 = z?
False
Let p(f) = -f**2 - 8*f - 6. Let x be p(-7). Let h(a) = 18*a**3 - 2*a**2 + 2*a - 1. Let y be h(x). Which is smaller: 16 or y?
16
Let z = -6999/5 - -1413. Which is greater: 2/11 or z?
z
Let q be 173/9 - (4 - (-68)/(-18)). Suppose -4*s = 4, -8*w + 3*s = -4*w - q. Is 3 greater than or equal to w?
False
Let d be 9/(-27) - 16/6. Let q be d/(-9) - (-2)/6. Let o be (((-15)/63)/5)/((-1)/6). Is q <= o?
False
Suppose 3*f + 33 = -3*u, 5*f = -u + 6 - 37. Let t be (-25)/u - (-5)/(-30). Let i = 5 - t. Is 5/3 > i?
True
Let o be 3 - (-2)/((-10)/(-95)). Let b = o + -21. Is 1/2 less than or equal to b?
True
Suppose -61*m + 2207 = 865. Is 20 <= m?
True
Let c(b) = -2*b + 3*b + 3 - 3. Let y be c(2). Let z be (-5)/((-70)/(-36)) + y. Is -1 at most as big as z?
True
Let q = -0.3 - -0.4. Let w = 1607 + -8034/5. Is q greater than w?
False
Let n = -3.1 - 2.9. Let l = 16 + n. Let u = 0 + 0. Which is smaller: u or l?
u
Suppose -13*f = -37*f - 27*f - 561. Suppose 2*d - 3 = 1, 0 = 3*k - 4*d + 41. Is f > k?
False
Suppose 0 = 2*i - h - 17, -3*i + 15 = -5*h - 0*h. Suppose 0 = -2*f + 3*r + 13 - 55, -2*r - 52 = 4*f. Let n be f/25 - (-8)/i. Which is smaller: n or 2/3?
n
Let i = -79 + 80. Let p = -13/15 + i. Do p and 1 have the same value?
False
Let a = -3.02 - -0.02. Suppose -408 = -140*d + 191*d. Which is smaller: a or d?
d
Let n = -0.1 - 0.9. Let a = n + 1.1. Let x = 470 + -466. Which is greater: x or a?
x
Let x = 0 + 1. Suppose 36*w + 26 = 314. Which is smaller: w or x?
x
Let l = -232 - -103. Are -123 and l equal?
False
Let n(o) = -137*o - 412. Let f be n(-3). Let i = 1593 + -103539/65. Is f greater than i?
False
Let v(x) = x**2 + 29*x - 15. Let c be v(-29). Let j(u) = -2*u + 15. Let r be j(c). Is r at least 44?
True
Let p be ((-15)/12)/((-8)/(-128)). Let s be ((-30)/6)/p + 0. Let v = 0 - -0.1. Is s less than v?
False
Let i(k) = -3*k + 18. Suppose -3*o + 24 = -2*p, 0 = 4*o + o + 5*p - 40. Let r be i(o). Let f = -15 - -8. Are f and r non-equal?
True
Let l = 5846/565 + -52/5. Which is smaller: 1 or l?
l
Let q(y) = y - 5. Let t be q(11). Suppose -z + 3*z = t. Suppose -5*f = 2*i + 55, -4*f + 17 = z*i + 82. Which is smaller: i or -16?
-16
Let d = -1444 + 1272. Is d <= 3?
True
Let f = 13 - 25. Let j(b) = b**2 + 13*b + 13. Let w be j(f). Is 1/8 less than w?
True
Let l = 1 - -2. Let r be 2/(-6)*3 + 5. Suppose -31 = -2*k - 2*k - 5*p, -24 = -3*k - r*p. Is l less than k?
True
Let o = -3 - -3. Suppose 5*q + 49 = -4*s - 0*s, o = 2*s + 2. Let g(m) = m**3 + 32*m**2 - 31*m + 58. Let b be g(-33). Is q at most as big as b?
True
Let c = 23 - 17. Let m = c - 6.2. Is m bigger than -0.3?
True
Let p(w) = -w**2 - 23*w - 75. Let v be p(-21). Do v and -33 have different values?
False
Let m = -103 - -205. Let i = 109 - m. Is 5 equal to i?
False
Let n be 0 + 7 - (-4)/(-2). Suppose 5*v + 3 = -5*u + 38, -v + 31 = n*u. Which is smaller: u or 3?
3
Let x = 122 + -77. Suppose -57*c + 3690 = 25*c. Is c != x?
False
Let a(n) = -n**2 + 13*n - 16. Let k be a(11). Suppose -6*y + k = -3*y. Let x = y + 0. Is -2 at most x?
True
Let a = 1927/2 + -963. Which i