
True
Let l be (-1 - (2 - 1)) + 18. Let u be 33/6*l/(-1). Let s = u + 442/5. Is s smaller than -1?
False
Let z be 92/(-28) - (-2 - 1). Let m = -2 - -3. Let k = 1 - m. Is z < k?
True
Suppose 15*o + 20 = 10*o. Which is greater: o or -14/5?
-14/5
Let n = -21.1 + 22. Let w = n - -0.1. Let d = 1.132 - 0.132. Are d and w equal?
True
Let d = 27 + -28.7. Which is smaller: d or 2?
d
Suppose -355 = 8*g + 629. Is -124 bigger than g?
False
Let l = -505289 - -97520542/193. Let q = -7273/10036 + l. Let p = -22/13 - q. Is -1 at least p?
False
Let l be (-8)/6*(-9)/(-6). Let a = 14 - 9. Suppose -a*q = -10*q - 15. Which is greater: l or q?
l
Let i be 14/18 - (-8)/36. Is i at most -1/24?
False
Let z(n) = -n**2 - 4*n - 1. Let u be z(-4). Which is greater: 3/8 or u?
3/8
Let w be (-4)/(-6) - 58/6. Let y = 1 + -10. Is y <= w?
True
Let s = 5 - 0. Let f be 4*(15/(-6))/s. Which is bigger: 2 or f?
2
Let i = -1017 - -4089/4. Is i smaller than 6?
True
Let y(g) = -g**2 + 9*g + 11. Let f be y(10). Let k be (-2)/(-5) - 8/25. Which is bigger: k or f?
f
Let l = -88/3 + 29. Let z = 13/57 + l. Which is bigger: -1 or z?
z
Suppose 4*b = -0 + 20. Suppose 4*s + 24 = 2*i, -2 = -b*s - 3*i - 32. Which is bigger: s or -4?
-4
Let r = -1143 + 277. Let y = 18182/21 + r. Which is smaller: y or -1?
-1
Let p = 7 - 7. Suppose 5*w - 2*g + 1 = p, g + 3 = 1. Is w less than -5/4?
False
Let o be 30/4*6/5. Let k = o - 8. Is 8/7 < k?
False
Let a = -18 - -19.1. Let p = -0.7 + a. Which is smaller: p or -1/4?
-1/4
Let n be (4 + -3 + 56)*-2. Let k be (-2)/(-12) + 31/n. Do k and 1 have the same value?
False
Let f be 0 - 1/((-86)/12). Let b = -13/215 - f. Which is bigger: -1 or b?
b
Let w be 0 + (-2 - 2) - -5. Let n be (w/(-4))/(39/24). Is 0 at most as big as n?
False
Suppose 7*d = 9*d + 28. Which is greater: d or -2?
-2
Let a = -5.3 - -5. Let f = 1.3 + a. Let b = -3 + f. Which is smaller: b or 0?
b
Let r = 1493/7 - 212. Let n be (1/(-1))/(8/(-8)). Let l = n - r. Do l and 0 have the same value?
False
Suppose -15 = -3*y, -4*u + 4*y + 55 = -9. Suppose -2*o + 80 = 2*o. Are o and u nonequal?
True
Let x(o) = -2*o**2 - 7*o - 4. Let w be x(-7). Is w greater than -53?
False
Let i = 31 - 26. Which is smaller: i or 4?
4
Let q(o) = -o**2 - 3*o. Let d be q(-6). Which is bigger: d or 0?
0
Let s = 49 - 33. Let o be s/14 + (-2)/2. Suppose 0 = 4*h + 16, 4*h = 3*d + h - 9. Which is greater: d or o?
o
Let f(o) = 9*o**2 - 2*o - 1. Let q be f(-1). Let r(j) = j - 9. Let d be r(q). Let i = -87/70 - -9/14. Which is bigger: d or i?
d
Let x = 2.4 + 0.6. Let m(d) = d**3 - d**2 + d. Let p be ((-1)/1 + 1)/(-2). Let z be m(p). Which is greater: z or x?
x
Let b = -131706/35 + 3764. Let w = b + -4/7. Is 0 at most as big as w?
True
Suppose -2 = 5*k + 8. Let h = k + 4. Is h > 3/4?
True
Let w(b) = 0*b**2 - b**2 - 2*b**2 + 2*b**2 + 8*b - 7. Let m be w(6). Suppose -6 = m*d + 4. Is d != -1?
True
Let q = 28663/555 + -5/111. Let w = 51 - q. Is -2 != w?
True
Let x be ((-3)/(-4))/(9/144*249). Does -1 = x?
False
Let u be 2/4 - 1/(-6). Let a = 3.9 - 4. Which is bigger: a or u?
u
Let x = -0.4 - -0.7. Let d = -161 + 165. Which is greater: d or x?
d
Let q = -7 - -7. Suppose -t + 3*b - 4 = 0, -b = -t - q*t. Let d be (t/36)/(2/6). Is d smaller than 0?
False
Let r = 0.4 - 0.3. Let h be ((-2)/(-6))/(-1)*(-72)/8. Is h greater than or equal to r?
True
Let n be -2 + 2 + 10/2215. Which is bigger: n or 0?
n
Suppose -5*h - 43 = 4*z + 2, 0 = -4*h - 2*z - 30. Let w be (-60)/(-45)*21/(-6). Is w greater than or equal to h?
True
Suppose -b - 1 = -3*z + 50, 5*b + 75 = 5*z. Suppose 4*l - z = 3*m - 2*m, -2*l = -10. Are m and 0 nonequal?
True
Let a be (5 - -1)/(6/(-8)). Which is smaller: a or -7?
a
Suppose 4 = 2*u + 16. Let k = u - -7. Is -1 not equal to k?
True
Let n be (-567)/142 - (-19 - -15). Is 0 at most n?
True
Suppose 2*i = -7*i. Let q = 1.95 + -2. Are i and q non-equal?
True
Suppose -2*o - 48 = 4*q + o, -2*q - o = 24. Let c = q - -13. Is 3/2 at most c?
False
Let m(q) = q**3 - 8*q**2 - 8*q + 11. Let l be m(9). Which is smaller: 19 or l?
19
Let l = -6 + 8. Let b = -1 + 4. Suppose -i = -b*i. Are l and i equal?
False
Let c(l) = -l**3 + l**2 + 5*l - 7. Let z be c(3). Which is greater: z or 0.3?
0.3
Let b be 18/(-5) + (1 - (-28)/(-20)). Which is greater: -6 or b?
b
Suppose -3*u - 7*b = -9*b - 103, -u + 32 = -3*b. Is u at least as big as 36?
False
Let d(p) = -p - 2. Let v be d(-5). Suppose -4 + v = y. Suppose 2*q + 2*q + 7 = t, -t - 2 = 5*q. Are y and q unequal?
False
Let u = -0.02 + 1.02. Let i = -1.1 + u. Is i at most as big as 4?
True
Let y = -0.08 - 0.12. Suppose 5*p - 36 = -5*c + c, -2*c = 5*p - 28. Suppose -8 = 5*z - 3*l, -3*z - l = c - 2. Is z equal to y?
False
Let j = 827/2346 - 11/34. Let b = j - 211/138. Which is smaller: -3 or b?
-3
Suppose n = -n. Suppose n = l - 2*l - 3. Let q = 4 + l. Is 3/4 at most q?
True
Let q = -26 + 26.2. Which is greater: 0.16 or q?
q
Suppose 2*x + 2 = -x - u, 5*u = 4*x - 29. Which is bigger: 1/78 or x?
x
Let b = -0.1 - -0.1. Let t = -2 - -3. Let p be -1 - ((-8)/6 + t). Which is smaller: b or p?
p
Let f = -3/44 - 35/132. Is -7 at most f?
True
Let i(o) = -4*o - 2. Let v be i(-3). Let u = -9 + v. Suppose 0 = 3*t + 2*g - 7, -g + 11 = t + 4*g. Is u less than t?
False
Let w = 209/164 - 1/41. Let q be (-49)/(-21) - (-2)/(-6). Which is smaller: q or w?
w
Suppose p - 2*l = 2*l + 16, -l = -4*p + 4. Suppose -3*q - 15 = 2*q. Is q smaller than p?
True
Suppose 2*p - 1 - 5 = 0. Let k = -5 + 9. Which is smaller: k or p?
p
Let x be (0/(-4))/(3 + 0). Let s = x - 4. Is s bigger than -5?
True
Let j = 1.8 - 1.6. Is j != -1?
True
Let x(k) = -k**3 + k**2 + 2*k - 3. Let g be x(2). Let o be g/(9/(-12) + 0). Which is smaller: o or 3?
3
Let t = 146.97 - 143. Let h = 4 - t. Let g = 0 + h. Is 1/4 greater than g?
True
Suppose 8 = d + k, 8*d - 22 = 3*d + 4*k. Let m(p) = p + 18. Let a be m(-11). Is d not equal to a?
True
Let i(c) = -c**2 - 5*c + 5. Let n be i(-6). Which is greater: n or 0?
0
Let c be ((-2)/4)/((-9)/(-57)). Let r = -5/2 - c. Let d = 0 + 1. Which is greater: r or d?
d
Let n = 0 - 2. Let q = -1.7 - n. Which is smaller: q or -1/4?
-1/4
Suppose -7*i + 10 = -4. Which is smaller: i or 5?
i
Let u = -13.1 + 13. Let x = u + 0.4. Which is smaller: 0.1 or x?
0.1
Let u(p) = -4*p**2 - 1. Let d be u(-1). Let f(t) = t + 5. Let w be f(d). Which is smaller: -1 or w?
-1
Suppose 5*h = 2*a + 40, -4*h + a + 3*a + 44 = 0. Let n be ((-2)/h)/((-1)/6). Suppose 3*g - 10 = -d, 5*g + 3*d - 12 + n = 0. Are 3 and g nonequal?
True
Let g(t) be the third derivative of -t**5/15 - t**4/24 - t**3/3 - 2*t**2. Let i(s) be the first derivative of g(s). Let m be i(-1). Is 7 > m?
False
Let a(h) = h**2 - 4 + 1 + h + 4. Let x be a(-1). Let n = -1/48 + -5/16. Is n equal to x?
False
Let y be -1 - (10/(-3) + 2). Suppose 0 = 3*x - 4*x - 9. Let f(g) = g**3 + 9*g**2 + g + 9. Let q be f(x). Which is smaller: y or q?
q
Suppose 2*s = -2*s - 3*a - 20, 4*a + 14 = s. Let w = -1 + s. Let k(o) = o - 8. Let x be k(5). Is w <= x?
True
Let k be 159/483 - 4/14. Which is greater: -1 or k?
k
Let s be 0/(1 - 2 - 0). Suppose s = 2*k - 3 + 17. Let o be 16/k + -2 + 4. Which is smaller: o or 1?
o
Let o(z) = -z**3 + 9*z**2 - 7*z - 11. Let j be o(8). Let v be (-11)/(-22)*14/j. Which is smaller: v or -1?
v
Let c be (-1)/2 + (-11)/2. Suppose -3*g = -1 + 16. Which is bigger: g or c?
g
Let p = 0.072 - -0.028. Which is smaller: 26 or p?
p
Let y = -2444/735 + -2/245. Is -4 less than y?
True
Suppose -2*y = 2*o + 4 - 0, 0 = 2*y - 4*o - 14. Let d = y + 0. Is d less than 1?
False
Let d = -5/38 - 45/19. Suppose 0*p - 3*p - 3*k - 21 = 0, p - k + 1 = 0. Is d less than or equal to p?
False
Let s(a) = -a**3 + 7*a**2 - 5*a - 2. Let b be (-96)/(-15) + 2/(-5). Let l be s(b). Suppose -l*m + 4 = -3*m. Is m equal to 3?
False
Let n(l) = -l - 6. Let y be n(-6). Let a be (-6)/2416*-4*-2. Let h = a + -441/604. Is h equal to y?
False
Suppose -4*v - v = -20. Let y be (-8)/10 - v/(-6). Are y and -0.1 non-equal?
True
Let d = -7 + 7.3. Let f = d + -0.6. Are -0.2 and f nonequal?
True
Suppose 4*c + c = 5*j - 5, 5*c + 2*j + 19 = 0. Let k be (1 + c)/2 - -5. Let o = k - 5. Is o <= 0.3?
True
Let w be ((-4)/(-5))/((-2)/20). Let s be 2/((2/7)/(81/(-63))). Let c = w - s. Is 1 equal to c?
True
Let q(j) = -2*j + 4. Let f be q(-5). Suppose -2*c + 2*a -