 to f?
False
Let w = 129 + -129. Is w less than -4/535?
False
Suppose -5*a - 2*x + 1340 = 0, 4*a + 0*x + 3*x = 1079. Suppose 261*l - a*l = -70. Is l at least as big as 15?
False
Suppose 0 = 5*a - a - 12. Suppose -160 = -5*l + 4*c, 0 = 3*l + 5*c - 33 - 63. Suppose d - l = -a*d. Is 1 less than d?
True
Let r = -0.228 - 2.743. Let k = r + -0.029. Is 0.18 less than k?
False
Let c = 14.6 - 14. Let b = 5.4 + c. Let j = 7 - b. Which is smaller: j or -1/4?
-1/4
Let p = -253.04 - -253. Which is bigger: p or -21?
p
Let g = -935 - 777. Are g and -1713 nonequal?
True
Let z = -31117 + 312329/10. Let k = 116 - z. Is k at least 2?
False
Suppose m = 4*m + 5*a + 9, 5*m - 1 = -3*a. Suppose -d + 3 = -m*d. Let w be 3*(-3 + (-2)/d). Are -7 and w equal?
True
Let z be 6*(1 + 2 + -6 - 1). Let m(i) = 2*i + 2. Let l be m(11). Let d = l + z. Which is bigger: d or -2/35?
d
Let p = -157 + 158. Is 5/299 at most p?
True
Suppose -20 = -4*u + 2*u - 2*z, -9 = -3*u + 4*z. Which is smaller: 2 or u?
2
Let b = 682 - 682. Which is greater: b or -38/27?
b
Let t be 1*(-2)/6 - (-2126)/(-30). Which is greater: t or -70?
-70
Suppose -3*j + 4*k + 1593 = 0, -k = 5*j - 2*k - 2655. Let y = j + -4769/9. Which is bigger: y or 1?
y
Suppose f + 0 - 3 = -2*t, -t = 4*f + 9. Let i be (1 - f)*(3 - 22/(-8)). Is i >= 23?
True
Let k be ((-18)/81)/(6/9). Let y be ((-12744)/266)/6 - -4 - -4. Which is bigger: y or k?
y
Suppose -5*y = 3*c - 17, -5*c = -5*y - 6*c + 19. Suppose 0 = -n + 5*d + y, n = -n + 4*d + 26. Let t = -97/5 + n. Is 1 > t?
True
Let g be 3/((-3)/(-11))*(2 - 1). Which is bigger: g or 4?
g
Suppose -4*s - 34 = 2*v, -s + 8*v - 16 = 10*v. Are -31 and s equal?
False
Let u = -9 - -36. Let j = 0.604 + -28.504. Let c = j + u. Is c <= 0.1?
True
Let a = -659 - -17137/26. Which is smaller: 1 or a?
a
Let z(l) = -l**3 - 6*l**2 + 7*l + 3. Let a be z(-7). Suppose w - 33 = a. Let p = 36 - w. Is p <= -1?
False
Let k be 7 + -5 + 4257/(-74). Let n = k - -111/2. Which is bigger: 0 or n?
0
Let m be (-29)/(-9) - 3 - 62545/180. Let s = 345 + m. Suppose 0 = -2*h - 0*h. Which is smaller: s or h?
s
Let z(f) = 14*f + 11. Let k be z(-3). Let o = k + 25. Let g be o/(-4) + (-121)/110. Which is smaller: g or 0.8?
g
Suppose -3*t - 4*f + 32 = -8*t, 3*t + f = -26. Suppose 4*i - 23 = 1. Suppose 0 = 5*o + 41 - i. Does o = t?
False
Let t(g) = -5*g**2 - 13*g. Let o be t(-3). Let s(j) = j**3 + 6*j**2 - 5*j - 11. Let y be s(o). Is 18 bigger than y?
False
Let r be -6 + 5/(-2 + 7). Do -0.1 and r have the same value?
False
Let q = -2 - 0. Let d be 8/(-3)*q/8. Suppose 0*v + 7*v = 10*v. Is v greater than or equal to d?
False
Let b = 1 - 6. Let d be b/(1*(-20)/8). Suppose -3*q - d*u = -40, 0*u = 5*q - u - 45. Is q at most as big as 10?
True
Let y = 0.3 + -0.2. Suppose 5*v - 15 = 5*s + 10, -2*v = -3*s - 15. Let t be ((-14)/(-4))/(3/(-6) + v). Does y = t?
False
Let t = 3/3826 + 1163083/26782. Which is smaller: 42 or t?
42
Let b = 32 + -25. Let p be b*((-8)/10 - (-8)/(-40)). Which is smaller: -8 or p?
-8
Let j be (4185/(-124))/((-2)/(-8)). Which is bigger: -137 or j?
j
Let r be 2*(-6 - 26/(-4)). Is 2/703 equal to r?
False
Let d be (-8)/2 - 45/(-21). Let p = d - -2. Are p and 1 unequal?
True
Let u = 1260/13 + -19082/195. Which is greater: -2 or u?
u
Let t = -15.59 + -0.41. Let g = 17.3 + t. Let b = g + -1.2. Do b and -1 have different values?
True
Let o(r) = -2*r. Let v(s) = -s. Let h(z) = o(z) - 3*v(z). Let d be h(1). Which is smaller: d or 3/5?
3/5
Let h = -2662907/10 - -266640. Let s = -349 + h. Suppose 4*m - 3*m + 4*m = 0. Are s and m equal?
False
Let b = 9 + -10. Let o be (-731)/(-697) - (-1)/(-1). Is o not equal to b?
True
Let t = 391/182 + -1/182. Let z = 7/4 - -15/28. Let n = t - z. Which is bigger: 0 or n?
0
Let k be (((-4)/(-6))/(-2))/((-202)/(-2626)). Is 2/3 smaller than k?
False
Let b = 14 - 3. Let m = b - 7. Let g be 1/(-2)*(4 - m). Which is smaller: g or -2/45?
-2/45
Let i be ((-25)/3975)/(4/3). Which is smaller: i or -1?
-1
Let f = -5 + 9. Suppose 114*s = 73*s + 1517. Suppose -s*g + 33*g = -f. Which is smaller: g or -5/12?
-5/12
Let o(q) = q**3 - 5*q**2 + 3*q + 3. Let u be o(4). Let g be (-708)/(-102) - (-4 + 12). Which is smaller: g or u?
g
Let b(y) = y**3 + 5*y**2 - 7*y + 3. Let s = 0 - -4. Suppose -2 = -s*v - 26. Let h be b(v). Which is bigger: h or 8?
h
Suppose 24 = 4*s + 5*p, -3*s - 6 = 3*p - 21. Are -1/637 and s equal?
False
Let d(p) = -p + 2. Let f(u) = -2*u + 0*u - 4 - 17 + 1. Let r be f(-12). Let l be d(r). Is -2 at most as big as l?
True
Let k = -117/10 - -11. Is k <= -3?
False
Let s be (-187)/(-220) - 2/20. Suppose 2*n = 6*n + 4. Let x be 1 - -1*(-2 - n). Is x smaller than s?
True
Let q(i) = i**3 + 5*i**2 - 6*i + 2. Let c be q(-6). Let w = 58 + -103. Let r be 12*(3 + 130/w). Is c less than or equal to r?
False
Suppose -40 = -n - 10. Which is smaller: n or 154/5?
n
Let k(j) = -j + 11. Let f be k(12). Let o be f - (-1 - 2 - -72) - 1. Which is greater: 0.1 or o?
0.1
Let a be -1*(1 - 2/2). Let o be (8/102)/(52/(-156)). Is a not equal to o?
True
Suppose -f = 3*f + 20. Let x be (-5 + 59)/((-376)/(-38)). Let t = -2/47 - x. Are t and f equal?
False
Let g = 0.176 + 0.024. Let c = 0.2 + -0.1. Let d = c - g. Are 1.1 and d equal?
False
Suppose 5*q - q + 2*p - 188 = 0, -144 = -3*q - 3*p. Is 3 equal to q?
False
Let h = -1097 + 1083. Which is greater: h or -25?
h
Let g = 1297 - 2011. Let j = g + 9287/13. Do 1/4 and j have the same value?
False
Suppose -i - 2*g = -3*i + 402, 4*g = i - 189. Let u = -1438/7 + i. Is u greater than 0?
False
Let r = 56 - 16. Let x = -24 + r. Suppose -5*p - 2*g + 14 = -2*p, 0 = 2*p + 3*g - x. Which is greater: p or -1?
p
Let d = 0.481 - 0.595. Which is greater: -1 or d?
d
Suppose 0 = m + 13 - 9. Let y be (m/24)/((-1)/(-9)). Is 0.03 bigger than y?
True
Let f = 151.29 + -10.29. Which is smaller: 1 or f?
1
Let t = -7134.1 + 7134. Let n = -1.3 + -1.5. Which is greater: t or n?
t
Suppose 28*d + 7*d + 2800 = 0. Are 4 and d equal?
False
Let c = 18 + -14. Suppose -4*y - 20 = 4*w, -2*w - c*y - 16 - 4 = 0. Suppose 13*f - 8*f + 5 = 0. Which is bigger: w or f?
w
Let q = 0.135 - -0.02. Let r = -0.055 + q. Which is smaller: r or 8/9?
r
Suppose 12*a - 11*a = 426. Let l = a + -2549/6. Which is smaller: -1 or l?
-1
Let u = 95.4 - 95. Which is smaller: u or -6?
-6
Let s = -7 - 0. Let v = s + 20. Suppose 0*r - 8 = 2*k - 3*r, -4*r + v = -5*k. Which is smaller: -1/3 or k?
k
Let o = 133 + -211. Is -79 greater than o?
False
Suppose -g + 2*k = 34, 5*g - 14*k = -17*k - 105. Which is greater: -47/2 or g?
-47/2
Let m(q) = -q**2 - 17*q + 101. Let b be m(5). Which is greater: 0.1 or b?
0.1
Let j = -71 + 101.2. Let f = j + -30. Are f and -0.8 non-equal?
True
Suppose 26 = 4*d + o - 25, -9 = -d + o. Suppose 0*y = d*y - 24. Are 7/3 and y nonequal?
True
Suppose 0 = -c - 4*u + 16, -15 = -5*u + 5. Suppose 5*y - 5*l = 10, 3 = -c*y + 4*y + l. Are y and -3/38 equal?
False
Suppose -2*s = -3*s + 46. Let d be (-15)/2*(14/(-28))/(2/24). Do s and d have different values?
True
Let y = -60.3 + 61. Suppose 4*r = 2*v + 4, -2*r = 2*v - 5*r + 1. Suppose -5*c - 25 = 0, -v + 2 = 3*x + c. Which is bigger: x or y?
x
Let h = -79.8 - -80. Which is greater: h or -0.029?
h
Let g(u) = 8*u**2 + u - 2. Let j be g(1). Suppose -j = -3*f + 8. Which is bigger: -0.1 or f?
f
Let a = -0.008 - -0.063. Let d = -0.025 + a. Is 1/5 at most d?
False
Let x(h) = -23*h**3 + 1. Let i be x(-1). Suppose 0 = 4*z - 0*z - 3*s + i, 2*s = 3*z + 17. Is z at least as big as 0?
False
Let w = 1535 + -16905/11. Let y = 22 - 25. Are y and w equal?
False
Suppose 5*h = -4*w - 73, h = 14*w - 16*w - 29. Let c be 10/(-4)*(-30)/(-3). Let d = -37 - c. Is d less than w?
False
Let c(j) = -28 + 38 - 4*j + 6*j + 2*j**2 + 8*j. Let n be c(-6). Which is bigger: 21 or n?
n
Let l = -13/870 + 9257/677730. Is l less than -1?
False
Let x be 2*1*(-10)/4. Let f(g) = g**2 + 4*g + 5. Let i be f(x). Suppose 3*q = q - i. Which is smaller: q or -2/5?
q
Let q be (-17 - 0)/((-1)/(-1)). Let z = 23.4 + -23.5. Which is greater: q or z?
z
Suppose 6258 = -10*b + 14898. Are 865 and b unequal?
True
Let j be ((-7)/(-4))/(((-66)/(-16))/(-33)). Let z(g) = -g**3 + 4*g**2 - 4*g + 2. Let r be z(4). Are r and j nonequal?
False
Suppose 12 + 6 = -3*s. Let j be 27/(-6)*4/s. Let w be (3 - j)*3/3. Is w at least as big as 3/7?
False
