s y smaller than -1/6?
False
Suppose -v = 4*v + 4*q - 27, -9 = -4*v + q. Are v and 3 equal?
True
Let o = 6 - 4. Which is greater: o or -0.3?
o
Let g be 2/7 + (-202)/(-77). Let i be (-23)/(-22)*21/(-6). Let a = i + g. Is a at least as big as 1?
False
Suppose 9*y - 11*y = 0. Is y at most as big as 2/21?
True
Let y = -43 + 18. Is 1/2 not equal to y?
True
Let p = 3 + -3. Is 1/3 at least as big as p?
True
Let j be (-2)/10 - (-12)/(-15). Which is smaller: -1/3 or j?
j
Let k = -10 - -16. Suppose 2*z = k*z - 4. Is -2/33 at most z?
True
Let z(s) = s**2 - s - 3. Let n be z(3). Suppose u - 9 = 3*j - 34, 3*j - 21 = -n*u. Let m be (4/j)/(1/2). Is 3 smaller than m?
False
Suppose -2*h + 12 = 2*w + 2, -2*h + 10 = -5*w. Suppose -5*g - 2*i + w + 9 = 0, 3*g + 7 = 5*i. Which is bigger: 2 or g?
2
Let w(g) = -g**3 + g + 1. Let t be w(0). Let y(l) = -l**2 - 4*l + 4. Let o be y(-4). Suppose -7 = o*p - 19. Do p and t have the same value?
False
Suppose -3*c - 202 = -7*c - 5*w, 2*c - 5*w = 86. Suppose 4*y - 2 - c = 2*o, -3*y = 3*o - 24. Is y less than 12?
True
Let h = -4 + 6. Let d = h - 3. Let l be 3 + -2 - (-6)/(-10). Which is smaller: l or d?
d
Let v be (0 - 40)*(2 + 246/(-108)). Which is smaller: 12 or v?
v
Suppose -3*p + 2*p - 26 = -5*u, p = u - 6. Let j be (-18)/(-48) + (-22)/80. Is p at most j?
True
Let t = -33 - -31. Which is bigger: -13 or t?
t
Let g = -0.35 - -0.55. Is -0.9 smaller than g?
True
Let m = -12 + -7. Suppose 21*o - 24*o - 60 = 0. Is m != o?
True
Let x = 13 + -9. Suppose 922 = x*r + n, 0 = 5*r - 2*n + 83 - 1242. Let a = r - 2545/11. Do a and -1 have the same value?
False
Let t be -1 + 3 + 15*-1. Is t at least as big as -10?
False
Let y be (-2)/(-9) + 5/(3420/64). Which is greater: y or 1?
1
Suppose 2 = 3*q - 10. Let h be 1/(0 + (-2)/(-8)). Let p be (h/(-6))/((-2)/9). Are p and q unequal?
True
Let t(l) = l**3 + 8*l**2 + 6*l - 4. Let g be t(-7). Let k = -2.98 + 3. Let b = 0.12 - k. Which is smaller: b or g?
b
Suppose 3*z - 3 = 3. Suppose -2 = x - 4, 3*s + z = x. Is -1/5 not equal to s?
True
Suppose -h - 1 - 3 = 0. Let x(a) = a**3 + 9*a**2 + 9*a + 8. Let v be x(-8). Suppose v = -2*i - 0*i - 10. Which is greater: h or i?
h
Let v = 3.8 - 3. Let j = -0.2 - v. Let m = 0 + 0. Is j at most as big as m?
True
Let v = -16.59 + -0.41. Which is smaller: v or -1?
v
Suppose -31 + 11 = -3*t - s, -2*t + 10 = -s. Let a(p) = -2*p - 3. Let y be a(t). Let r be (-6)/(-15)*y/(-9). Which is smaller: r or -0.1?
-0.1
Suppose -8*f + 174 = 62. Which is smaller: 15 or f?
f
Suppose -5*h + 6 = -4*h. Which is smaller: h or 7?
h
Let i = -0.02 - -0.32. Let d = i - 0.7. Let a = -33/140 - 1/70. Which is smaller: d or a?
d
Let o = -87 - 40. Is -127 < o?
False
Let v be -5 + 1 - 4/(12/(-9)). Which is smaller: v or -3/7?
v
Suppose -x = -3*x + 4. Let m be 1/x - (-2)/12. Is m < -0.2?
False
Let y = -1/3 - -19/21. Does y = 2?
False
Let y = -0.46 - 0.54. Is 0.115 equal to y?
False
Suppose 4*i + 26 = -2*l, 3*i + i = 5*l + 9. Suppose 24 = -3*h + 3*x, 0 = -5*h - x + 12 - 28. Is h < i?
False
Let i = -42 + 18. Let k = i + 26. Is k >= -2?
True
Let c = 1.7 + 0.3. Let m = -3.3 + 2.3. Let b = c + m. Is b less than or equal to 1?
True
Suppose -4*p = -2*a + 17 + 13, 0 = -4*a - 4*p. Let h(d) = d - 6. Let v be h(a). Which is greater: v or -2/3?
-2/3
Let c = -6 - -6. Let u(i) = -i**3. Let f be u(1). Which is smaller: f or c?
f
Suppose -3*c + 8 = -1. Suppose 1 = c*j - 2. Which is greater: j or 3/2?
3/2
Let l = 29 - 29. Let s = 2 - -2. Let r(g) = g**3 - 4*g**2 + g - 4. Let c be r(s). Is c > l?
False
Let w be ((-4)/(-370))/((-2)/(-20)). Let p = -344236/111 + 3101. Let k = p - w. Are k and -1 equal?
False
Let n be (-8)/(-36) + 296/288. Is 1 at most n?
True
Let v be 0 - (1 + (-23)/13). Let f = v + -53/52. Which is bigger: f or 0?
0
Suppose 2*a + 0*a = 2*l + 10, a - 8 = 4*l. Which is smaller: a or 8/3?
8/3
Suppose 0 = 7*q - 3*q. Suppose 0 = -q*i - 5*i - 25. Which is bigger: i or -7?
i
Suppose 2*r + 3*j = -46, 4*r - r + 4*j = -68. Let b be (-6)/8*r/42. Let i = b - 29/42. Is i at least as big as -0.2?
False
Let z be (-14)/35 - 2054/40. Let h = z - -52. Let v = -1 - -1. Is v at least h?
False
Suppose 0 = -4*n, k = -2*k + 2*n + 45. Is k less than 14?
False
Let d = -2 - -5. Let n be (-3)/((-6)/5) - 2. Which is greater: d or n?
d
Let k be 520/14 + 16/(-28). Let c = k - 7950/217. Does 0 = c?
False
Suppose -d - 2*p - 1 = 0, -2*d - 61 = 3*d - 4*p. Which is bigger: -8 or d?
-8
Let o be -3 + (-4)/1 + -234. Let w = -8195/34 - o. Is w at most 1?
True
Suppose 0*y + 3*y = 2*f, -2*y = 2*f. Suppose -3*j + 3 = -f. Which is bigger: j or 2?
2
Let j(m) = -2*m**3 + 5*m**2 + 7*m - 7. Let g(q) = q**3 - 3*q**2 - 4*q + 3. Let h(d) = 5*g(d) + 2*j(d). Let o be h(6). Does 1/12 = o?
False
Suppose 0 = -j - 4*j - 75. Does j = -15?
True
Let r be ((-22)/66)/(2/(-6)). Is r at least as big as 14/9?
False
Let k be 3284/(-84) - 1 - 2. Let b = k - -122/3. Is -2 < b?
True
Let g = 0.1 + -0.3. Let i = 0.1 + g. Is 1 at least i?
True
Suppose -3*h = -5*h. Is -1/10 at most h?
True
Suppose 1 = z + l, 0*z - l = -3*z + 7. Suppose z*c = n - 0*n, 5*c + 3*n = 0. Let y = -95 + 1424/15. Which is smaller: y or c?
y
Suppose -2*m = -6*m - 16. Let q = m - -3. Is q at most -3/8?
True
Suppose -3*c + 12 = 3*q + 3, 3 = c + 2*q. Let f be c*(33/(-18) + 2). Let m be 1 - -1*4/(-5). Which is smaller: m or f?
m
Let k = 13 + -10. Suppose -k*x + 4 = -2*x. Do 4 and x have the same value?
True
Let g = -14 - -27. Is g at least 13?
True
Suppose -5*r + 4*f - 47 = 0, -7*r = -3*r + 2*f + 22. Let t = r - -22/3. Suppose 2*s + 4 = 2. Do t and s have the same value?
False
Let s = -4.3 - -4.2. Is s greater than or equal to 2/7?
False
Suppose -y = -5*y + 12. Let h be y/(-9) + (-4)/6. Which is smaller: 0 or h?
h
Suppose 0 = 5*j - 0 + 15. Which is greater: j or -2?
-2
Let t be ((-14)/(-315))/(1/(-10)). Which is bigger: -0.3 or t?
-0.3
Suppose -v + 0*v - 2 = 0. Suppose -18 = 6*y - 0*y. Which is smaller: v or y?
y
Let h be 261/(-12)*16/(-18). Let i = 19 - h. Let d = -1 - -1.2. Do i and d have different values?
True
Suppose 20 - 8 = 3*k. Let b = k - 4. Suppose b = d + 5*t - 13, 2 = t - 1. Which is bigger: d or -1?
-1
Let k be (3*2/(-24))/(4/(-16)). Is k at least 2?
False
Let z be 4*9*7/2. Let a be (-7)/(-3)*12/z. Is a less than 0?
False
Let y(k) = k - 3. Let n be y(4). Which is bigger: 2/47 or n?
n
Let x = 3 + 3. Let z be 12/5 - (x - 4). Let p = -3.08 + 0.08. Is p <= z?
True
Let p(j) = -j**3 + 2*j**2 + 2*j + 2. Let h be p(3). Which is greater: h or 3/7?
3/7
Let x = 8 + 9. Let a = x + -15.6. Let r = a - -0.6. Are r and 1/4 unequal?
True
Suppose -5 = -4*f + 5*f. Let y be 6/(-45) - (-1)/f. Let t(b) = b**3 + 4*b**2 - 4*b + 6. Let w be t(-5). Which is bigger: w or y?
w
Let g = 989 + -36591/37. Is -1 at most g?
True
Let i = 1138 + -5716/5. Which is smaller: -6 or i?
-6
Let l = -1638 + 47490/29. Which is smaller: l or -1?
-1
Let c(h) = -2*h + 2. Let j be c(1). Let x = 1826/1239 + -8/177. Is x greater than j?
True
Let h = -20 - -19. Which is smaller: -2 or h?
-2
Let z = 2 + -2. Suppose -20 = 2*g + 3*g - 4*i, -2*g + 15 = 3*i. Suppose -b - 3 = g, -3 = -r + 3*b + 5. Is r < z?
True
Let w be (-175)/(-10)*(4 - 2). Suppose 2*y + 3*y - w = -5*t, -2*t - 10 = -2*y. Let k be 2*(-1 + 4/y). Is k less than -0.1?
True
Let a = -5 - -8. Suppose t - a*d - 2*d = -13, 0 = 5*t - 5*d - 15. Suppose 0 = -5*g + 2*h - t, -4*h + 2 = 2*g - 0. Is -1/2 < g?
False
Let i be 4/(-8)*3/(-6). Let o = 0.04 - 0.34. Is o at most i?
True
Suppose 3*z - k + 0*k - 14 = 0, 0 = -5*z + 4*k + 21. Is 3 less than z?
True
Let b = -1.4 + 1.47. Let g = b - 4.07. Let v = 3 + g. Is -1/2 smaller than v?
False
Let i = 2 + -2. Suppose i*r = 5*r. Let y be ((-8)/(-24))/((-4)/3). Do r and y have the same value?
False
Let y = 20 + -19. Is 4 != y?
True
Let v = -5.993 + -0.047. Let m = 0.04 + v. Which is greater: m or -1/4?
-1/4
Let l = -11031/56 - -197. Let n = 109/168 + l. Let g = 8 - 6. Is g at most n?
False
Let c(t) = -t**3 + 2*t**2 + 4*t. Let b be c(3). Let m be 0 - 4/(-6)*b. Which is bigger: m or 4/7?
m
Let v = -1 - -16. Let o(r) = r**2 - 14*r - 14. Let j be o(v). Let a be -2*(18/16 + -1). Which is smaller: j or a?
a
Let v(j) = -j**2 + 6*j + 1. Let r be v(5). Is 7 greater than r?
True
Let a = -67 - -62. Is a less than or equal to -6?
False
Suppose 5*r - 2*i +