or 5/6?
a
Let v = -3.1023 + 0.0723. Let g = -5.03 + 5. Let u = g - v. Which is smaller: 2/7 or u?
2/7
Let m be (10/15)/((-4)/(-6)). Suppose -1 - m = -2*s. Suppose -6*z = -2*z - 5*q + 1, 0 = 4*z - 4*q. Is z smaller than s?
False
Suppose -3*f + 2*i = 26, -5*f = i - 1 + 53. Let s = 27 + -38. Does s = f?
False
Let v = -0.6 - -0.6. Let b = 35.9 - 38. Let s = -0.1 - b. Which is smaller: v or s?
v
Suppose -4 = -2*q - 6. Let y = -7 - q. Let a = y + 7. Which is smaller: a or 2/7?
2/7
Let u(j) = 2*j**2 + 4*j + 2. Let h be u(-2). Suppose -4*m - h = -2*m. Is m at least as big as -2/9?
False
Let x(d) = d + 5. Let c be x(0). Let g(p) = -p**2 - 5*p - 3. Let k be g(-2). Suppose -c*z = -k*z + 2. Is z > 2/7?
False
Let b be (-17)/(-3 + 64/22). Let j = b - 1311/7. Which is bigger: 1 or j?
1
Let p = -26 + 25. Which is smaller: p or -1/14?
p
Let t = 14 + -13.8. Is -1 >= t?
False
Suppose 5*y = -2*l + l - 60, l = -y - 12. Let f be -10 + -1 - 0/1. Is y greater than f?
False
Let k = 3 - 2. Let o = 1 + k. Which is bigger: o or -1?
o
Suppose 184 - 2329 = 5*q. Let l = q + 13301/31. Let k be (0 - (-3 - -2))*-1. Is k at most as big as l?
True
Suppose 4*v = 43 + 5. Let z = 34 + -22. Do z and v have the same value?
True
Suppose 6 = l + 2*l. Let u = -9 + l. Is u at least -8?
True
Let t = 9 + -28/3. Suppose -2*n = -5*n + 6. Let g be 1*2/(-8)*n. Is t less than g?
False
Suppose 2*m - 1 = 3, 5*j = -3*m + 6. Which is smaller: j or 3/23?
j
Let m = 6 + -6. Suppose -5*d = -4*y - 0*y + 14, -2*y + 2 = m. Let u be 3 + -3 + d/(-7). Are u and -1 equal?
False
Let b = -2 + -4. Is b at most as big as -2?
True
Let f be 0 - ((-24)/11 + 2). Let r(u) = -u**3 - 3*u**2 - 3*u - 1. Suppose 0 = d - 5*t - 8, -5*d + 0*t - 4 = -3*t. Let z be r(d). Is z >= f?
True
Let w(o) = o**3 - 5*o**2 - o + 4. Let v be w(5). Let n be 2*(-4)/9 - v. Is n not equal to 0?
True
Suppose 3*o + 28592 = -o. Let k = o - -35944/5. Let p = -41 + k. Which is bigger: -2 or p?
p
Let f = -0.56 + -24.54. Let s = f + 24. Let z = s - -0.1. Are z and -1/2 nonequal?
True
Let y(t) = -t**2 - 6*t + 3. Let a be y(-6). Suppose -2*u - 3 = -a*u. Is 1 < u?
True
Let v = -1.2 + -5.8. Let m = -6 - v. Let k be (2*-1*1)/(-4). Which is smaller: k or m?
k
Let o(n) = 2*n**2 - 3*n - 1. Let v be o(3). Suppose 24 - 6 = 6*q. Suppose 0 = -q*s + v + 1. Which is greater: s or 4?
4
Let k = -79/19530 - 1/1395. Which is smaller: 0 or k?
k
Let o be 3*2/(-8)*12. Let j be (-3)/o - 1/3. Let h be (1 + j)*(-3 - -3). Which is bigger: h or -1/2?
h
Let w = -19 - -37. Which is bigger: 0.1 or w?
w
Let l(d) = -3*d - 1. Let w be l(-4). Is 11 at most as big as w?
True
Let x be -1 + (-398)/(-99) + -3. Is x less than or equal to -1?
False
Suppose -4*a + 18 = 46. Is a < -7?
False
Suppose t = -3*t. Suppose 4*p - 5*p - 1 = t. Which is smaller: -2/9 or p?
p
Let r = -6 - -6. Suppose -4*n + 60 + 40 = r. Suppose 2*m + n = -3*m. Is -5 bigger than m?
False
Let w = -9 - -25. Which is bigger: 14 or w?
w
Let x = 2555/18 + -142. Let r be ((-2)/(-8))/(7/168*6). Which is smaller: r or x?
x
Let h = -0.31 - -0.21. Suppose 4*r + 12 = 7*r. Suppose r*u - u + 9 = 0. Are u and h equal?
False
Suppose -19 = -3*m - 31. Let h = -0.9 + 1. Do m and h have the same value?
False
Let s = 25 - 15. Let v = -8 + s. Which is greater: 1 or v?
v
Let n(b) = -b - 2. Let i be n(9). Let v = i + 9. Which is smaller: -5 or v?
-5
Let n(p) = 2*p**2 - 7*p + 16. Let u be n(6). Is 48 less than u?
False
Let n = -0.4 - 0.1. Let m = 0.5 - 0.2. Let q = m + n. Does q = 0.1?
False
Let i = 20 + -21. Is 7 at most i?
False
Suppose 0 = 4*k - 5*k - 1. Let a be k/(-2) - (-4)/(-8). Are 1.1 and a unequal?
True
Suppose -3*a = a - 16. Suppose -l = a*l. Which is bigger: l or -3/8?
l
Let v = -544/14895 - -2493793/27362115. Let b = 1/167 + v. Is b > 1?
False
Suppose 2 = -5*h - 3*x - 0*x, 3*h - 2*x = 14. Is 6 smaller than h?
False
Let g = -0.83 - -0.9. Let z = g + 0.33. Is -1/2 > z?
False
Suppose -5*x = -3*y - 4*x, -3*x = -5*y - 4. Suppose -3*m + 19 = 4. Suppose y = m*p - 4. Is 1 less than p?
False
Let z be ((-3)/2)/((-3)/(-18)). Is z less than or equal to -10?
False
Let a = 6.07 - 0.07. Let q = -20 - -12. Let z = a + q. Which is smaller: z or -0.1?
z
Let i = 0.9 - -0.1. Let l = -1.2 - -1.1. Is i <= l?
False
Let n = -1.5 + 1.5. Which is greater: n or -3/25?
n
Let u = 80 + -82. Are u and 2 nonequal?
True
Let u = 11 + -19. Let p = -66 + 65.9. Is u greater than p?
False
Suppose 3*r + 3*v + 18 = 0, 0 = 2*r - 2*v - 8. Let k = 15 - 21. Let o = k + 5.5. Which is bigger: o or r?
o
Let b = -107/2 + 53. Which is greater: -35 or b?
b
Let r = -18 + 17.83. Let v = -0.03 + r. Is 1/2 != v?
True
Suppose -4 = -p - 3. Is 12 smaller than p?
False
Suppose -h - 4*h = 30. Is 0 bigger than h?
True
Let f = 0.6 + -2. Which is greater: 1 or f?
1
Suppose 2*u + 10 = -3*u, 52 = 2*f - 3*u. Let b = f - 48. Let q be -3 - b/(-9)*-1. Which is greater: 1 or q?
1
Suppose 0 = -8*x + 3*x + 85. Is x greater than 17?
False
Suppose 4*z + 335 = -525. Let w be (-96)/z + 20/(-50). Which is bigger: w or 1?
1
Let w be ((-16)/(-288))/(1/(-4)). Is w smaller than -1?
False
Let b = 0 - 1. Let z be (-1 + 2)*b - -1. Let i be 2/(-7) - (-3 - -3). Are i and z unequal?
True
Let n be 2/(-5)*(-20)/(-16). Let g be (8/(-190))/(2/(-5)). Is g less than or equal to n?
False
Let i(x) = x - 4. Let v be (-8)/(3/(-3)) + -1. Let d be i(v). Let h = d - 2. Which is greater: 2 or h?
2
Let j(h) = -h**2 - 12*h + 20. Let t be j(-6). Does 56 = t?
True
Let b be 176/(-6)*(162/12)/9. Do b and -44 have the same value?
True
Let k = -4025.402 - -4021. Let m = 0.002 + k. Let b = 4 + m. Is b greater than 0?
False
Let c = 0.1 - 0.1. Let h = -0.1 + c. Let i = -1841/2444 + 2/611. Which is smaller: i or h?
i
Suppose 5*h = 3*c - 11, -6*c = -4*h - 2*c - 12. Is -1 at least as big as h?
True
Let w(d) = d**3 + 5*d**2 - 1. Let a be w(-5). Let t = -137/105 + -1/35. Is a not equal to t?
True
Let n be 2/1*(-5 + 4). Is n greater than -6/7?
False
Let z = -7.4 + 7. Let g = 0 + 0.6. Let d = g + z. Which is greater: -0.2 or d?
d
Let d = -19 + 26. Suppose -d = -7*x - 0. Which is greater: -2/45 or x?
x
Suppose -2*u + 5*k - 151 + 7 = 0, -5*u + 4*k - 343 = 0. Is u at least as big as -69?
True
Let s = 0.4 - -3.4. Let k = s + -4. Let o = k - -0.3. Is o not equal to 0?
True
Let h = 84/13 + -259/26. Suppose 3*p = -p - 16. Let w = h - p. Which is smaller: -2 or w?
-2
Let d(o) = 2*o - 4. Let q be d(5). Suppose 24 = 3*t + q. Suppose -6 - t = 3*p. Is -5 >= p?
False
Let l(y) = -y - 2. Let c be l(-5). Suppose t = -2*t + c. Suppose 4*i - 3*i = -t. Which is bigger: i or -2?
i
Let h = -45 - -97. Is h < 52?
False
Suppose 47 = 4*l + 63. Which is greater: l or -1?
-1
Suppose 3*i - 5 = 1. Is i greater than or equal to 1?
True
Let r = 55 - 61. Suppose -3*z - 2*z - 30 = 0. Is r <= z?
True
Let j = 0.11 - 0.11. Let x = -0.2 - -0.1. Let h = j + x. Are -3 and h nonequal?
True
Let x(m) = m**3 + m**2 + m + 1. Let i be x(-1). Let l = -157/70 - -21/10. Is l greater than or equal to i?
False
Suppose -4*b - 11 - 9 = 0. Suppose 3*i + 0*y + y + 16 = 0, 0 = -4*i + 4*y - 16. Let w = i + 1. Which is smaller: w or b?
b
Let w be ((-3)/((-12)/(-1)))/(-1). Which is bigger: -1 or w?
w
Let k = -1152 - -1152. Suppose 3*i - 5*c = 2, -2*i - c - 10 = -5*i. Let o be 3*1 - (-2 + i). Is k smaller than o?
True
Let t be 1/((-6)/(-9))*2. Let u(s) = -t - 1 - 1 - s. Let n be u(-5). Which is greater: 2/7 or n?
2/7
Let p = -0.46 + -0.14. Let j = -0.04 - 0.66. Let m = p - j. Which is bigger: 0.3 or m?
0.3
Let d = 2 - -4. Suppose -2*b + 2*h = -4, b - h = 2*b. Let y = b + d. Are 8 and y unequal?
True
Let c be 1/(-2)*(4 - 4). Suppose g - 2*g = -166. Let v = g - 1828/11. Which is smaller: v or c?
v
Suppose 3*q - 7*q = 4, -q - 13 = -4*t. Suppose -10 = -3*d - f, t*d + 0*f = -3*f + 6. Suppose 5*u + 9 = -d*l, 0*l - 1 = -3*l + 4*u. Is l smaller than 1/4?
True
Let g = 0.1 - 0.1. Let s = 0.07 - 0.27. Which is smaller: g or s?
s
Let h = 19 + -11. Suppose 0 = -q + 5*q - h. Is q < 3?
True
Let u = -1 + -1. Let g = 14 - 14.7. Let v = 1.7 + g. Which is smaller: v or u?
u
Let v be -3*(2/6 + -1). Let i = v + -3. Let x = -7 + 5. Which is smaller: x or i?
x
Let n be -2 + -5 + (-34)/(-6). Is n bigger than -1?
False
Let s = 6 - 4. Suppose 6 = 3*p + 2*y, -5*p - y = -2*y - 23. Let z be (-2)/(-1)*p/8. Which is smaller: s or