r than 1?
False
Suppose h - 107 = 4*a, -3*h + 306 = -0*a + 3*a. Is h <= 0.2?
False
Let a be 72/(-27)*30/8. Let j be (-6)/a + 19/(-40). Suppose -2*s = 10 - 12. Which is bigger: s or j?
s
Let c(j) = -8 + 7*j**2 + 3*j**2 + j**3 + 9*j + 8. Let a be c(-9). Suppose a = -4*s + 5*l + 34, -5*s - l = -19 - 9. Is 1 at most s?
True
Suppose -5*i - 2 = -4*k, -2*i - 4*k - 1 = -17. Suppose 2*g - 3*a + 61 = 0, 0 = -g - i*a + 10 - 58. Which is bigger: -2/7 or g?
-2/7
Let b(y) = -19*y + 197. Let j be b(27). Is -315 < j?
False
Let m = -4706663/11 + 428612. Let n = -733 + m. Which is smaller: n or 1?
n
Suppose 4*c - 76 = -4*y, 5*c + 25*y - 23*y - 89 = 0. Which is bigger: 6 or c?
c
Suppose 3*h - 320 = -710. Does h = -130?
True
Let i = -7 - 16. Let l = 24.1 + i. Is l less than 1/3?
False
Suppose y = -2*y + 24. Let q be y/(-320)*(1 + 0)*6. Which is smaller: -1 or q?
-1
Let t(g) be the third derivative of -g**4/8 - 7*g**3/6 + 11*g**2. Let q be t(3). Are -16 and q non-equal?
False
Let f(a) = -2*a**2 + 65*a + 104. Let l be f(34). Are l and 2 nonequal?
False
Suppose -4*o = -3*x - 53, 3 = 2*x - 3*x. Let y(q) = -q**2 + 10*q + 10. Let r = -21 + 31. Let j be y(r). Is o smaller than j?
False
Let p(d) = 15*d + 19. Let g be p(-2). Which is greater: g or -9?
-9
Let y(d) = -d**2 - 6*d + 6. Let f be y(-5). Let j be 7 + (2 - -2) + -9. Let i be -10*j*18/(-36). Is i less than or equal to f?
True
Let x(r) = r**2 + 9*r - 8. Let u be x(-13). Suppose 4*d = 4*z - u + 4, -4*d - 60 = z. Is d greater than or equal to -15?
True
Let b(h) = h**3 - 9*h**2 + 6*h - 34. Let u be b(10). Is 125 not equal to u?
True
Let t(j) be the second derivative of j**3/3 - 2*j**2 - 14*j. Let l be t(3). Is -10 > l?
False
Let s be (1/(-3) + 1)*-3. Let a = 498 + -499. Is s less than a?
True
Suppose 20 = x + 3*i, 3*x + 4*i - 52 = 3. Is 15 <= x?
True
Let m = 0 + 3. Suppose 0 = m*a - 12 - 0. Suppose 5*t + a = -4*q - 3, -3*q - 14 = -5*t. Is 2/21 > t?
False
Let c = 14 + 4. Let j = -52 - -17. Let r = j + c. Is r greater than or equal to 0.1?
False
Let i be 5082/30 + (8/10)/(-2). Which is bigger: i or 171?
171
Let b be -5 + (-32)/(-7) + 44/(-77). Is -5/517 > b?
True
Suppose 3*a = -3*o - 2*a - 11, 4*a + 25 = 3*o. Let n(y) = -5*y + 2. Let p be n(o). Let m be (-6)/8*p/(-39). Which is smaller: m or 1?
m
Let g = -13.743 + 13.8. Let m = g - 0.217. Let v = 47/159 - -2/53. Do m and v have the same value?
False
Let j = 7/2 + -2. Suppose -o + 148 = 215. Let v = o - -70. Which is smaller: v or j?
j
Suppose 0 = -x - 13 + 49. Let a be ((-10)/7 - 2)*(-294)/28. Is a less than or equal to x?
True
Suppose 4 = -3*o + 28. Suppose 2*z - t - 3 = 0, -o = -5*z + 3*t - 2. Which is smaller: z or -2?
-2
Let x be (2 - (-12)/(-8))*30. Suppose 3*g + 29 = 2*w + 4, -3*w = -x. Do g and -9/2 have the same value?
False
Suppose 3*l + 4 + 8 = 3*q, 0 = 4*l - q + 7. Which is smaller: l or -11/38?
l
Let q = -68 + 67. Let o be q/(-1*1/3). Is o smaller than 5/3?
False
Let p = -252 - -690. Let c be (0 - 1)/(6/p). Is -73 <= c?
True
Suppose 4*r + 34 = -2*m, -r + 7 = -2*r + m. Let u be r/3*(-2 + 5). Let l be (-4)/(-14) - u/70. Is l at least 1?
False
Let m = 89/1428 + -1/68. Let b(p) = 3*p**2 + p + 3. Let i(l) = -4*l**2 - 2. Let z(v) = 5*b(v) + 4*i(v). Let u be z(6). Do m and u have different values?
True
Let y = 122 - 127. Which is bigger: y or 10?
10
Suppose 0 = 17*a - 22*a + 10. Suppose -a*o = -7*o. Let q be -1*(1 + (-24)/21). Which is greater: o or q?
q
Let f(t) = -t**3 + 3*t**2 - t + 1. Let k be f(2). Suppose k*m + 8 = 2. Let v = -104 + 101. Which is bigger: m or v?
m
Let x = -1712 - -1710. Is x bigger than -21?
True
Let y = 1316 + -1317. Do y and 1/517 have different values?
True
Let i = 2009602 - 685274957/341. Let h = i - -5/31. Is 0.2 >= h?
True
Suppose -8196 = -42*t + 30*t. Is t smaller than 684?
True
Suppose 215*r - 212*r = -399. Is r at most as big as -0.2?
True
Let k be (34/(-34))/(2/(-124)). Are 61 and k equal?
False
Let s = 16.4 - -0.6. Let a be (7/3 - 1)*99/(-66). Is s greater than or equal to a?
True
Suppose 4*i - 89 = 5*s, 8*i = 3*i + 2*s + 90. Let g be (-1 + i/12)*1. Let u = 0.3 + -0.2. Which is smaller: u or g?
u
Let v be (-371)/(-35) - 2/10*-2. Suppose -v = -4*k + 45. Which is smaller: k or 15?
k
Let z = -556 - -556. Is z at least as big as 5/37?
False
Suppose -2*q - 1082 = -4460. Let x = q + -20339/12. Let o = x + 6. Is 0 greater than o?
False
Let p = 15 - 17. Let r be ((-14)/(-21))/(p/21). Let q be (-1)/r + 285/(-231). Which is smaller: q or 0?
q
Let u = -6366 + 1133143/178. Is u less than -1?
False
Let h be ((-16)/192)/((-1)/3). Is h >= 0.9?
False
Suppose 1121 = -7*c - 468. Do c and 0 have the same value?
False
Let j be -4*(-5 + 144/30)*-5. Suppose 4*q - 12 + 2 = 2*k, 5*q + 55 = -2*k. Let f be (-80)/k + j + -2. Is f at most -35?
False
Let u be 1*1/(2/10). Suppose -41 - 44 = -u*c. Let d = c - 14. Which is smaller: -1 or d?
-1
Let n be ((-3)/42*-4)/(732/(-28)). Let y(q) = -q**2 + 3*q - 1. Let h be y(3). Is n at least h?
True
Let w = 216 - 191. Which is greater: 17 or w?
w
Suppose -3*u - k - 20 = 0, 0 = -u - 0*u - 2*k. Let z(c) = 14*c**3 + c**2. Let f be z(-1). Let q = -20 - f. Which is bigger: u or q?
q
Let j = -533/5 - -107. Which is smaller: 62 or j?
j
Let g be (11/((-165)/(-36)))/((-8)/(-20)). Suppose -g*q - 4*q - 10 = 0. Which is greater: q or 2?
2
Let m be (-104)/(-28) - (-8)/28. Which is smaller: m or 1/3?
1/3
Let o(c) = 5*c**3 - c**3 + 2 + 4*c - 3*c**3 - 3*c**2 - 3*c**2. Let x be o(5). Let s be -1*(-14)/6*x. Is s at least -8?
True
Suppose 0 = -2*k + 4*k + 34. Let f = k - -55/3. Let v = -2056 + 2057. Is f greater than or equal to v?
True
Suppose 5*l + 2471 = 2471. Let n(m) = m**2 - 2*m - 6. Let h be n(5). Which is bigger: h or l?
h
Let n(y) = 2*y - 1. Let j(s) = s**3 + 3*s**2 - s - 2. Suppose 0 = r - 4, 6*d + r = d - 11. Let p be j(d). Let w be n(p). Is w equal to 2/7?
False
Let p = -29857/5 + 5933. Let m = 39 + p. Let d = -2.06 - -0.06. Is d greater than m?
False
Suppose 5*o - c + 26 = 0, -c + 10 = -5*o + 4*c. Let j be ((-168)/(-36))/(4/o). Is -7 less than or equal to j?
True
Let v = -49 + 17. Let p = 21 + v. Is p at most 1?
True
Let d = 10.5 - -0.5. Let c = d + -15. Is 0 < c?
False
Let o be 18*(-6)/(-63)*(-35)/(-10). Suppose 4*h + 5*p = 64, -39 = 3*h - 8*h + 4*p. Let d = 16 - h. Is d < o?
True
Let v = -1.56 + 2.63. Let n = v - 0.57. Let t = -2 + 2.2. Do n and t have different values?
True
Suppose 12195 + 221 = 122*o + 72*o. Let k = 13 + 51. Are k and o equal?
True
Let s = -2140/5397 - -4/257. Is s equal to 1?
False
Let z = -2 + -1. Let f = z + 2.9. Let s = 17/4 + -47/12. Is s < f?
False
Let f be (467/(-3))/(8/168). Let q be 4/14 - f/49. Suppose 5*m = -2*h - 25, -9 = 5*h - m + q. Is -15 <= h?
True
Let u = -362 + 237. Let a = -124 - u. Is -5 less than or equal to a?
True
Let y = 94 - 40. Let d = y - 50. Is 4 at least d?
True
Let o be (-8)/14*(-1)/(-2). Let b be 9/(-6) - ((-14)/4 + 1). Is o at most b?
True
Let l(i) = -i**2 - 9*i - 10. Let t(z) = -z**2 + z - 1. Let q(o) = -l(o) - t(o). Let j be q(-5). Is j < 20?
False
Let t = 141886/79 - 1796. Let w = 5 - 6. Which is smaller: w or t?
w
Let t = -9041.97 - -9042. Let w = 1.06 + -1. Is w greater than or equal to t?
True
Let f = -1710 - -689128/403. Is 2/5 < f?
False
Let m(t) = -t**3 - 3*t**2 + 2*t - 8. Let a be m(-4). Suppose -4*q - q - 5 = a. Is -1/180 less than or equal to q?
False
Let f be (0 - (-2 + 7)) + -5. Which is bigger: f or -1?
-1
Suppose -3*i = 7*i + 18*i. Let c be (-175)/77 + 2/1. Which is smaller: c or i?
c
Let h = 33.61 + 12.39. Is h != 3/5?
True
Let q = -279 - -290. Which is smaller: 1 or q?
1
Let u(r) = -r**2 + 8*r - 14. Let s be u(6). Let o be s - (-2 + (-3 - -1)). Which is smaller: o or -0.2?
-0.2
Let z(s) = -2*s**3 - 3*s**2 + s - 2. Let i be z(-2). Let c be 101/3 + 2/6. Let k be 1 - (-2 - (-108)/c). Which is bigger: k or i?
i
Let f = 733086707/540 + -1357567. Let m = f - 21/20. Suppose -4*y = -y - 4*o + 3, 5 = -5*y + 3*o. Is m >= y?
True
Suppose -92*s - 2794 = -586. Which is greater: -39 or s?
s
Let t be -1 + (-2)/24*-4. Suppose 17*x - 15*x = -2. Which is smaller: x or t?
x
Suppose -4*q - 5 = -57. Let j = 12 - q. Let s be (8/14)/(18/(-2 - -1)). Is s > j?
True
Suppose -79 = 2*s - 5*b, -3*s - 129 = -5*b + 8*b. Is s at least -42?
True
Let o(v) = 5*v**2 - 7*v + 5. Let p be o