 than 0.3?
False
Let o = -364 - -422. Let r be 708/6*(-1)/(-2). Is o <= r?
True
Let a = -2 + -1. Suppose -3*d - 3*c = -18, 2*c + 34 = 5*d + 3*c. Let p = d + -9. Which is smaller: p or a?
a
Let m = -10 + 15. Suppose -n - 3 = -3*h + 7, -m*h + 40 = 3*n. Let j be (-87)/(-87) + ((-14)/(-18) - 2). Is h less than or equal to j?
False
Let w be 15*126/35 + 3. Is w equal to 61?
False
Let y = -2148.943 - -2148. Let l = -0.057 + y. Which is smaller: l or -3?
-3
Suppose -w = 3*w - 16, -80 = -5*c + 5*w. Let z be (-104)/18 - c/90. Is z bigger than -5?
False
Let x = 0.51 - 0.26. Let t = x - 0.15. Which is smaller: 1/7 or t?
t
Let y be 23/(-69)*(-3)/4*-30. Which is greater: -9 or y?
y
Suppose 2*z - r = r + 8, r - 2 = -5*z. Suppose -z + 7 = q. Suppose 5*a + 4*o + q = 0, 0*a + 4*o + 8 = -4*a. Which is smaller: 1 or a?
1
Let l = 65.89 + -66. Let n = 18.09 - 19.2. Let z = n - l. Which is bigger: 7 or z?
7
Let b = -25 + 11. Let c(x) = -x**2 - 12*x + 16. Let i be c(b). Let a be i/1 - (-2)/(-1). Is a bigger than -15?
True
Suppose 18 = 10*g - 2. Suppose 0*l + 40 = 5*l. Let m be g*(12/l + -2). Are m and -2/17 equal?
False
Let s be 45/20 - 6/(-8). Suppose s*o + 5 + 1 = 0. Let f be 1/5 - o/(-10). Is f at least as big as 3/4?
False
Let h be ((-2)/(-6))/(67/(-35979)). Which is smaller: -181 or h?
-181
Let s be (4/6 - 2)*18/(-84). Does -1 = s?
False
Let t = 140/3 + -46. Let h = 1.166 - 1.2. Let k = h - -0.024. Which is smaller: t or k?
k
Let v = -934 - -933. Which is smaller: 36 or v?
v
Suppose u = 233*v - 228*v - 237, 5*u = 2*v - 1139. Which is smaller: u or -226?
u
Suppose -2*v + 6*v + 8 = 0. Let r = -36/7 - -4. Do r and v have different values?
True
Suppose -4*g = 16, 0*g - 16 = j + 4*g. Which is smaller: 3/259 or j?
j
Let n(g) = 7*g - 278. Let t be n(23). Is -117 equal to t?
True
Let i be ((-3)/(-4))/((-5)/(-4)). Suppose -5*b + 9*b = -5*b. Which is greater: b or i?
i
Let v = -0.10205 + 42.09205. Let a = -42 + v. Do a and 0 have the same value?
False
Let x = 3 + -7. Let f be 87/24 + x/1. Is f bigger than -1?
True
Suppose 3*v + 4*f = -1, 4*v - 4*f + 11 = 47. Suppose -v*h + 27 = 132. Is h at most as big as 0.1?
True
Suppose 9*b = -1926 - 306. Let l = 734/3 + b. Is -2 >= l?
True
Let l = -652 - -240. Which is greater: -413 or l?
l
Let v = 1541/1025 + -60/41. Is 0 != v?
True
Let h(t) = t + 13. Let d be h(-10). Let m be (-1)/d*0/3. Which is smaller: m or -1/61?
-1/61
Let f(x) = x**3 + 2*x**2 - x - 6. Let i be f(-4). Which is bigger: -29 or i?
-29
Let t = -379564/845 - -2246/5. Let z(a) = a**3 + 6*a**2 + 5*a - 1. Let j be z(-5). Which is greater: t or j?
t
Let z(x) = x + 13. Let c be z(-10). Suppose 18 + 6 = -c*k. Which is smaller: k or -5?
k
Suppose -17*u + 9 = -14*u. Let z be (2/1 - 3) + u. Which is smaller: z or 4?
z
Suppose 9*o - 7*o + 2*t + 82 = 0, -o = -4*t + 66. Is -43 less than o?
False
Let p be (-4 + -2 - -2) + (0 - -8). Let z be p - (3/1 + (-91)/65). Is -3/4 equal to z?
False
Suppose 8*x - 3*x = -420. Let p = x - -165/2. Suppose f = -0*f - 2. Is f <= p?
True
Let d be (-35)/10*(-2 + 0). Suppose -5*o = -d*o - 2. Let l be 4/10*o/(-3). Is 1/2 bigger than l?
True
Suppose 0 = 2*k + 2*k + 4*z - 1496, -5*k = 2*z - 1858. Is k > 370?
False
Let b be 3/((8 + 1306)/(-9)). Which is bigger: b or 0?
0
Suppose -q - 4*q = 30. Let a be (16/(-36))/(4/q). Which is bigger: a or -5/8?
a
Let k = -19 + 28. Let x be (-2)/k - 230/18. Suppose 154*t + 60 = 149*t. Which is bigger: x or t?
t
Let o be (10 - 13)/(6/10). Let h = o + 8. Let s(w) = -10*w - 2. Let v be s(-1). Which is smaller: v or h?
h
Let i = 1.7 + 6.3. Let j = -19 - -17. Let x = i + j. Which is bigger: 0 or x?
x
Suppose 2*z = 7*z + 5. Let d = -75 + 1497/20. Which is smaller: d or z?
z
Suppose -12 = -3*j, 89*y = 91*y - 2*j + 8. Which is smaller: 2/1111 or y?
y
Suppose 3*o + 89 = 4*v, 5*o - 2*v = -0*v - 125. Let c = 22 + o. Which is smaller: -4 or c?
-4
Let d be (-2 - (54 + 1)) + 5. Is d bigger than -52?
False
Let z = 38.28 - -0.72. Let c = z + -44. Let j = -1.6 - -0.6. Is j equal to c?
False
Let x(h) = -h**3 - 53*h + 2 + 53*h + 4*h**2. Let w be x(4). Is w > 6/5?
True
Let n = -26 - -25. Let u be 0*n/5 + -6. Is u equal to -6?
True
Suppose 50*j - 4*j = -58*j. Let c(t) = t**2 - 4*t + 2. Let a be c(3). Let u be (-1)/a*(-2)/(-26). Is u at most j?
False
Suppose 4*p - 73 = -3*s, -3*p + 5*s = -58 - 4. Suppose 5*z - 7*z = -36. Does p = z?
False
Let p(u) = -4*u - 248. Let v be p(18). Which is smaller: v or -321?
-321
Suppose -5*x + 8 = -u, 3*u + x - 10 = 2*u. Are u and 2 nonequal?
True
Let p = -0.153 + -5.747. Let f = -5.94 - p. Are f and 0.4 nonequal?
True
Let s be 37/(3/18*-3). Let c be 3*(s/(-6) - -1). Is 41 at most c?
False
Let u be (-123)/55 - (-12)/20. Let y = u + 97/66. Let p = -136 - -135. Which is smaller: p or y?
p
Let p = -129 - -87. Let g = p + 36. Does -0.2 = g?
False
Let k be (-4)/(-22) + 302/(-1782). Is -1 <= k?
True
Suppose -3*k + 54 = 6*k. Let y be (-23)/k*(23 + -14). Is y > -36?
True
Let c = -109 + 69. Let p = -82 - c. Let k be (3/7)/(24/p). Which is greater: -0.2 or k?
-0.2
Let g be 54/21 + 9/21. Suppose -y + 28 = g*y. Suppose 4*u = 1 + 19, 0 = 2*l - 4*u + 6. Is l at most as big as y?
True
Let v(h) = 27*h**2 + 5*h + 5. Let w(p) = -14*p**2 - 2*p - 2. Let i(r) = -2*v(r) - 5*w(r). Let c be i(-1). Let k = 14 - c. Is -2 <= k?
True
Suppose 3*c - 66 = 3*w + 6*c, -2*w - c - 48 = 0. Let r = w + 22. Let l = -3 - r. Which is smaller: 2/37 or l?
2/37
Let q = 0.32 + -0.14. Let o = -8.12 - -8. Let n = q - o. Which is greater: n or 2?
2
Suppose s + 4*s = -6*s. Let g be -2*(-35)/68 - 1. Which is smaller: g or s?
s
Let l be (-35)/(-5)*1/7. Which is smaller: l or 11/15?
11/15
Let x(q) = q**2 - 4*q + 5. Let n be x(4). Let o(y) = y - 7. Let v be o(n). Let z = -215/4 + 53. Is z smaller than v?
False
Suppose -5*s - 29 = -l - 0*l, 0 = -l - 4*s + 2. Which is greater: -6 or l?
l
Let f = -116336/207 - -562. Let t = 52 - 51. Are f and t unequal?
True
Let w = -188 - -190. Which is smaller: w or 31/4?
w
Let q = -8/25 - -491/1300. Which is bigger: -1 or q?
q
Suppose r - 12 = -3*r. Suppose 0 = r*i + 3*q + 9, 8*i - 3*i + 1 = 2*q. Are -5 and i equal?
False
Suppose 2*u = -j + 1057 + 948, -6*j = u - 1008. Which is smaller: u or 0.1?
0.1
Let x be 3*-3*(-10)/18. Suppose 3*q + x*r + 170 = -q, -2*r = 2*q + 86. Let d be (-276)/q - (-4)/(-30). Is 6 greater than d?
False
Let v = -2 - -2. Suppose -3*a = -2*p - 24, -p + 2*a = -2*a + 22. Let g be (-4)/p*12/(-72). Which is smaller: g or v?
g
Let j = 8 - -2. Let g = 21 + -12. Is j less than g?
False
Let y = -4.97 - -5. Let n = 0.0657 + 0.0343. Which is bigger: n or y?
n
Let s(m) = m**2 + m + 10. Let n be s(0). Let q = 27 - n. Let c = q - 16. Is c smaller than -1/3?
False
Let h be (1/3)/((-8)/48). Let z(t) = 3*t - 8. Let f(l) = 4*l - 9. Let v(d) = 6*f(d) - 7*z(d). Let u be v(h). Does -15/4 = u?
False
Let q(n) = -3*n**3 - 7*n + 5. Let c be q(2). Which is smaller: c or -35?
-35
Suppose -7*j + 26 = -5*j. Suppose -l + j = -3*l + 3*z, -2*l = 5*z - 11. Which is smaller: l or 0?
l
Let l = -33.8 - -12. Let p = 23.94 + l. Let u = p + -2.2. Which is greater: -2 or u?
u
Let q(r) = 29*r**2 - 4*r - 2. Let s be q(4). Let v = -24529/55 + s. Are 0 and v nonequal?
True
Let i be (2 - 18/2)/(-1). Let c = i - 0. Which is bigger: c or 6?
c
Suppose -2 = -2*m + 6. Suppose -k + 2*c - m = 7, 2*k - 5 = -5*c. Are k and 0.04 equal?
False
Let j(s) = -3*s + 39. Let a be j(-14). Let c = a + -63. Which is greater: c or 17?
c
Let z(s) = -s**3 - 10*s**2 - 14*s + 16. Let h be z(-8). Let v be h*4/20*5. Is v <= 12/13?
True
Suppose -4*b - 3*x = 81, 2*b + 3*x = -0*b - 33. Are b and 0.01 nonequal?
True
Let m be -3 + -1 + 3/9*3. Let b be 1/(276/(-8))*m. Which is greater: b or 1?
1
Let d(f) = 17*f**2 + 2*f + 2. Let w be d(-1). Suppose 0 = -2*l - 5 + w. Let j(c) = -c**3 - c + 5. Let n be j(0). Which is smaller: n or l?
n
Let c = -924.9 - -925. Is -434 greater than c?
False
Let f(p) = -p**3 + 8*p**2 - 5*p + 6. Let r be f(8). Let k(j) = -j**2 - 29*j + 356. Let s be k(10). Is s at least r?
True
Let l = 18.16 + -7. Let t = 11.2 - l. Which is bigger: 1/5 or t?
1/5
Let t = -47/19 + 746/171. Which is bigger: t or 1?
t
Let w = -188 + 285. Let n = 874/9 - w. Are 1 and n unequal?
True
Let z be (-4 + 4)*(-3)/6. Let a = 4 + z. Suppose -3 = a*u - 7. Which is smaller: u or 3?