ose a - 1 - 2 = 0. Suppose -q - a*q = 0. Is 0 not equal to q?
False
Suppose 3 = -3*b, -2*b - 1 + 3 = -4*c. Is c equal to -2/27?
False
Let c = 3 - 10/3. Do c and -1 have the same value?
False
Let c be 0 - (186/66 - 3). Are 10 and c equal?
False
Let y be 2*(44/(-8) + 0). Is y greater than -10?
False
Let q be 1/(-36)*-10*(0 + 4). Is 0 != q?
True
Suppose 5*o + 12 = -3*g - 42, -2*g + 2*o - 20 = 0. Is -13 less than or equal to g?
True
Suppose 0 = 4*o + 4*g + 24, -2*o = -3*g - 14 + 6. Which is greater: o or -3?
o
Let w = 0.06 - -0.04. Let s = 16 + -11. Let g = s + -8. Which is smaller: g or w?
g
Let p(k) = -2*k + 20. Let x be p(7). Which is smaller: 7 or x?
x
Let d be (1*(-2)/108)/(2/(-8)). Which is greater: d or 0?
d
Let g(c) = c**2 - 4*c - 3. Suppose -3*h - 6 = 3. Let a be (-7)/(-1) - (-9)/h. Let l be g(a). Is l bigger than -4?
True
Let h(k) = k**2 + 8*k + 8. Let l be h(-8). Let u = l - 13. Is -7 less than or equal to u?
True
Suppose -9 - 26 = -7*f. Which is smaller: 25/7 or f?
25/7
Let j = -14 + 19. Suppose -5*r + p = -9, -3*p + j = 4*r - 3*r. Is 8/5 > r?
False
Suppose 0 = 3*s + 5*c + 12 + 3, -5*s + 4*c = 25. Let b be 12/24 + (-18)/4. Which is greater: b or s?
b
Let u = 1.1 - 1. Let g(f) = f. Let l be g(-1). Is u greater than l?
True
Let w be -36*(-3)/24*10. Let s = -63 + w. Let c be (-1 + s/(-21))/1. Is c >= -1?
True
Let c be 2*2*(-4)/(-8). Let q be (c/2 - 7)/(-2). Is q != 9/4?
True
Suppose w - 9 = 19. Is w smaller than 29?
True
Let x = -112/3 - -37. Is x greater than or equal to 0.3?
False
Let n(u) = -u**3 - 9*u**2 + 10*u + 9. Let h be n(-10). Suppose 2*o + o - h = 0. Let t be (-6 - -8) + (-12)/5. Which is smaller: o or t?
t
Let h = 0.1 + 0. Let s = 151.2 - 151. Are s and h unequal?
True
Let u = -0.267 - 0.003. Which is bigger: 0 or u?
0
Let v = -55 - -56. Let c(i) = i**3 - i**2 - 2*i. Let g be c(2). Is v at most g?
False
Let x be -2 - 4*1/(-3). Let g = 1 - 8. Let h = 4 + g. Is h at most as big as x?
True
Let i = -0.04 - -20.44. Let p = -28.7 + i. Let v = p + 8. Which is bigger: 1 or v?
1
Suppose -2*d + 3*l = 2*l, 0 = -3*d + l. Do d and -14 have the same value?
False
Let q = 4 + -6. Which is smaller: -3/13 or q?
q
Let n = -417.1 - -394. Let c = n - -23. Which is greater: c or -4/7?
c
Let m = 0.54 - -0.06. Let p = m + 1.4. Let h = p - 1.9. Is 3 <= h?
False
Let w be (-2)/(6 + -7) - 3. Let b = -3 + 2. Let v be 10/(-6) - (-3 - b). Is v at most as big as w?
False
Let q be 114/15 - 6/(-15). Suppose q = o + 3*p, o + 2 + 10 = 2*p. Is o greater than -4?
False
Let j be 1*2 - (-5 - -14). Is -5 <= j?
False
Let t = -1 + 3. Let x be (-1*t)/((-36)/(-30)). Is -3 smaller than x?
True
Let f(h) = h**2 + 5*h - 7. Let g be f(-5). Let k be (g/35)/(1/(-3)). Do k and 2 have different values?
True
Let j(f) = 3*f**3 + 1. Let r be j(-1). Let n be (-3)/(-2)*r/24. Which is bigger: n or 1?
1
Suppose 0 = 11*a - 12*a - 18. Which is smaller: -14 or a?
a
Let s = -1.5 - 2.5. Which is smaller: 4 or s?
s
Let o be (3/(-2))/((-3)/6). Suppose -o*w = -4*w + 3. Which is smaller: w or 4?
w
Let x = -1 - -0.94. Let w = 1.06 + x. Which is smaller: -2 or w?
-2
Let k(d) = 2*d - 7. Let c be k(7). Let b = c - 7. Is -1/5 smaller than b?
True
Let j = -11 + 7.8. Let k = j - -3. Let f = 0.4 + -0.3. Is f bigger than k?
True
Let f be (0 + 3)*(-286)/33. Which is bigger: f or -25?
-25
Let b(t) = -t**3 + 6*t**2 - t + 8. Let q be b(6). Let l be q/(-10) + 26/30. Is l less than -3/2?
False
Let f = 3 - 1. Let c = -27 + 25.2. Let b = c + f. Are -1 and b unequal?
True
Let b = 3/2 + -19/10. Does -1 = b?
False
Suppose -5 = 2*n + b, 2*n + 3*n = -5*b. Is n less than or equal to 2?
True
Let j = -0.1 + 0.2. Which is greater: 0 or j?
j
Let i = -2 - -1. Which is smaller: i or 128?
i
Let o(m) = -m**3 + 9*m**2 + 12*m - 15. Let k be o(10). Suppose -3*p + p + 6 = 4*f, k*p = -3*f + 1. Which is greater: f or 0?
f
Let m(k) = k**3 + 9*k**2 - 12*k - 4. Let l be m(-10). Let p be (l - 6/(-2)) + -2. Do p and 17 have different values?
False
Let l = -0.4 + 0.41. Let u = l + -0.01. Let p = -26 - -36. Which is greater: p or u?
p
Let x = -0.05 + -0.95. Let p = 1.2 + x. Which is bigger: p or -0.1?
p
Let t = 20593/12 - 4963/3. Let z = 62 - t. Which is greater: 1 or z?
1
Let t = 34.01 + -34. Is t at most 1/4?
True
Let x = 533153/4 + -267107995/2004. Let b = x + 1/167. Which is greater: b or 1?
1
Let j(w) = -w**3 + 10*w**2 + w - 9. Let p be j(10). Is 0 bigger than p?
False
Suppose r - 12 = -0*r. Let p = r + -8. Suppose -p = -j - k - 8, 4*k + 14 = -2*j. Which is smaller: j or 0?
j
Let u be (-468)/12*(-1)/(-3). Let q = u - -9. Which is smaller: -3 or q?
q
Let t = 23 - 64/3. Which is bigger: t or 3?
3
Let r = 35 - 35.29. Which is smaller: 1 or r?
r
Let t be (5/2)/(1/2). Suppose 0 = -3*h - h + 20. Suppose -h*k - 4*c = -24, 5*k = 5*c - 3*c + 18. Is k > t?
False
Let b(o) = -o**3 + 2*o + 3. Let v be b(-2). Suppose 0 = z + 3*z + 20, -2*u = 5*z + v. Let x(h) = h - 6. Let k be x(u). Which is greater: k or 2?
k
Suppose -5*m - 34 = -5*k + 56, m + 2*k + 27 = 0. Is 1 at most m?
False
Suppose -5*y + 10*y = 0. Which is smaller: 2/3 or y?
y
Let j be (-66)/15 - 4/(-10). Let d be ((-2)/(-6))/(j/3). Let s be ((-4)/(-3) - 1)*3. Which is smaller: s or d?
d
Let m(p) = p + 3. Let b be m(-3). Let y be b/(1*3/3). Which is smaller: y or 2?
y
Let p = 0.2 - 0.12. Let z = p - -0.92. Let y be 14/12 + (-12)/18. Which is bigger: y or z?
z
Let v = -13 - -14. Let a = 0.9 - 4.9. Which is greater: a or v?
v
Let n(k) = -k**2 + 18*k - 55. Let q be n(14). Let f be (-1)/((-70)/(-144)) + 2. Which is smaller: q or f?
f
Let k = 0.1 - -0.4. Let b = 0.6 - k. Is 4 greater than b?
True
Let w = 14.3 - 14. Let m = -0.8 - -0.3. Let r = m + w. Which is smaller: -2 or r?
-2
Let a(r) = -r**2 + 8*r - 7. Let d be a(7). Suppose h = -3, -5*h - 15 = -4*k - 0*k. Is d <= k?
True
Let c be 1/(44/18) + 32/(-64). Is 0 less than or equal to c?
False
Suppose -f - 2*f + 12 = 0, -5*f + 20 = -4*m. Is m less than or equal to 18?
True
Suppose -10*k = -4*k + 84. Let f be 4/112 + 4/k. Which is smaller: 0.2 or f?
f
Let d be (-1)/(-2)*4072/66. Let f = d - 92/3. Let l be (-85)/(-17) - (1 - -3). Which is smaller: l or f?
f
Suppose 3*u = -h + 30, 3*h = 5*u + 6 - 70. Which is smaller: u or 10?
10
Suppose -4*c + 0*c + 8 = 0. Is c equal to -3/5?
False
Suppose 0 = -5*m - 4*f - 25, -5*f + 10 = -2*m - 2*f. Suppose 18 = -j - 2*j. Which is bigger: j or m?
m
Let i = -0.1 + 1.1. Let g = 0.4 - 1. Let x = g + 0.5. Is i equal to x?
False
Let w(x) = -x - 12. Let f be w(-11). Let t be (-4 - (-12)/4)/f. Let l = 0.5 - 1.5. Does l = t?
False
Let x = 14 + -14. Is 1/2 < x?
False
Let i = 21 + -19. Suppose 38 = -5*t - i. Which is smaller: t or -5?
t
Suppose 2*a - 8 = 0, -q + 8 + 5 = a. Let u be ((-2)/(-1)*-2)/q. Which is smaller: u or 1?
u
Suppose 5*p + 48 = -r, 2*r - 5*p + 44 = -r. Let z be (2 + -1 - 3) + 340/(-16). Let w = r - z. Which is smaller: w or -1?
-1
Let s be (-332)/182 - -2 - (-8)/28. Which is bigger: -1 or s?
s
Let h = 30 - 20. Is -0.1 equal to h?
False
Let b be -3*(4 - 3)*1. Let x be (-19)/6 + 1/(-3). Which is smaller: b or x?
x
Let u be 0*((-15)/6)/5. Suppose u = 4*r - 7 + 3. Let s = -67/664 - 2/83. Is r at least as big as s?
True
Let a = 46 - 30. Which is bigger: a or -0.2?
a
Let z = -33 + -13. Which is smaller: -44 or z?
z
Let w = 0.05 - -1.95. Let f = w + -17. Is f at most as big as -1?
True
Let j = 0.12 - -0.08. Which is smaller: j or 0?
0
Let z(l) = -2*l + 10. Let y be z(8). Let v be 8/120*(0 - y). Which is bigger: -0.3 or v?
v
Let k = 267/5 - 53. Which is greater: k or -28?
k
Suppose 6 = -2*r - 12. Are -9 and r non-equal?
False
Let u(w) = -107*w**2 + w - 2. Let c be u(-1). Is -110 > c?
False
Let d(g) = -g**2 - 10*g + 1. Let i be d(-9). Let m = 41/4 - i. Let v = -0.8 - -1.1. Which is bigger: m or v?
v
Let o = -22 - -23. Are -0.1 and o unequal?
True
Let t = -0.058 - 0.232. Let r = t + 0.19. Suppose 0 = -d - f + 8, d - 3*f - 23 = -7*f. Is d at most as big as r?
False
Let z = 59/4 + -61/4. Which is bigger: z or -0.2?
-0.2
Let i = -282 + 3943/14. Is 1 at most i?
False
Let y = 11 + -13. Is 0 not equal to y?
True
Let z = 16 + -11. Let h be 1/(2 + (-1 - 2)). Let o be 2*h/(-12)*2. Is z > o?
True
Suppose -2*n = -f - 7 - 1, f + 2*n - 12 = 0. Suppose -4*y + 8 = 0, 3*u + y - f*y = -26. Let w be ((-4)/u)/((-2)/(-4)). Are w a