. Is c greater than 0?
False
Let x be ((-2)/3)/(2/3). Let i(n) = -n + 1. Let o be i(2). Is x less than or equal to o?
True
Let l be -1 - ((-28)/8 + 3). Is l < 2?
True
Let o = 122/105 - 16/21. Let h = -5 + 2. Let y be (0 - -1)*(3 + h). Is o > y?
True
Let i = 8/21 - 2/21. Which is smaller: -69 or i?
-69
Suppose -22 = -2*q - 4*y, -2*q + 2*y = 5 + 3. Suppose 2 = 4*d - 6. Let s be 3/(1 + 1/d). Which is smaller: s or q?
q
Let t be (-6)/10 + (-64060)/1275. Let c = t + -167/17. Let f = c + 59. Is f bigger than -2?
True
Let x = -1 - -0.9. Let l = 0 - x. Let s = 0 - l. Is s at least as big as 2?
False
Let a(i) = -i**2 + 8*i - 15. Let u be a(3). Is 9 != u?
True
Let g = 15 + -10. Let n = -1 + g. Suppose -5*q - 3*t = -t - 5, 5*q = n*t - 25. Is q less than -2?
False
Suppose 3 = -3*r + 33. Let y = 16 - r. Which is bigger: 7 or y?
7
Let d = 302350 - 120637436/399. Let r = 2/57 + d. Is r < 1/3?
False
Let i be ((-8)/12)/((-4)/2547). Let w = i + -413. Let t = w + -12. Is 0 not equal to t?
True
Let k = 4619962/105 + -44000. Let u be 1/(35*1*-1). Let n = u - k. Do n and 0 have different values?
True
Let y = 1 - 2. Let m(n) = -3*n + 1. Let f be m(y). Let x = 4 - f. Is x bigger than 0?
False
Suppose -3 - 6 = -3*r. Let x = r - 1. Let n be 2 - 3 - -2 - x. Which is greater: -2/7 or n?
-2/7
Suppose 3*q + s - 40 = 0, -3*q + 37 = -s - 1. Is q less than or equal to 11?
False
Suppose 3 = 2*a - 0*v + v, 0 = a + v. Suppose 7*s = a*s + 8. Which is bigger: s or 1?
s
Suppose y - 4*t - 23 = -0*t, -5*y + 2*t + 25 = 0. Let x be 2/y + 26/6. Suppose 0 = 4*d + 5*m - 3, x = -d + 5*d + 3*m. Is d less than 1?
False
Let a(m) = m**2 + 9*m + 6. Let b be a(-8). Let d = -3 - b. Let s(y) = y**3 - 4*y**2 + 3*y. Let i be s(3). Which is smaller: d or i?
d
Let v = 15 + 0. Suppose -h = -c - 10, -3*c = -4*c + 2*h - v. Let d be 18/20 - (-2)/c. Which is bigger: d or 0?
d
Suppose 0 = -u + 11 + 11. Suppose -u = 2*v + 4*o, -3*v = 4*o + 19 + 4. Which is greater: v or 1/12?
1/12
Suppose 5*k - 35 = -4*c + 74, 3*k - 91 = 4*c. Suppose 23 = 4*g + 5*m - 14, -5*m + k = 0. Which is greater: -1 or g?
g
Suppose 11 = -3*l + 4*k + 26, -3*k - 9 = 0. Which is bigger: l or -14?
l
Let i = 7 + -4. Suppose 0*y + 1 = -i*y - u, -30 = 5*y - 4*u. Is 1 at least y?
True
Let b(p) = p**2 - 8. Let l be b(0). Is -9 < l?
True
Let b = -41 + 43. Is b at most 1?
False
Let t be -2*(2 - 1) + -3. Which is smaller: t or -7?
-7
Suppose 2*f = 3*p - 3*f - 22, 4*p + 5*f = 6. Suppose -p*t - 1 = -5. Let i(r) = 2*r - 1. Let w be i(t). Which is smaller: 2 or w?
w
Let f = 119 + -39. Which is greater: 81 or f?
81
Let z = -15219/41 + 371. Let b = z - 26/287. Is b <= 0?
True
Let i = 0 - 2. Let j = -5 - i. Which is bigger: j or 4?
4
Let g = 7 - 13. Let i = g + 6. Is i less than or equal to 7?
True
Let k(g) = -g**2 + 10*g - 26. Let u be k(7). Is u > 0?
False
Let o = 9 - -9. Let a = -73/4 + o. Which is greater: a or -1?
a
Suppose 0 = 5*l - 9 - 21. Let v be 1/(-2 + (-90)/(-42)). Which is smaller: v or l?
l
Let j be (-8)/22*(-9)/12. Let i = -125 - -125. Is i at most as big as j?
True
Let r be ((-6)/4)/(21/28). Is r not equal to -3?
True
Let s = -41/4 - -21/2. Which is bigger: -1/18 or s?
s
Let k = -188 + 375/2. Let w(f) = f**3 - 4*f**2 + 2*f + 1. Let z be w(2). Do k and z have the same value?
False
Let d(m) = 3*m**2 + 2*m - 4. Let t be d(-7). Which is bigger: t or 128?
t
Suppose -3*i - j + 51 - 2 = 0, -i - 4*j = -20. Let p = i - 22. Which is greater: p or -7?
p
Let w = 0.06 + 0.94. Let p = 0 - -1. Let h = p - w. Is 3 bigger than h?
True
Let c = -1235/12 + 389/4. Is c not equal to -6?
True
Let f = -0.1 + -0.1. Let q = f + 0. Let s = -14 + 12. Is q >= s?
True
Suppose 2*v - 3*q = 0, -2*q - 21 = 5*v + q. Is v != -5?
True
Let h = 2701/18 - 150. Is h not equal to 1?
True
Let v(s) = s**2 - 25*s - 84. Let r be v(28). Let a be (-8)/74*1/(-2). Which is smaller: a or r?
r
Let d be (-20)/110 + (-2)/(-11). Which is bigger: -10/13 or d?
d
Let k be (30/(-28) - -1)/(1/4). Is k less than or equal to -18?
False
Let r be 0 - 0/(2/(-1)). Let n = 1.2 + -10.2. Let p = -6 - n. Which is bigger: r or p?
p
Let g = -350 - -12248/35. Is g greater than or equal to 0?
False
Let n = 0 - -2. Which is bigger: n or 1?
n
Let t = 6.2 - 6. Which is smaller: t or 0?
0
Let x = 7 - 5. Let m be x/(0 - (0 + -2)). Is -6 not equal to m?
True
Let y(q) = -q**3 - 4*q**2 - 4*q + 1. Let t be y(-3). Suppose 0 = -5*w + 9 - t. Which is smaller: w or 1/2?
1/2
Let f be -2 - 0 - (-5 + 5). Let z(k) = k**2 + 8*k + 7. Let n = -9 - -2. Let l be z(n). Do l and f have the same value?
False
Let d = 11 + -4. Suppose 5*x - d = -2*i - 3, -4*x + 2 = i. Let t be (2/4)/(i/(-8)). Is -2 >= t?
True
Let i = -17/84 - -1/28. Let q(b) = 2*b - 2. Let l be q(4). Let n = 7 - l. Which is bigger: i or n?
n
Let d = -47 - -26. Let q = -24 - d. Is q less than or equal to 2/9?
True
Let l(a) = a + 9. Let r be l(-5). Suppose -x - 5 = r*x. Is x bigger than -12/11?
True
Let j = 14 - 7. Suppose 4*z - j = 9. Suppose z*o - 7 = 25. Is o greater than 9?
False
Suppose 9 = -4*x + k, x + 2 = k - 1. Does -11/4 = x?
False
Let w(n) = n**3 + 10*n**2 - n - 12. Let z be w(-10). Is 18 at least as big as z?
True
Suppose -4*n = -6 - 18. Let h = 4 - n. Which is bigger: -1/2 or h?
-1/2
Let t be 1 + (-4)/93 + -1. Let r be 84/(-310)*(-56)/18. Let z = t + r. Which is greater: 2 or z?
2
Let z = -7 + 9. Let r be z/(-13) - 22/26. Let h be 4/(-12)*(r + 4). Which is bigger: h or 3/7?
3/7
Let y be (-3)/(-4) + (-45)/(-20). Suppose d - y*u + 9 = -4, -4*u + 14 = -3*d. Is 1 at most as big as d?
True
Let n = -9/47 - -373/1457. Which is smaller: -1/2 or n?
-1/2
Suppose -4*h - s + 632 = -0*s, -5*h + 797 = 3*s. Let v = 108 - h. Let o = -195/4 - v. Which is smaller: 0 or o?
0
Let q = -149/28 - -19/4. Is -2 smaller than q?
True
Suppose -10*f = -6*f. Is -12/17 <= f?
True
Let g(d) = -d**2 - 27*d + 28. Let j be g(-28). Which is smaller: -7/5 or j?
-7/5
Let o = 0 + -0.1. Let q = -41348/6085 + -6/1217. Let x = -32/5 - q. Is o smaller than x?
True
Let p be 2 + 2 + (-17)/15. Let w be (-2 + 0)/6 + 2. Let b = w - p. Is b equal to -2?
False
Let p = 99597 - 695978/7. Let z = p + -171. Let h = -1 - -1. Which is bigger: h or z?
z
Let j = 12 + -11.8. Let u = -0.03 + -0.27. Let i = j + u. Is i greater than -1?
True
Suppose 0 = 4*p - p - 15. Suppose p*z + 32 = -3*j, -3*j + 3*z = 2*j + 8. Let q = 5 + j. Which is bigger: -1/3 or q?
q
Suppose 3*b = -r - 23, 2*r = -b + r - 11. Let j be (-58)/8 + 3*(-2)/(-24). Let i = b - j. Is i less than 2?
True
Suppose 1 = -3*g - 5. Are -2 and g unequal?
False
Suppose 16 = 2*b - 4. Suppose 0*l - 3*l - b = -2*g, 0 = -l + 3*g - 8. Let z be (-3)/(-9) - l/(-6). Are z and -2/7 equal?
False
Suppose 2*b - 8 = 4*s, 3*s - b + 7 = -2*s. Let l be (-5 - (-3 - -1)) + 2. Is s smaller than l?
False
Let r be -2*(9/(-219))/(-3). Let w(z) = -z**2 + 6*z + 27. Let b be w(9). Which is greater: b or r?
b
Let x = -33 + 19. Let g be (-12)/(-28) + 13/x. Is 1/15 > g?
True
Suppose 4*w + 4*f = 8, 4 = 3*w - f + 2. Let s = w - 1. Which is smaller: s or -3/5?
-3/5
Suppose h = -1 + 3. Let r = 4 - h. Let d be (-2)/(-3)*(-6)/r. Which is bigger: d or 0?
0
Suppose -m = 4*g - 1 + 20, -20 = 5*m - 5*g. Let x = 10 + m. Let q = 0.2 + -0.3. Are q and x non-equal?
True
Let z be -1*(-3)/(1 + -2). Let h = z - -2. Let i be (-30)/(-135) - (-4)/(-18). Is i less than or equal to h?
False
Let m(f) = -f**3 + 7*f**2 - 2*f + 7. Let p be m(7). Let a = p + 8. Is -2/11 at most as big as a?
True
Let x be (-8)/32*(-16)/5. Is x bigger than 0?
True
Let s = 4 - 4. Is s at most 0.3?
True
Let h = 2 - -10. Let d be (h/372)/((-2)/4). Which is bigger: d or -1?
d
Suppose -2*a + 15 = 3*i + 4, 4*a + i - 7 = 0. Let w be a/4 + 1/(-4). Is -2/21 not equal to w?
True
Let j = 23 + -47/2. Is j greater than -1/2?
False
Suppose 0 = m - 3*m. Which is smaller: m or 3/7?
m
Let w(c) = -c + 27. Let r be w(12). Let y = r - 10. Which is smaller: y or 4?
4
Let j be (-32)/(-18) + (-1 - 1). Let i = 0 + -1. Is j <= i?
False
Suppose -5 = -u - 3. Suppose u = v - 2. Suppose -s - 5 = 2*l - v*s, -5*s = 5*l. Are l and -1/3 equal?
False
Let g = -75 + 73.9. Does 0 = g?
False
Let k be -3 - (1 - -1 - 8). Let w = 4 + 0. Suppose 2*m = 2*q, -2*m + w + 10 = 5*q. Is q < k?
True
Let h be (-2)/(-4) - 381/(-6). Let q be h/330 - 4/30. Which is smaller: q or 0.2?
q
S