w >= c?
True
Suppose q = 3*q - 0*q. Does 9/14 = q?
False
Suppose 0*u + 2*u = 6. Let q(m) = -8*m**2 - 2*m**3 + 2*m**2 + 3*m**u - 2 - 7*m. Let k be q(7). Which is smaller: k or -1/2?
k
Let u = -4 + 7. Suppose -i + 10 = -2*a, 15 = -0*i + i + 3*a. Let f(t) = -t**3 + 13*t**2 - 12*t + 4. Let h be f(i). Is u smaller than h?
True
Let v(c) = c - 6 + 1 - 4. Let j be v(11). Suppose s = -1 + 3. Are j and s equal?
True
Let w(s) = s. Let p be w(0). Let c = -12.27 - -8.18. Let a = c - -0.09. Which is bigger: p or a?
p
Let o be (-117)/6*52/30. Let p = o - -34. Are 1 and p equal?
False
Let r = 7/1248 - -1/39. Is 0 less than r?
True
Let n = -1079/22 + 49. Is 0 less than or equal to n?
False
Let g be ((-3)/63)/(8/12). Is 0.2 != g?
True
Let z(n) = n**2 - n - 2. Let x be z(0). Let r(g) = 2*g. Let w be r(x). Let y be 1 - (-1 - w - 0). Is y at least -2?
True
Let c(x) = 3*x - 1. Let z be c(1). Let n be (-2)/3 - (-6)/9. Suppose 6 = 3*i - n. Do i and z have different values?
False
Let i = -0.4 + -4.6. Let y = i + 2. Which is smaller: y or 0?
y
Let b be (-2 - -3)/(141/(-48) - -4). Is 2 at most as big as b?
False
Let x = 14/85 + 38/17. Which is smaller: x or 2?
2
Suppose -4*c + p + 7 = 0, 4*c = p - 3*p - 2. Is c at least as big as -18?
True
Let f(x) = x**2 + 2*x - 2. Let w be f(-2). Which is greater: -10/11 or w?
-10/11
Let j = -1.65 + 1.65. Are j and 5 unequal?
True
Suppose -2*f = -5*g - 28, 3*f - 5*g = -3*g + 20. Let k be (f + -1 + -2)/(-1). Suppose 4*p + 13 = -3*r, 4*p + r + 0*r = -7. Does k = p?
True
Let y be 2 - (-41)/(-44)*2. Let z be 18/(-117) + ((-44)/(-13))/(-4). Which is smaller: z or y?
z
Suppose -11*u - 2 = -46. Is u > -3?
True
Let q = -4 + 8. Let c = -4 - -4.12. Let x = c - 0.02. Is q at least as big as x?
True
Suppose 3*q - k + 4*k - 90 = 0, 5*q + k - 134 = 0. Which is smaller: 25 or q?
25
Let a be (-2)/(-6*-3*5/45). Let l be -2 + 3 + -1 + -1. Is l < a?
False
Let d be 2/2*(-3 + -1). Let p = 237 + -241. Do d and p have the same value?
True
Let u = -4.4 + 7. Let l = u + 9.4. Is 0 smaller than l?
True
Let q = 84 + -83. Which is bigger: 6/25 or q?
q
Let o(r) = r**3 + 8*r**2 + 5*r - 10. Let k be o(-7). Suppose -9 = k*g - 1. Suppose 2*v = -0*v. Are v and g non-equal?
True
Let i = 25.9 - 26. Is 31 bigger than i?
True
Let f = -13 + 12. Which is smaller: f or 1?
f
Suppose 4*p - 8*p = -132. Let c be p*(-1 - (-12)/9). Is 11 at most as big as c?
True
Let l be (-3)/(-9) + 48/(-9). Is l at most -6?
False
Suppose -4*u + 5*u + 2 = 0. Let s be (2/2)/(2/(-6)). Is u greater than or equal to s?
True
Let s be ((-4)/(-3)*3)/((-2)/4). Is -7 equal to s?
False
Let r = 3/76 + -109/836. Let q = 17/55 - r. Let n be 3/3*(0 - 0). Is n less than q?
True
Let g = 5.05 - 0.05. Let r = g + -4. Are -1/3 and r nonequal?
True
Let n = 2002/9 - 222. Is -1 less than or equal to n?
True
Let h(n) = n**2 + 2*n - 4. Let y be h(-3). Let w(m) = m**2 + m - 7. Let g be w(-4). Suppose g*l = l - 8. Is y equal to l?
False
Let o be (-2 + 0)*(-2 + 6). Let y be -38*(-4)/o + 0. Is -18 greater than y?
True
Suppose y - 7 = -6. Let k be (y - (-10)/(-8))*2. Is -2 smaller than k?
True
Suppose -s + 1 = -2. Suppose 0 = -f - 4*l - 21, -3*f + f - 22 = s*l. Let x = f - -8. Which is bigger: x or 4?
4
Let t = 0.07 + -0.01. Let z = -0.67 + 2.61. Let k = z + t. Is -0.2 not equal to k?
True
Suppose -6*l - 5*i - 10 = -4*l, 0 = l - 3*i - 6. Suppose l = 2*z + 3*z. Is 3/7 less than z?
False
Let f = 3 - 4. Let t = -1 - f. Suppose 4*c + 4*q + 7 + 1 = t, 2*c - 2*q + 12 = 0. Are -4 and c non-equal?
False
Let i(p) = 3*p**3 - 3*p**2. Let q be i(2). Suppose 2*z - q = -2*z. Let l be z + 6/(-27)*12. Which is bigger: -2 or l?
l
Let d be ((-2)/4)/(8/(-1184)). Which is bigger: 73 or d?
d
Let m = 105448/23 + -4584. Let a = m + -2/69. Let j = 5 - 4.6. Is a greater than j?
True
Suppose 5*x - 3*v = -822, 2*x + v + 331 = -0*x. Let o be (1/3)/(x/90). Which is bigger: o or 1?
1
Let o(r) = -r - 6. Let h be o(-9). Let j = -8 - -20. Suppose 2*b - 2*y = 0, 0*b + b + 2*y - j = 0. Is b bigger than h?
True
Let t be 0*2/4*-1. Which is smaller: t or 12?
t
Let y = -52.9 - -37.8. Let a = y - -15. Which is smaller: -11 or a?
-11
Let b be (-26)/(-4)*1/(6/10). Is b < 10?
False
Suppose 2*o = -3*y + 3, 5*y = -5*o + 5 + 5. Which is smaller: y or -6?
-6
Let k be -1 - -29*3/27. Is 2 at least k?
False
Let g(p) = -p**3 + 2*p + 1. Let i be g(-1). Suppose -3 = -2*c + 1. Which is bigger: c or i?
c
Let x be 60/50 - 2/10. Which is smaller: -6 or x?
-6
Suppose 47*r = 42*r - 275. Is r greater than or equal to -54?
False
Let o(b) = -b**2 + 5*b + 3. Let s = -2 - -7. Let c be o(s). Suppose 12 = 2*p - c*a, 0*a - 4*a = -4*p + 16. Which is greater: 1 or p?
1
Let d = 0.07 + -0.17. Which is greater: d or 0.3?
0.3
Let w(g) be the second derivative of g**5/20 + 7*g**4/12 + 3*g**3/2 + 3*g**2 - g. Let a be w(-6). Let l be ((-6)/4)/((-6)/a). Is l at most as big as -4?
False
Let y = 6 + -4. Let c be (3 - (y - 1)) + 0. Let b be 0 - (-1 - -2)*c. Is b not equal to -4?
True
Let n = 7 - 7.3. Which is bigger: -4 or n?
n
Suppose -q = y, -y - 5*q = -0*q + 16. Let c be -3 - (y + -3)*1. Is c less than -4?
False
Let y = 7 - 5. Let i = 1.98 - y. Which is smaller: -0.1 or i?
-0.1
Let k = 0 + 0. Let g = 3.4 + 0.6. Let c = -4 + g. Does k = c?
True
Let g = 13.87 - 14. Let m = g + 0.03. Let d = -1.9 + m. Is d < -3?
False
Let u = 7 - 2. Let g = 28 + -28.1. Which is greater: u or g?
u
Suppose 0 = w - 3*z + 2*z + 4, -2*w - 8 = -4*z. Is -4 > w?
False
Let p(a) = a**2 - 2*a + 3. Let c be p(6). Let y = c + -105/4. Which is smaller: 1 or y?
y
Let k = 62 + -36. Is k equal to 26?
True
Let t be -1 + 2 + (-88)/12. Do -6 and t have different values?
True
Let c be ((-2)/21)/(12/45). Which is bigger: c or 0?
0
Let p = 8 + -6. Let n be (2/4)/((-2)/16). Let z be n/(-6) - 8/(-15). Is z greater than or equal to p?
False
Let z be (-32792)/(-7760) - (1 + -1). Let s = z + -5/194. Which is smaller: s or 5?
s
Let n = -1.9 - -2. Let b = -3.7 + 4. Let z = b + -0.3. Do z and n have the same value?
False
Let h = -5 + 6. Let n be -2 - (-6)/4 - -1. Which is bigger: h or n?
h
Suppose -2*b - 10 = 8. Let m be (-3)/b + (-1)/21. Which is smaller: m or -1?
-1
Let q = 0.06 + 0.04. Are -0.7 and q equal?
False
Let q be 0 - (-12)/10 - 1. Let c = -0.018 + -0.032. Is q at most c?
False
Let u(i) = -i**2 + 2*i - 2. Let x be u(2). Let g = 78.9 + -79. Is g < x?
False
Let m be (-30)/(-4) + 4/8. Let b = m - 4. Suppose -2*k - 3*o = 0, -2*o - 2*o - 11 = -k. Which is bigger: k or b?
b
Suppose 16*r + 15 = 21*r. Let y(l) = -l**3 + 4*l**2 - 2*l - 1. Let o be y(3). Is r > o?
True
Suppose -33*n + 27*n + 12 = 0. Let p be (-17)/(-5) + 2/(-5). Which is smaller: n or p?
n
Let p = -6 - -8. Let v be 112/(-42)*9/p. Is v at least -12?
True
Let c be (-5)/(-15)*-3*1. Which is smaller: -1/70 or c?
c
Let j be (-6)/21 - 156/(-448). Is j smaller than -2?
False
Suppose -8 = w - 5*w. Let l be (-3)/3*1 + w. Suppose 5*q - l = -2*j - 6, -2*j + 2*q + 2 = 0. Does j = 1/19?
False
Suppose 0 = 4*w + 5*y + 40, w - 3*w - 3*y - 22 = 0. Let v = 87 + -84. Let f = w + v. Is -2 at most f?
True
Let d = -2 + -2. Let r = -8 + 4. Are r and d nonequal?
False
Let t = 0.03 + 0.97. Suppose -4 = -3*w + z, 4*w + 0*z - z = 6. Do w and t have the same value?
False
Let r(o) = -o**3 - o**2 - o + 3. Let p be r(0). Suppose d + 2*n = 6*d - 33, -d + 1 = n. Suppose -7*s + 2*s = f - d, -s + 12 = -2*f. Is p greater than s?
True
Let n = -22 - -23. Which is smaller: n or 3/38?
3/38
Let l be (-2)/7 - 4/(-14). Is l less than or equal to 3/10?
True
Let k = 106.18 + -106. Which is smaller: -2/7 or k?
-2/7
Let b = 6.2 - 6.29. Is b bigger than 3?
False
Let l = -0.188 - -0.388. Let i = 6 + -79/13. Which is smaller: l or i?
i
Suppose 0 = 7*x + 28. Suppose -2*t - 11 = 3*y, y = 3*t - 2*y - 6. Which is smaller: t or x?
x
Let f(a) = 2*a - 3*a - 5 + 2. Let t be f(-2). Suppose 7*m = 1 - 22. Is m less than or equal to t?
True
Suppose 0 = -o - 2*i + 9, -23 = 3*o - 0*o - 4*i. Let s be (-1)/(-2)*o*2. Is -4 <= s?
True
Let j(h) = -h**3 + 6*h**2 - h + 8. Let q be j(6). Let z be -14 + (q/1)/1. Let o = z + 49/4. Which is greater: o or -1?
o
Let o(b) = -b**2 - 5*b. Let c be o(-4). Let x be 12*(-3 - (-50)/15). Is c at most as big as x?
True
Let k be 3/(-4) - (-51)/4. Let v = k + -9. Do v and 5 have different values?
True
Suppose 10 = 