0/9 - 1123/18. Let g = -55 - f. Does g = -2?
False
Let h = -2 - -4. Suppose 0 = -4*m + h*m. Which is greater: m or 1?
1
Let b = 17 + -17. Is -0.1 < b?
True
Let v(q) = 2*q**2 - 1. Let y be v(0). Is 1/6 bigger than y?
True
Let p = -477/2 - -989/4. Which is smaller: p or 10?
p
Suppose -3*y + 2*n = -9, y - 4*n = -2*n + 3. Suppose y*s = -s + 8. Which is smaller: 5/3 or s?
5/3
Let a = -8 - -13. Suppose 0*n = a*n. Let u = 1033/9 + -115. Which is greater: n or u?
n
Let r = -61 - -55. Suppose 5*g = 4*g - 3*y - 16, g + 5*y + 22 = 0. Which is smaller: r or g?
g
Suppose 3*p = -5*a + a + 44, a = 2*p - 11. Suppose 0 = -4*l + 2*h - p, -4*l - 15 = -l + 3*h. Is l less than -4?
False
Suppose -z = -3*h + 15, 2*h - 26 = -3*h + 2*z. Suppose 3 = 5*c - 7. Let t = c - h. Are 3/4 and t equal?
False
Let c = -4 + 0. Let m(k) = -k + 10. Let h be m(4). Suppose -2*z + 0*z = h. Which is smaller: c or z?
c
Suppose 0*t - t + 8 = 0. Suppose 0*j = -2*j + t. Which is bigger: j or 2?
j
Let d = -0.44 + 0.34. Do -2/5 and d have the same value?
False
Let c = -56 - -23. Let d be c/12 - (2 + -4). Is -1 greater than d?
False
Let h = 5 - -5. Which is bigger: 13 or h?
13
Suppose -4*w - 3 - 11 = 3*l, 4*w = 4*l. Let z(i) = -4*i + 3*i - i**2 - 1 + 2. Let k be z(w). Which is smaller: 1 or k?
k
Let p = 175 + -170. Is 9 equal to p?
False
Let b be 9 + (0 - (2 - 0)). Suppose 4 = z + b. Which is bigger: z or -8/3?
-8/3
Let p = -0.21 + 0.11. Which is smaller: 2/7 or p?
p
Suppose -2*i + 0*i - 32 = -o, 2*i - 2*o + 36 = 0. Let n = -11 - i. Which is greater: 2 or n?
n
Let f be (-12)/20 + (-18)/(-5). Suppose -2*m - m = f. Is m not equal to -1?
False
Let x = -11.95 - -14. Let g = 0.05 - x. Is g less than 0.3?
True
Let w be (28/(-2))/(8 - 6). Let h(d) be the third derivative of -d**5/60 - d**4/3 - 3*d**3/2 - d**2. Let c be h(w). Is c greater than or equal to -2?
True
Suppose 4*g - 14 = 22. Do g and 7 have the same value?
False
Let o = 3/4 - 19/20. Which is smaller: -0.17 or o?
o
Let t = 0.007 - -0.993. Let v = 0 + 0.2. Let c = v - 0.1. Which is bigger: t or c?
t
Let h = -11 - -19. Let s = h + -4. Let b be (-1)/(-5) + 84/30. Is s less than or equal to b?
False
Suppose 2*f - 5*o = -o - 14, -f - 28 = 5*o. Is -11 greater than f?
True
Let i be ((-6)/(-6))/4 + (-2)/4. Which is smaller: 0 or i?
i
Suppose a = -2*p - 6, -2*p = 2*a + 3*p + 9. Which is greater: -13 or a?
a
Let m be 6/(-9)*7*126/(-49). Is m greater than 1/4?
True
Let y = -7 + 8. Let t = -1 + y. Let g = -93/4 - -23. Is t < g?
False
Suppose -6 = 3*o + 3, 17 = 2*q - 3*o. Which is bigger: q or 2?
q
Let s = 89 - 44. Is 44 greater than or equal to s?
False
Suppose 0*c - 3*c - 105 = 0. Is -34 at most as big as c?
False
Let h be (2 - 1)/((-18)/918). Do h and -51 have different values?
False
Let w = 8 - 4. Let a be (-5)/(-2) + (-8)/16. Suppose a*u + 3*l = u, u = 3*l + 6. Which is smaller: w or u?
u
Let d be (-13 + 16)*2/(-21). Is d <= 2/5?
True
Suppose 0*b = -3*b + 18. Suppose 2 = -4*l - b. Let a = l + 5. Is 3 <= a?
True
Let m = 10 + -20. Let i be m/(-40) - 23/(-4). Which is greater: i or 7?
7
Let w be 0 - (-207)/(-21) - -1. Let q = w + 9. Suppose -3 = 5*j + 2. Is q <= j?
False
Let y be 27/(-12) - -1 - -1. Suppose 2*q - 4 = 6. Suppose -3*t - 4*z = -17, q*z = 6*z - 5. Is y != t?
True
Let f be (2/2 + -2)*-3. Suppose q = f*x - 4*x - 20, -68 = 3*q + x. Let p be (q/(-30))/(2/5). Which is smaller: 0 or p?
0
Let o be -3 + (-3)/2*-2. Is -2 equal to o?
False
Suppose 5*a = 4*a + 2. Suppose a = s + 3. Is 2/11 at least as big as s?
True
Suppose 0 = 2*i + 2*i. Let p be i + 2 + (-3 - -1). Let m = 154/3 + -52. Is m less than p?
True
Suppose 0 = c + 4*c + 15. Let j be c - (1 - 3) - 9. Let d(r) = -r**3 - 11*r**2 - 11*r - 13. Let s be d(j). Are s and 0.1 unequal?
True
Let x(h) = -h**2 + 5*h + 8. Let z be x(6). Suppose z + 3 = 5*n. Let f = -89/20 + 21/5. Which is smaller: f or n?
f
Let t = -541/7 + 77. Which is smaller: t or -1?
-1
Let i = -206477/48 - -4302. Let n = 1/16 - i. Let b = -9 - -8. Which is greater: n or b?
n
Let g = 23 - 22. Let o = -3.1 + 3. Let d = o + 0.1. Which is smaller: d or g?
d
Let a = 2 + 9. Are a and -1/2 unequal?
True
Let o = 9 - 4. Let y = o - 7. Is y less than or equal to -2?
True
Let a be 2/(-3) + 2/3. Suppose -5*u + 3 + 2 = a. Let n = 43 + -901/21. Do n and u have the same value?
False
Let t be (3 - 5)/((-1)/2). Suppose 0 = 4*j + 4, h + 2 = -3*j + 1. Suppose -2*a = -5*b + 20, -t*a + 3*b - h*b - 4 = 0. Is 3 > a?
True
Let g = 13 - 13. Suppose g*a + 40 = 5*a. Which is smaller: 7 or a?
7
Suppose -7*x + 24 = -3*x. Let n be 4/x + 140/(-165). Let v(b) = -b**3 + b - 1. Let w be v(1). Which is smaller: n or w?
w
Let w be 1/((-1)/(-2)) + -1. Suppose -56 = 5*p - 4*i, i + 13 = -p - 0*i. Let k be ((-9)/24)/(p/16). Which is greater: w or k?
w
Let z be -2*((-6)/4 + 2). Let c be z*4 + 6 + -3. Which is greater: c or 1?
1
Let a = 1.4 - 1.5. Are 7 and a equal?
False
Suppose h - 1 = 1. Let x = h - 3. Is x less than -3/8?
True
Let q be 0/(-2 - 3/(-1)). Let t be ((-27)/(-132))/((-12)/(-32)). Is q at most as big as t?
True
Let f = -0.048 + -0.952. Let z = -0.1 - 0. Which is smaller: z or f?
f
Let p be 6/10*(-70)/(-21). Is 1 bigger than p?
False
Let r = -0.2 - -0.2. Let m = 0.1 - r. Is -2/17 at most m?
True
Let v = 2 - 3. Let k be ((-9)/12)/(v/(-4)). Let g = -3 - k. Are -1 and g equal?
False
Suppose -3*j = -3*l - 81, 2*l - 6 - 6 = -j. Let s be 2/11 - (-40)/j. Suppose -s*r = -r. Is r <= 0?
True
Let p = 12 - 7. Suppose -t + p*s + 0*s = 13, 4*s = -5*t + 22. Let d(f) = -f**2 + 8*f - 9. Let z be d(6). Is z greater than or equal to t?
True
Suppose -21 = -b - 2*b. Is 7 greater than b?
False
Let o = 0.8 + 0.2. Let f = o - 1.1. Let x = 4 + -4.1. Does f = x?
True
Suppose -5*x = n + 9, 3*n - 4*n = -x + 3. Suppose -4*s + 8*s = -12. Let m be n/(-14) - 0/s. Is 0 bigger than m?
False
Suppose -4 = q + 2*t, 6*t + 20 = q + 2*t. Suppose 2*g - 5*i - 31 = 0, 5*g + 0*g - 35 = q*i. Suppose 0 = 4*d - 3*d - 3. Is d bigger than g?
False
Suppose 2*n = -5*i - 12, -3*n = -8*n - 5. Let k = -148/7 - -144/7. Which is smaller: k or i?
i
Suppose -9 = r - 12. Suppose 2*j = -1 + r. Which is bigger: j or -1/5?
j
Let k(f) = -2*f - 2. Let c(w) = 3*w + 3. Let p be (1 + -4)/(1 + 0). Let x(z) = p*c(z) - 5*k(z). Let b be x(0). Is b at most as big as -1/3?
False
Let y = -11 - -12. Which is greater: -13 or y?
y
Let r = 0.5 - 0. Which is greater: r or -0.1?
r
Let y = -23 + 22. Let f = 0.2 - -0.8. Is y less than f?
True
Suppose -30 = r + 2*r. Let x = -11 - r. Which is smaller: 1/27 or x?
x
Let o(q) be the first derivative of -q**4/4 + q**3 - q**2/2 + 2*q - 3. Let m be o(3). Is m at most -4/3?
False
Let l be (-24)/10 + (-8)/(-20). Let g = -7 - -7. Suppose -5*c = -g + 5. Is c equal to l?
False
Let o = 2 + -2. Let h = o + -6. Let c be 4/(-12) + 4/h. Which is greater: c or 2/5?
2/5
Let j(p) = -p**3 + 10*p**2 + 2. Let l be j(10). Suppose 3*t - l*w + w - 17 = 0, -3*w = -5*t + 31. Is t > 3?
True
Suppose 3*m - 36 = 3*b - 0*b, -5*b - 44 = -4*m. Suppose -4*r + 4 = -m. Is r bigger than 5?
False
Let m = 1.8 + 7.2. Let z be (-3 - 22/(-6))/(-2). Which is bigger: z or m?
m
Suppose -4*l = -5*l. Which is smaller: -5 or l?
-5
Let b = -0.567 - -0.067. Which is greater: 2/9 or b?
2/9
Let m = -613/136 + 1/136. Which is greater: -4 or m?
-4
Suppose -3*o + 7 = 19. Let t = 50 + -55. Which is greater: t or o?
o
Suppose 0 = 3*t + x - 0 - 1, -2*t - 4 = -4*x. Let d = 0 - t. Let a be (-1)/(-3) + 38/(-42). Which is bigger: a or d?
d
Let s be 33 - ((0 - 5) + 10). Which is smaller: 29 or s?
s
Let u = -6.6 + -2.4. Which is bigger: u or -0.1?
-0.1
Suppose 0*o + 31 = o. Let a = 187/6 - o. Which is greater: -1 or a?
a
Let u = 0.154 + 1.046. Are u and -2/5 equal?
False
Suppose -2*p = 3*p. Let n be -3 + (3 - p) - 0. Which is smaller: n or -2?
-2
Let o(i) be the first derivative of -i**2/2 - 7*i - 2. Let r be 38/(-5) + (-32)/80. Let n be o(r). Is n at most as big as 4/9?
False
Let z(y) be the third derivative of y**6/120 + y**5/60 - y**4/12 - y**3/6 - 2*y**2. Let t = -2 - 0. Let q be z(t). Is -1 greater than q?
False
Let t = -46 - -22. Let q be 2/3 + 28/t. Let o = -10 - -9. Is o at least as big as q?
False
Suppose 6*u - 12 = 2*u. Suppose 5*i = -10 + 35. Suppose -u*w + x = -1, 0*w - 5*x = -5*w - i. Do -1/3 and w have different values?
True
Let r(z) = -