 = 321/488 - q. Is k > 2?
False
Let b = 38 - 59. Let m be 2/6 - (-28)/b. Let k = 0.03 + -5.03. Is m < k?
False
Let a = -10 - -18. Suppose -z = -4 + a. Which is smaller: -3 or z?
z
Let x be 17/5 + (-6)/15. Suppose 0 = 2*w + 6. Let h be ((-38)/10 - w)*-5. Is h at most x?
False
Let s(d) = -d**2 + 6*d + 10. Let t be s(8). Let p = 21 + -14. Let l = t + p. Does l = 2/7?
False
Let z(o) = 7*o**3 - o**2 - o + 1. Let g be z(1). Let r = g + 3. Let t = r + -3. Is 5 not equal to t?
True
Let f = -8 + 4. Let z be (-2)/(f*1/(-2)). Is 0 less than z?
False
Let i = 2.262 + 0.038. Which is smaller: i or -2/5?
-2/5
Let k = -0.08 + 3.08. Let p = k + -3.2. Let s = 0.15 - 0.15. Which is smaller: p or s?
p
Let u be (77 + -2 + -1)*1/2. Which is greater: 36 or u?
u
Let d be 1/3 - (-44)/12. Suppose 10 = -l + 3*l. Suppose -d*r + v = 12, -2 = -l*r - 2*v - 4. Does -2 = r?
True
Let r be (-1)/((-1)/(-4)*1). Let x = 12 + r. Let h be (-1)/2 - 4/x. Which is greater: h or -2?
h
Let c = -57 - -58. Is c less than or equal to -2/73?
False
Let v be (-2 - -5) + 4/(8/(-6)). Are v and -8/7 nonequal?
True
Let u(v) = -v**3 - 9*v**2 + 6. Let q be u(-9). Let h = 6 - q. Is -1/10 > h?
False
Let l = 6 + -1. Suppose -2*z - 27 = l*x, 2*x - x + 15 = -2*z. Is -5 at most z?
False
Let l(i) = i**3 - 6*i**2 + 4*i. Let u be l(5). Suppose 0 = g - 5. Suppose 3*y = g*z - y + 34, -20 = 3*z - 2*y. Is z less than or equal to u?
True
Suppose 4*k = 4*t + 28, -t - 4*k = 3*t - 12. Let x be 1*((-6)/(-3) + t). Let u = 0.1 - 0.1. Is u bigger than x?
False
Let w = 59 + -61. Let h = 1 - 2. Which is bigger: w or h?
h
Let g be (-1)/(-4) + 385/(-4). Let q be (1 - 0)/((-8)/g). Let k be 32/q*(-18)/(-8). Which is smaller: k or 7?
k
Let q = 31.94 - 32. Which is greater: 2/9 or q?
2/9
Suppose w + 2 = -5. Does -7 = w?
True
Let t = 21 - 23. Which is greater: t or -14?
t
Let d be (-2)/(-21)*((-25)/(-7) - 4). Let l be (-2 - -2)*1/2. Is l at most d?
False
Let d(c) = -2*c - 3. Let g be d(-2). Let m be g/(-2)*(-1 - -11). Is -5 not equal to m?
False
Suppose -2*n = -n + g - 41, 4*g = 2*n - 112. Suppose 3*o + 1 = n. Is o > 15?
False
Let l = 9 - 8. Let m = l - 0.5. Which is greater: 2 or m?
2
Let c be 6/15 + (-28)/(-5). Let v = -2 + 3. Suppose -5*l = c - v. Which is smaller: -2/5 or l?
l
Let d = 52 + -52.04. Is d less than 5/6?
True
Suppose 0 = -5*b + 2*p, 4 + 8 = b + 2*p. Let n = b + -2. Which is smaller: 3/4 or n?
n
Let n = 1430/21 - 206/3. Which is greater: 9 or n?
9
Suppose 0 = -2*v + f, -3*f + 2*f = -5*v. Suppose 3*g - 6 = -v*g. Let h(t) = 5*t**3 + t - 2. Let o be h(1). Is g greater than o?
False
Suppose 3*i = 9, 3*i - 12 = -p - i. Let q = 159/35 + -27/5. Which is smaller: p or q?
q
Let r = -0.05 + -3.95. Let q = -1.3 - r. Let l = q + -0.7. Which is smaller: 1/7 or l?
1/7
Let a = -0.44 - -0.54. Is a < -17?
False
Let b = 4 - -1. Let t be 26/8 + -1 + -2. Do b and t have the same value?
False
Suppose -3*l + 5*r + 21 = 0, 3*l = 5*r - 4*r + 21. Is l greater than or equal to 7?
True
Suppose 4*z = -5*t + 68, 10 = 4*z + z. Suppose -4*x + 3*d + t = 0, 3*x - 9 = -0*x + 4*d. Suppose 0 = 3*a + 9, 2*r + 0*a - 12 = 2*a. Is r bigger than x?
False
Let j = -8 - -8. Let o be 1/2 - (-5)/(-4). Which is bigger: j or o?
j
Let t = -0.01 + 0.81. Let s = 0.8 - t. Which is greater: s or 1?
1
Suppose 3*l - 3*t = 6*l - 30, t - 28 = -4*l. Let u be 5/(15/l) + -3. Are 1 and u non-equal?
True
Let n be (18/(-15))/((-8)/(-20)). Which is bigger: n or -7?
n
Let u = -6.7 - 1.3. Let m = -10 - u. Which is bigger: 2 or m?
2
Suppose 3*u - 4 = 7*u. Let i be (u/(-1))/1 + 2. Suppose i*h - h = -6. Which is smaller: -1 or h?
h
Let q = -5 - -5. Let k = -52/69 - -2/23. Is q less than k?
False
Let k = 1 - -1. Suppose -12 = k*s - 4. Are s and -1 non-equal?
True
Let k = -100/3 - -194/3. Are k and 32 nonequal?
True
Let w = -12.7 - -12. Let m = w - -1.9. Which is smaller: m or -0.2?
-0.2
Let a(o) = -6*o + o**2 - 3*o**2 - 4 - 2*o**2 + 3*o**2. Let m be a(-5). Do m and -1/5 have different values?
True
Let r(g) = g**2 + 3*g - 2. Let n be r(-5). Let q be 70/n + 3/(-4). Let c be 10/q - (0 + 1). Which is bigger: c or -2/7?
c
Suppose 0*p - 4*l + 24 = 3*p, 5*l = p + 11. Let u = 14 - 11. Let a = u - p. Is 2/7 >= a?
True
Let u = 0.42 - -18.58. Let j = u + -22. Is j smaller than 2?
True
Let h = 3 + -2. Suppose 0 = 4*s - 46 - 34. Let a = -18 + s. Is a less than h?
False
Suppose -2*s = -3*j + 42, 0 = 3*s + 3*j - 2*j + 41. Which is smaller: -14 or s?
s
Suppose -15 = -3*k - 0*a + a, -6 = -2*k + 2*a. Suppose -k*i = -i - 5. Suppose y + 3*f + f - 1 = 0, 5*y = -2*f + 5. Is y greater than i?
False
Suppose -7 = 4*r - 19. Let o = 7 - 6. Is o less than or equal to r?
True
Let k(y) = y**3 + 12*y**2 + 8*y - 4. Let u be k(-10). Let f = -578/5 + u. Which is smaller: -3 or f?
-3
Suppose 2*k = 4*k - 4. Let z be (-2)/3*(-12)/8. Which is smaller: k or z?
z
Let x = 26/15 - 11/6. Is x less than 0?
True
Suppose -5*f = 3*o + 133 - 31, -52 = 2*f + 4*o. Do f and -18 have different values?
False
Let k be (0*(-3)/9)/1. Is 1 < k?
False
Suppose 3*o + 2 = 2*o. Suppose 5 = 3*r + 2*r. Let k be r + (o/(-2) - 2). Which is smaller: k or -1?
-1
Let j be 8*-2*(-15)/(-24). Let f be (7 - 2)/(4/j). Let n = 13 + f. Is n <= 0?
False
Let a = 15892/53 + -23044015/76638. Let j = -1/241 - a. Which is smaller: j or 1?
j
Let m = 0 - -5. Suppose 0 = -b + m*b. Which is bigger: 1/5 or b?
1/5
Let c(x) = 9*x + 17. Let g be c(-3). Are g and -66/7 non-equal?
True
Let c = 2.47 - 0.37. Let h = -10.1 + c. Which is smaller: h or 0?
h
Suppose 16*a + 8 = -8. Is a less than -3?
False
Suppose 4*x - 12 = -4*b, -3*b + 6*b + 1 = -x. Let i be ((-1)/b)/((-14)/4). Is 0 at least i?
True
Let s be (3 - (-303)/(-102))/(-1). Is 1 greater than or equal to s?
True
Suppose -2*c = 3*c - 2*n - 32, -4*n = -c - 8. Let a be 5/(-3)*(c - 9). Which is bigger: a or 2/7?
a
Suppose 40*a = 28*a. Is 5 < a?
False
Let t = 2/213 - 440/1491. Suppose -2*p = 5 - 3. Is p < t?
True
Suppose 0*d = 3*b - 3*d - 57, -5*d - 65 = -3*b. Suppose -5*q = -2*q + b. Let v(f) = f**3 + f**2 + f. Let z be v(-2). Is q bigger than z?
True
Suppose 3*k - 3*w - 42 = -5*w, 3*k - 42 = 4*w. Is k less than or equal to 14?
True
Let u = -11.12 + 11. Which is bigger: 0 or u?
0
Let c(i) = -i - 6. Let b be c(-6). Let o be 1 - ((-2)/(-6))/(11/33). Is o bigger than b?
False
Suppose 26 = 3*g - 10. Are 13 and g non-equal?
True
Let x = 0 + 4. Suppose v - s = -x*v - 4, 3*s - 12 = 2*v. Let k = -3/17 + 83/85. Is v greater than k?
False
Let o = -0.6 - -0.1. Let i = 2.35 - 0.85. Let r = i + o. Is r not equal to -2?
True
Suppose -2*a = -p - 9, a + 3 = 4*p + 4. Which is smaller: p or 4/67?
4/67
Let h(u) = u**3 - u**2 + u + 7. Let p be h(0). Is p at most as big as 8?
True
Let h = 4.01 - 0.01. Let m = 3.9 - h. Which is smaller: m or 0.4?
m
Let v = 59 + -6. Is 53 bigger than v?
False
Suppose 9*t = 11*t + 2. Does 4 = t?
False
Suppose 2*k + 6 = -4*s, -2*s - 2*k = 3*s + 6. Suppose 4 = 2*w - 0*w - 4*d, 3*w - 2*d - 6 = s. Suppose -c + w = -0*c. Which is smaller: c or 0?
0
Let h = 9 + -10. Which is smaller: -2 or h?
-2
Let n = 445/6 - 74. Let d(h) = h**2 - 2*h - 5. Let u be d(4). Suppose 5*i + 4*l = u*l, i + 2*l = 0. Is i not equal to n?
True
Let d = -0.09 + 1.49. Let a = -1.3 + d. Let c = -0.3 + 0.26. Which is bigger: c or a?
a
Let d(i) = i**2 - 4*i + 2. Let q be d(3). Let x(y) = 0*y**2 - y**2 + 0*y**2. Let b be x(q). Is b greater than 1/5?
False
Let d(o) = o**2 - 4*o + 5. Let w be d(5). Let p be (-6)/(-15) - (-1)/w. Is p bigger than -13?
True
Let j be ((-26)/72 - 8/(-32))*3. Are 1/16 and j equal?
False
Let k = 7 + -8. Let s = k - 0. Suppose 6*t = t. Which is bigger: s or t?
t
Suppose 0 = 3*u - 2 + 5. Let t be (-3)/u - (-52)/(-20). Is -0.6 not equal to t?
True
Let t = -2.97 + 3. Let m = 0.37 + t. Let q = -0.4 + m. Which is smaller: -2/3 or q?
-2/3
Let t be (-280)/(-88) - 4/22. Suppose -3*j = -4*j - t. Is -5/2 >= j?
True
Let f = 23 + -14. Let r = f - 6. Suppose 5*v = r*v - 10. Which is smaller: v or -1?
v
Suppose 2*x + 22 = x + 4*f, x + 2*f = -4. Is x bigger than -11?
True
Let n = 121/160 + -1/160. Let c(p) = p**2 + p + 1. Let i be c(0). Is n not equal to i?
True
Let t(k) be the third derivative of k**5/60 + 5*k**4/24 + k**3 - 2*k**2. Let d be t(-4). Suppose 0*y + d = -2*y. Is -1 less than y?
False
Let b be 2/3 - 14/12. Let c(o) = o**3 