/(-18) - 82/(-6). Suppose n = 2*o + 105. Let p = o + 95/2. Is 3 not equal to p?
True
Let b = -0.06 + 1.06. Let x = 137/1032 + -1/129. Which is greater: x or b?
b
Let a = -27 - -27. Is a at least as big as 1.5?
False
Let u be (2 - 29640/14829)*3. Let v = 1293932/311409 + u. Let m = 40/9 - v. Do m and 0 have the same value?
False
Let d be (6/5)/(33/110). Is d >= 19?
False
Let u be 68/17 - 6/2. Is 1 greater than or equal to u?
True
Let i(t) = t**2 + 4*t + 4. Let p be i(-4). Suppose p*d = 7 + 1. Which is bigger: 1 or d?
d
Let j(z) = -z**3 - 8*z**2 - 6*z + 7. Let u = -11 + 4. Let n be j(u). Suppose 5*q = 4*m + 10, 3*m + 2*q + n*q = 4. Which is smaller: 1 or m?
m
Let h be 1/3 - 6/(-9). Suppose h = -3*g - 2. Which is smaller: g or -3/7?
g
Suppose 0 = k - 3. Is k less than or equal to 0?
False
Suppose 5*t = 2*t - 9. Let p be ((-1)/t)/((-5)/3). Let x be 2/10 + 12/(-10). Which is smaller: x or p?
x
Let o = 0.09 + -0.1. Is -2 at least as big as o?
False
Let a = 74 - 72. Is 27 <= a?
False
Suppose -4*v - 3*f + 3 = v, 2*v - f - 10 = 0. Do v and 5 have the same value?
False
Let j = 4.67 + 0.33. Let l = 4 - 0. Let s = j - l. Which is smaller: 3 or s?
s
Let r = 2 + -2.3. Let x = 0.086 + -0.026. Is r at most as big as x?
True
Let i = -0.024 - 0.546. Let f = i - -0.07. Let r = 11.1 + -11. Which is smaller: f or r?
f
Let v be (-378)/(-30) - (-3)/(-5). Let c be (-3)/v + (-75)/(-12). Which is smaller: c or 4?
4
Let z be (-4)/12 + 5/(-3). Let k be 0 + 14/8 + z. Is -1 bigger than k?
False
Suppose 0*c = -c + 14. Which is smaller: 13 or c?
13
Suppose -23 = 9*a + 22. Let u = -9 + 5. Is a >= u?
False
Let y be 106/22 - (-8)/44. Suppose -2*j = -y*j. Suppose 2*i = 3*i + n - 6, j = -3*i - 4*n + 19. Which is smaller: i or 6?
i
Suppose 6*y = -y + 14. Is 0 < y?
True
Suppose 4*c + 2*z + 14 = 0, 0 = -5*c - 0*z + 2*z - 4. Let m be c + 2 + 1 - 0. Do m and 0 have the same value?
False
Let h = -1.8 + 2. Let b(d) = -d - 10. Let x be b(-10). Which is greater: x or h?
h
Let g = -69/91 - -8/13. Which is smaller: -0.02 or g?
g
Let f = 44 + -44. Let n = -1.3 + -0.7. Which is bigger: f or n?
f
Let m = 1.2 - 0.2. Let v be -4 + (344/21)/4. Is m smaller than v?
False
Let f(b) = -b**2 - 2*b - 1. Let i be f(-2). Is -1/16 > i?
True
Let p be (-2)/(0 - 3/9). Suppose 0 = p*z - z + 5. Let a be z - (1 - (-24)/(-14)). Is 0 <= a?
False
Let h be (320/4)/(-5) + 3 + -7. Is h smaller than -17?
True
Let n be 2/(3/6 - 0). Is n smaller than 4?
False
Let l be 1/2*-2 - -2. Let p = 3 + -2. Suppose -p = -4*m + 3*m. Is m bigger than l?
False
Let u be (-1 + 4)/(9/6). Let g be -1*(-3)/2*u. Suppose 0 = -g*z + 2*z. Does 7/5 = z?
False
Let c = -40 - -55. Do -0.2 and c have the same value?
False
Let d = 1 + -1.2. Suppose p + 8 = 5*p. Is p at least d?
True
Let u be 2 + 2 + (2 - 3). Suppose 0 = u*c + 1 - 4. Are c and -2/9 unequal?
True
Suppose 0 = 3*t + 3*n + 147, -2*n = -5*t + n - 253. Let q = -18 - t. Suppose 0 = 3*j - 5*y + q, -19 = j - 3*y - 3. Is -3 bigger than j?
True
Let g be (-3)/((-1)/(-2)*-1). Let o be (g/5)/(9/(-30)). Let q = o - -3. Is q at most 0?
True
Let j = -35 + 23. Which is smaller: j or -10?
j
Let s(w) = w**3 + 4*w**2 - 6*w + 5. Let p be s(-5). Suppose -13*g = -p*g. Are 1/4 and g equal?
False
Let a = -3 - -5. Suppose -5*f - a = 8. Which is smaller: f or -1?
f
Let h be 34/3 - (-10)/15. Suppose -5*a = -3*d - h, 0*a - 4*a = -4*d - 16. Is a <= -2/33?
False
Let p be (2 + 116/(-38))/2. Let y = p - 6/133. Let x be (-1)/(-2) - (-15)/(-6). Is y at least as big as x?
True
Let h = 6.95 - -0.05. Let m = -12 + 13. Are m and h equal?
False
Let t(x) = x**2 - x - 6. Let g be t(-2). Which is smaller: g or 11?
g
Let i be 4*((-3 - -2) + 2). Let m be 0 + (-3 - (2 - i)). Let d = 0.16 - -0.04. Which is greater: m or d?
d
Let d = -1.5 + 1. Let g = 143.8 + -144. Are g and d unequal?
True
Let v = 8.04 + -0.04. Let h = v - 8. Which is smaller: 2/17 or h?
h
Let m = 0.6 - 0.1. Let t = -424 + 422. Which is smaller: t or m?
t
Let g = 109 + -132. Is -24 at least g?
False
Let v(s) = s + 7. Let w be v(-6). Let l be (-3)/15 + 1096/10. Let d = -109 + l. Which is greater: d or w?
w
Suppose 7 = m - 2*j - 3, -3*m + j = -15. Let q = m + -5. Which is greater: 1/9 or q?
1/9
Let w be ((-300)/(-92) - 2) + -1. Let o be ((-44)/(-5))/((-322)/(-20)). Let k = w - o. Is k at least -1?
True
Let u = 11 - 10. Is 1 > u?
False
Let v = 1.9 - 1.8. Let o = -0.4 - 0.1. Are o and v unequal?
True
Let h(k) = -k**3 - 7*k**2 - k - 5. Let y be h(-7). Suppose -y*o = -o + 1. Let f be (-3)/2 + (0 - -1). Which is greater: o or f?
f
Suppose z = -7*z - 24. Is z at most -2?
True
Let t be ((-10)/(-4))/((-3)/6). Let x be (1/t)/(7/(-21)). Is 0 >= x?
False
Suppose -4*h + 20 = h - 4*w, 2*h + 20 = -4*w. Suppose 3 = -4*z + 43. Let c(f) = f - 11. Let b be c(z). Which is bigger: h or b?
h
Let l be 6/(-8)*(-11)/((-561)/(-8)). Which is smaller: l or 1?
l
Suppose 2*d + 4*u = 48, 13*u - 11*u = d - 28. Which is bigger: 27 or d?
27
Let g be ((-192)/120)/((14/(-10))/(-1)). Which is smaller: 0 or g?
g
Suppose 0 = -x - 10 + 11. Let p = 1/40 - -29/40. Does x = p?
False
Let t = -3.1 + 3. Which is smaller: t or -1/9?
-1/9
Let u be ((-4)/(-8))/(1/(-6)). Let t be 24/20*10/u. Is t greater than -5?
True
Let s = -11.6 - -4.6. Does s = 0.1?
False
Suppose s + 3*f + 5 = -8, 0 = 2*f + 8. Do 1/13 and s have the same value?
False
Let i = -157/3 - -53. Suppose 0 = 5*t - 0*t - 5. Which is smaller: i or t?
i
Let q = -3 + 2. Let i(p) = p - 7. Let f be i(7). Is f < q?
False
Suppose -2*h = -0*h + 4. Let z(g) = -g + 5. Let y be z(5). Suppose y = -j + 5*j. Is h at least j?
False
Let s = -1 - 1. Let x be (s/1)/((-14)/3). Is x less than or equal to 0?
False
Let i(u) = -u**3 + 8*u**2 - 1. Let q be i(8). Let n = -91/264 + 1/88. Which is greater: q or n?
n
Let t = -8447/1834 - -9/262. Is t at most as big as -4?
True
Let y = -192 + 193. Which is bigger: y or -3/56?
y
Let q be (-2)/(-6) - 43/3. Suppose 4*x + 5*x + 117 = 0. Is x at least q?
True
Let n = 34 + -43. Is n less than -9?
False
Let z = -0.08 + 0. Let r = 0.29 + -0.3. Let m = r - z. Which is greater: 1 or m?
1
Let w = 53 + -54. Is w smaller than 2/35?
True
Let v = 0.1 + 0.9. Let s = 0 - v. Let i = 5 + -4.8. Is i at least s?
True
Let i = -73 - -64. Which is bigger: 0 or i?
0
Let p(l) = l. Let g(v) = 8*v. Let s(q) = -2*g(q) + 8*p(q). Let n be s(-1). Let k = n + -5. Is k at least 1?
True
Suppose 13*d = -51 - 53. Is d at most -53/6?
False
Let z be (-135)/(-48) + -1 + -3 + 1. Which is smaller: 0 or z?
z
Let i be 0/(((-2)/4)/((-7)/(-14))). Is i less than or equal to 6?
True
Suppose -c + t = 3, -4*c - 5*t + 0*t = 3. Let y be (1 - 4)/(-1) - 6. Which is bigger: c or y?
c
Suppose -5*w - 10*w - 135 = 0. Is 2 greater than w?
True
Let c be 8/9*(-6)/56. Let b(u) = -2*u**3 - u**2. Let i be b(-1). Which is greater: c or i?
i
Let x = -1/115 + 241/1265. Is x bigger than -0.1?
True
Suppose 2*x = 3 - 13. Suppose q + 11 = 4*j + 37, 0 = 4*j - 4*q + 32. Is j at most x?
True
Let v = -65 - -64. Which is smaller: v or -5/16?
v
Let p = 0.8 - -0.2. Let x = -0.02 - -4.02. Is x < p?
False
Let a(q) = -q**2 + 6*q - 7. Let p be a(5). Let w(y) = -y**3 - 2*y**2 - y + 2. Let x be w(p). Are 4 and x non-equal?
False
Suppose 3*o - 2*a - 3*a = 3, -4*o + 2*a = -4. Let i be -1*o - 6/(-10). Which is greater: i or -1?
i
Let r = 35 + -37. Which is bigger: r or -1?
-1
Let o = -196/5 + 39. Which is greater: o or -1?
o
Let c = -2 + 3. Is c smaller than 2?
True
Let j = -8.97 + 9. Let y = j - -0.17. Suppose -14 = -t + 4*d, -2 + 12 = t - 3*d. Is t < y?
True
Let t be 0 - (-4)/(4 - 3). Suppose -z + 7 + 2 = 0. Let b = z - 5. Is b greater than t?
False
Let x = -8 + 7. Let f = -3 - -3.9. Let i = 1 - f. Is i at most as big as x?
False
Suppose -79 = 13*h + 51. Let v = -16 + 5. Is v < h?
True
Let g be -2 - ((-36)/(-15))/(-1). Which is smaller: g or 4/3?
g
Let y(f) = f**3 - 19*f**2 - 21*f + 15. Let d be y(20). Which is smaller: d or -4?
d
Let o be 1*3/12 - 468/16. Is o >= -29?
True
Suppose -3*k = 4*j - 24, 2*k - 30 = -5*j + 4*k. Is j smaller than 6?
False
Let r(z) = z**3 + 3*z**2 - 4*z + 3. Let t be r(2). Suppose -2*l - t = -s + 4*s, 0 = -s - 5. Which is smaller: l or -2/7?
-2/7
Let r = -0.62 + 1.62. Is -0.42 >= r?
False
Let f = -17 - -7. Let k = -10.4 - f. Let d = -0.32 - k. Is d greater than 1/4?
False
Let q = -1/