as l?
False
Suppose 614 = -12*c + 38. Is -45 >= c?
True
Let r be (-2)/(-10) + (-458)/40. Do -10 and r have the same value?
False
Suppose -5*n + 2 = -3. Let y be (-2 - n/(-1)) + -1. Let f(h) = -h**2 - 2*h + 1. Let q be f(y). Is q > 1?
False
Let p be 2/(24/414) - (-4)/(-1). Which is smaller: p or 30?
30
Let l = -1021 + 1034. Suppose -7*g + 3*g + 40 = 0. Is l at least g?
True
Let t be (10/(-70) - 6025/(-42420))*2. Which is bigger: t or -1?
t
Suppose 4*c - 3*s - 1 = -c, -5*c + 2*s - 1 = 0. Is 8/41 smaller than c?
False
Let w = -33.7 + 44. Let g = 1.3 - w. Let i = -8 - g. Does i = 0.1?
False
Let a = -311/20 - -59/4. Which is smaller: -8 or a?
-8
Let r(g) = -4*g**3 - 2*g**2 + g + 1. Let z be r(-1). Suppose z*i + 4*i + 24 = 0. Which is bigger: -40/11 or i?
-40/11
Let h(z) be the first derivative of -5*z**2/2 - 50*z + 28. Let i be h(-10). Is 1/11 at least as big as i?
True
Suppose 3*r + 141 = 4*s + 179, -71 = -5*r - s. Is r greater than or equal to 25?
False
Let w be (-8 - -4)/(7/(-14)) + -105. Are -193/2 and w equal?
False
Let t be 86/(-6) - (-2)/6. Suppose -220 - 284 = 4*r. Let c be 1792/r - 4/(-18). Is t < c?
False
Suppose 0 = 3*q + 5*q - 264. Let k be (-2)/q + 2/(-15)*5. Is k > 1/2?
False
Suppose -37 = -5*j - 22. Let b be (-2*1/(-492))/(1/j). Is b equal to -1?
False
Let a be (-6)/4 + (-52)/(-8). Let c(s) = -s**3 + 6*s**2 - 4*s - 10. Let x be c(a). Is -1 > x?
True
Let a = 240 - 238. Let o = -7.4 - -7. Let p = -1.1 - o. Do p and a have the same value?
False
Let m = -11.9 + -0.1. Let c = 12.54 + -0.34. Let k = c + m. Is -2/5 less than k?
True
Let n be 6/344*968/(-27225). Do n and 1 have the same value?
False
Let v(j) = j - 6. Let l be v(7). Suppose s - 6 = 5*c, 3*s = -0*s - 4*c - l. Let o(b) = -2*b - 8. Let p be o(-5). Is s equal to p?
False
Suppose -5*v - 3*i - 2*i = -5, 4*i + 4 = 0. Let n(j) = -j**3 + 2*j**2 + 2*j + 1. Let h be n(3). Let f be (3 + h)/(2/v). Which is bigger: f or -2?
f
Let h = -62.7 - -59.59. Let r = h + 0.11. Let u = r + 3.11. Which is smaller: u or 2/5?
u
Suppose 2*k = -4*q + 4, k - 4*q = 4*k - 16. Let m be k/4 + (-49)/(-2). Let i = m + -28. Is 0 < i?
False
Let r = -1104.7 + 1195. Let l = -90 + r. Which is smaller: 6 or l?
l
Let y = 29.6 + 0. Let g = y + 0.4. Which is greater: g or -1?
g
Let v be 11/2 + 3/(-2). Let a = v + 2. Suppose -6*x + 3*x = -a. Which is bigger: -1 or x?
x
Suppose -3*x + 1 = -5*w + 16, 0 = 4*w + 2*x + 10. Suppose 0 = -w*m - m + 19. Let z = m - 23. Is z <= -4?
True
Let f = -30 - 41. Let l = 72 + f. Which is greater: 1/5 or l?
l
Suppose 2*z + 1007 = 127. Let r = z + 2208/5. Is r at most 2?
True
Suppose 0 = -d + 5 + 1. Let r be (-3)/2*4/d. Is r greater than -1/19?
False
Let r(g) = 13*g - 9. Let u be r(1). Suppose 2 = t + z, 3*z + 1 = u. Which is greater: t or 2/137?
t
Let m(c) = -4*c - 8. Let p be m(-3). Suppose 0*x - 2*n = 3*x + 41, 5*x - p*n = -39. Are x and -1 equal?
False
Let n be 2/(-6) + 186/(-9). Let k be (-1 - n/15)/(-1). Let g = 12175/13 + -937. Is g > k?
False
Suppose -2*z + 3*q + 12 = 0, z - 4*q = q + 13. Suppose -z*c = 20 + 37. Suppose 4*o - 13*i + 10*i + 81 = 0, -i - 69 = 4*o. Is c > o?
False
Suppose 3 - 1 = 2*t. Let b be (t/15)/((-5)/(-6)). Let i = -9 + 9. Which is smaller: i or b?
i
Suppose -5*t = -5*r - 30, -4 = -2*r + 4*r. Is 7 less than t?
False
Suppose 3*h = 6*h + 9. Let x(k) = -k**3 - 3*k**2 + 1. Let v be x(h). Are 0.1 and v equal?
False
Let y be (-49)/30 - 9*(-2)/12. Let j = -0.8 + -0.2. Which is bigger: y or j?
y
Suppose -3*x - 2*x = 15, 0 = 4*g + 5*x - 133. Let v = -51 + g. Which is smaller: -12 or v?
v
Let w be 1 - (-4558)/1522 - 4. Which is bigger: w or 1?
1
Suppose -2*j - 125 = -3*r, -2*j = 3*r + 2*j - 119. Let z = 39 - r. Do z and -2 have the same value?
True
Suppose -p = -11 + 8. Suppose -r + 2*n + 5 = 0, -p*r - n = -14 - 1. Which is bigger: r or 7?
7
Let j be ((-4444)/(-13) + 6/(-2))*-1. Let r = j - -339. Which is greater: 0 or r?
r
Suppose 5*u + x = 41, 0*u + 2*u = 5*x + 38. Suppose u = 4*s + 1. Suppose s*h + 45 = 7*h. Is h at least 9?
True
Let w = 2.342 - -3501.658. Let q = 3488.21 - w. Let h = -0.21 + q. Which is smaller: -1 or h?
h
Suppose 0 = -5*l + 10*l - 325. Let r = l - 64. Which is bigger: -4/7 or r?
r
Let i = -97.5 + 103. Let l = i + -5.8. Which is smaller: -0.18 or l?
l
Let d = 13 + -3. Suppose -d*w = -7*w - 75. Let c = w + -33. Which is greater: c or -6?
-6
Let j be 3/12 + 99/4 + 2. Which is greater: j or 31?
31
Let z = -109556/49 + 2236. Is 0 <= z?
True
Let p = -4 + 0.5. Let a = p - -2.97. Let s = 0.17 - a. Which is bigger: 0 or s?
s
Suppose -3*x + 4*x = 5, 2*x - 8 = 2*d. Let w = d - 7/5. Let n be (8/36)/(-7*1/(-126)). Which is smaller: n or w?
w
Suppose 79*m - 62*m = 170. Is 7 less than or equal to m?
True
Let v(p) = p**2 + 6*p - 3. Let n be -1 - -34 - 0/(-3). Suppose 2*k + 32 = -4*d + 6, 0 = -5*d - 2*k - n. Let f be v(d). Which is smaller: 1 or f?
1
Suppose -3*s - 50 = -2*s + 2*l, 2*l - 174 = 3*s. Let b be -5*6/75 - s/115. Are 0 and b non-equal?
True
Suppose -3 = -13*b + 10*b. Is b >= -3/110?
True
Let c(r) = r**2 - 5*r + 2. Let v be c(2). Let p be (v - -1)/(30/(-40)). Suppose p*m = 4*l, -3*m = -2*l + 4*l. Is 1/16 != l?
True
Let u be (-1)/2*(-10)/(-35)*7. Is u bigger than 5?
False
Suppose 0*i = 6*i + 6. Let b be (-75)/(-30)*(i - 1). Which is smaller: b or 1?
b
Let r be 9 + (-10 + 58)/(-6). Which is bigger: r or -4/277?
r
Let t be -3*(-48)/135*-3. Let d = t + 107/35. Which is greater: d or 1?
1
Let u = 165 - 69. Let n = u + -97. Which is bigger: 2/67 or n?
2/67
Let a(j) = -3*j**2 - 52*j + 45. Let g be a(-22). Is g equal to -264?
False
Suppose -890*x + 899*x + 45 = 0. Let i(s) = -s + 3. Let k be i(6). Which is bigger: x or k?
k
Let b(l) = l**2 + 8*l + 7. Let f be b(-7). Let d(c) = c**2 + 8*c - 16. Let o be d(-10). Let i be (0 - o/68)*2. Is i < f?
True
Suppose -a - 24 = 3*h, -13 - 14 = a + 4*h. Which is bigger: -8 or a?
-8
Let i = 41 + -36. Suppose -15 = -i*a + 5*r, 3*a - 6 = a - r. Which is greater: 6 or a?
6
Let y = -43.6 - -52.6. Which is greater: y or 19?
19
Suppose 1054 = 40*s + 294. Let h be 2*-53*(-4)/24. Is s greater than or equal to h?
True
Suppose 5*t - 5*p = 10, -4*t - p - 2 = t. Let y be -3 - (t - 26/10). Let r be ((-4)/(-3))/((-198)/81). Is r not equal to y?
True
Let h = 12 - 10. Suppose 5*u - m = u + 5, -4 = -2*u + h*m. Is u < -3/7?
False
Suppose -4*c + 5*q - 25 = c, 0 = -c + 4*q - 20. Let x be (-8 - (-117)/15) + (-16)/(-105). Which is greater: x or c?
c
Let g be 2/(-15)*3*6/24. Is 0 >= g?
True
Let o be 309/(-36)*(-1)/(-13). Let t = o - -7/12. Which is smaller: 0 or t?
t
Let g = 811 + -837. Let l = -53 + 28. Is g at least as big as l?
False
Suppose -1 = x + 4*c - 3, 3*x = 4*c - 26. Let t be -1 + -28 + (-2 - x). Let j = 28 + t. Is j greater than 2?
True
Let m be (-7)/(-9) + (-16)/(-72). Let s be (m/(-2))/((-2)/(-16)). Let w(o) = -2*o**2 + 17*o + 4. Let q be w(9). Which is smaller: s or q?
q
Let m be (-12587 + 0)*(-2)/(-18). Let u be (9 + -8)/(1/1397). Let k = u + m. Is -3 at least as big as k?
False
Suppose 6*z = 8*z - 4. Let a(j) = j + 7 - 7*j - 4*j**2 + 2*j**z + j**2. Let k be a(-5). Is 12 bigger than k?
False
Suppose 0 = 3*f - f. Suppose f = -4*a - 9 + 5. Which is smaller: a or -1/12?
a
Let q = -0.0007 + 2.2007. Is 11 greater than or equal to q?
True
Suppose -41*r = 26*r + 44756. Is -667 not equal to r?
True
Let w(p) = 2*p - 4. Let q be w(3). Let y be q*-1 - 203/21. Let g = -169/15 - y. Which is bigger: -6 or g?
g
Let y be 3/(-2)*64/240. Is y smaller than 52?
True
Suppose 0 = r - 5 - 32. Suppose 0 = w + 7 - r. Let s = w - 33. Which is smaller: -1 or s?
s
Let r(j) = -2*j**3 + 16*j**2 - 33*j + 118. Let y be r(7). Let c = -1.94 + -0.06. Which is bigger: c or y?
c
Suppose 51*k = 60*k + 288. Which is smaller: k or -166/5?
-166/5
Suppose -10*n = 12 - 22. Is 2/919 at most n?
True
Let h = -868 + 867.8. Is 83 equal to h?
False
Let i = 1129 - 4697/4. Is 1/4 at least i?
True
Let n be -3 - -7 - 4 - 4. Let w be 0/3 - n/(-6). Which is smaller: 3 or w?
w
Suppose 3*v + 0 = -3. Let w = 4 + v. Let l(c) = c - 2. Let y be l(w). Are 1 and y non-equal?
False
Suppose -5*v - 30 = -5*u + 35, -5*u + 35 = -2*v. Let m be 4 - (2 + v/(-5)). Is m >= -2/59?
True
Let i be 2/7 - (-360)/63. Let r = -3 + i. Suppose 3*s = 4*q + 6, -q - r*s + 6 = -0*s. Which is greater: q or 1?
1
Let b be 