7 + -75564. Let z = 4 - 0. Is w < z?
True
Suppose -c + 255 = x, -c - 2*x + 1284 = 4*c. Let j be 6/(-27) - c/(-594). Is -1 less than or equal to j?
True
Suppose 2*j = -6, -5*j = 2*d - 0*j + 5. Suppose 2*k = -d*g + 13, -k + 0 = 4*g - 8. Is -1/203 >= g?
False
Let c(s) be the third derivative of -s**4 - 89*s**3/6 - 3*s**2 + 24. Let i be c(-4). Which is bigger: -3 or i?
i
Suppose 205*l + 5*d + 2596 = 203*l, 0 = -4*l + 2*d - 5216. Is -1303 at least l?
True
Let s = 0.041 + -0.041. Let t = 20 - 1. Let m = t + -35. Which is greater: m or s?
s
Let x be 755/(-4) - (-21)/28. Let l = x - -180. Which is bigger: l or -1?
-1
Suppose 5*x = 3*f - 366, 4*x - 5*x - 2*f = 68. Let s be (-61)/(-9) + (-16)/x. Let w = -485/2 + 250. Which is smaller: s or w?
s
Let h = 23.7 - 160.7. Let x = h - -239. Which is bigger: x or -1?
x
Let v be 18/5*120/(-18). Suppose -5 = -4*g + 2*f - 5*f, 4*f + 20 = 0. Suppose g*d + 0*s + s + 109 = 0, 2*d + 2*s = -42. Is d greater than or equal to v?
True
Let s be ((-3)/9)/((-3)/36*-3). Let o = s + 5/6. Which is bigger: -6.4 or o?
o
Let n = 5837 + -5589. Which is bigger: -10 or n?
n
Let o(m) be the third derivative of m**5/60 + m**4/2 - 7*m**3/3 + 17*m**2. Let u be o(-13). Let y be 40/25*(u/(-1) + 9). Is y less than or equal to 17?
True
Let t = 632 - 576. Is t >= 57?
False
Let b be (-1707)/155 + (-80 - -91). Suppose -2*w = -4*w - 2. Is w less than b?
True
Let x(f) = -2*f + 13. Let u be (-12)/18*6/4. Let j(i) = -9*i - 2. Let a be j(u). Let k be x(a). Which is bigger: k or -8?
k
Let b = -367 + 1459/4. Which is bigger: b or -35?
b
Let i = -2682 - -2261. Which is smaller: -429 or i?
-429
Let t = -430 + 454. Suppose 0 = 4*w - t + 452. Is -108 at least w?
False
Let m be ((-24)/58036)/(30/(-220)). Is -1 > m?
False
Suppose 5*w + 0*t - 3*t - 195 = 0, 0 = w + 2*t - 39. Let m = -157/4 + w. Suppose 5*f - 9 = -4. Which is smaller: m or f?
m
Let o = 4 - 4. Suppose o = -2*b - b + 150. Let z = b - 49. Is z at least as big as 0.2?
True
Suppose -252 = -8*f + 1572. Let m be -1 + (-7)/(-4) - 171/f. Which is smaller: m or 4/39?
m
Let j be ((-600)/(-10))/(3/(-2)). Let t = -37 - j. Suppose 2*i - t = -5. Do i and -3/26 have different values?
True
Let s(q) = 9*q - 51. Let c be s(10). Let a be (-2 + c/3)/(-1). Which is greater: a or -16?
a
Let k be 1*(-3)/9*1. Let s = 12980 - 64934/5. Which is smaller: k or s?
s
Let m be 2/1*3*-7. Suppose 4035 = 16*p + 4723. Which is smaller: m or p?
p
Let k be (((-5)/30)/(4/(-36))*-362)/1. Which is greater: k or -2711/5?
-2711/5
Let o = -18949 - -11918924/629. Is -1 >= o?
False
Let n(v) = -v**3 + 3*v**2 - 2*v + 4. Let m be n(3). Let p be ((-320)/1760 + 37/143)*(-3 - 0). Is p > m?
True
Let t = 340 - 449. Suppose 673 = -5*d + 128. Is d > t?
False
Let v be -1*1 - 7/63*-18. Which is greater: v or 52/123?
v
Suppose 5*f - 8*f + 480 = -4*u, 155 = f - 3*u. Let d(b) = -19*b - 8. Let y be d(-9). Are y and f nonequal?
True
Let x be 1433/22 + (-291)/2134. Suppose -5*l - 4*a + 345 = 0, -l - 4*a + 60 = -5*a. Is l at most x?
True
Let l(s) = -61*s - 2215. Let d be l(-36). Suppose 4*i + 0*f = 4*f + 12, f - 15 = -5*i. Suppose i*c + 49 = -2. Are d and c non-equal?
True
Suppose 2*x = 3*q + 1646, -68*q + 4 = -69*q. Is 818 at most x?
False
Suppose 0 = 22*v + 29 - 7. Let w = 3.95 - 4. Let s = -0.08 - w. Is v at least s?
False
Let j be 7399/(-14)*(1 - 21/49). Which is greater: 8 or j?
8
Let f = -8456 - -8479. Is -135 <= f?
True
Let p = -7771/641033 - 27/1081. Do 1 and p have different values?
True
Let l = -1109 - -913.2. Let p = l + 203. Is p at least 2/7?
True
Let n be -1*3*17/((-306)/(-7716)). Let w = 78444/61 + n. Are w and 5 non-equal?
True
Let g be 28/(-252)*(-1 - 1). Which is smaller: g or 3333?
g
Suppose -130*m + 81*m = -48216. Which is smaller: 986 or m?
m
Let s be 88/(-10) - (-178 + 169). Which is smaller: s or -334?
-334
Let p(m) = 23*m + 160. Let q be p(-7). Let j(z) = -z**3 - 4*z - 5. Let r be j(q). Does r = -4/121?
False
Let o(j) = -48*j**2 - 6*j + 2*j + 2 + 49*j**2 + 6. Let h be o(3). Suppose -h*d - 5 = -5*v, d - 19 = -2*v - v. Which is bigger: d or 13/5?
d
Let z be (-9)/(-63)*7 + 2 + 26. Let y be z/87 + (-566)/24. Which is smaller: y or -22?
y
Let h(q) = -q**3 - 3*q**2 - q - 3. Let p be h(-2). Let a = p - -76. Which is bigger: a or 70?
a
Suppose -4*s - 7 - 4 = -y, -3*y = 3*s - 18. Is s at least -8/703?
False
Let f(j) = 2*j**2 + 26*j + 7. Suppose 18*k + 26 = 16*k. Let i be f(k). Suppose i*l - 7 + 0 = 0. Which is bigger: l or -1/31?
l
Let r be 244/2806 - 4720/57454. Which is bigger: 1 or r?
1
Let u be 56/35*-21*(-10)/4. Let d be (-21)/u - 258/(-8). Suppose -3*a = -7*a + 4*l + d, 0 = -l + 3. Is a less than 45/4?
True
Let p(q) = -q**3 + 10*q**2 - 20*q - 7. Let h be p(6). Which is bigger: h or 16?
h
Let m = 0.278 + -0.319. Let i = m - 0.059. Which is smaller: 70/11 or i?
i
Let q(b) = b**2 - 2*b. Let h be q(3). Suppose 5*u = h*a - 105, 0 = -2*u + 8*a - 11*a - 63. Which is smaller: -29 or u?
-29
Let a(t) = t**3 - 67*t**2 - 45*t - 97. Let i be a(68). Which is greater: 1469 or i?
1469
Let y = 28357 + -28357. Which is smaller: y or 9/3911?
y
Suppose 27*b + 2*s = 30*b - 2371, -5*b + 5*s + 3950 = 0. Is b smaller than 791?
False
Let k be (45/(-6) - -6)*2/993. Let v = k - 1648/2317. Suppose -5*p - 2 = 8. Which is bigger: p or v?
v
Let v(l) = 131 - 259 + 128 + 3*l. Let j be v(-5). Which is smaller: -5 or j?
j
Let q = 87477 + -957642/11. Which is bigger: 420 or q?
420
Suppose -7 + 4 = -x. Suppose x*o - 2*j + 24 = o, 2*o + 2*j = -28. Is o equal to -9?
False
Let n = 2 - 1. Suppose -41*z + 39*z = -134. Let h = 65 - z. Which is smaller: h or n?
h
Suppose -3*w = -3*v - 8814, v + 2*w + 6803 = 3892. Is -2933 equal to v?
False
Let c = 1/26617 + -38701125/186319. Is -208 greater than or equal to c?
False
Suppose 8*a + 8*a = 1235 + 157. Let v(u) = 2*u**2 - 2*u + 4. Let w be v(7). Are w and a non-equal?
True
Let v = 47625 + -44505.02. Let p = v - 3150. Let s = p + 30. Is s smaller than 0?
True
Let y(v) = -63*v - 125. Let t be y(-2). Does -2/475 = t?
False
Suppose 1 = p - 2. Let q be (5 - 7022/4206) + 0. Let f = 2/701 + q. Is f greater than or equal to p?
True
Let u(s) = 7*s - 24. Let i be u(0). Let j = i - -30. Suppose 5*b + 3*c - 351 = j*c, 375 = 5*b + 5*c. Which is smaller: b or 71?
71
Let m = 1.2 - 0.6. Let y = m - -0.4. Let f = 3.9097 - 17.9097. Which is smaller: f or y?
f
Let l = 28171 + -28237. Suppose 0 = -5*a + 3*r + 34 - 356, 3*a - 3*r = -192. Which is smaller: l or a?
l
Let l be (-176245)/(-13960) - 10/16. Let j be 4/2 - 26/10. Which is smaller: j or l?
j
Let z = -1 - -0.8. Suppose 12 = 23*f - 20*f. Let i be f/(-7) + (57/14 - 4). Is i greater than z?
False
Let t = -80220983/33 + 2430227. Let i = t + 712. Is i less than -1?
False
Let b = 5276 + -5287. Suppose 4*z - 3*s + 87 = 0, -7 - 17 = z - 3*s. Which is smaller: b or z?
z
Suppose -5*s = 4*j - 17, -5*j = -0*j + 4*s - 10. Let b(a) = 23*a + 9. Let p be b(j). Let f be 8/44 + p/22. Are 2 and f unequal?
True
Let y = 0.06183 + -0.05883. Is -64 smaller than y?
True
Suppose 75 = 3*z - 0. Let p = -21 + z. Suppose 3*n - n + 18 = p*r, 0 = -3*n - 3*r + 18. Is n at least 7/4?
False
Let g = 6619 - 7146. Let r = -807 + 280. Is g greater than or equal to r?
True
Let h be (-8 - -10) + 978/(-51) - -4. Which is smaller: -13 or h?
h
Let r = 3.5 - 6.62. Let h = r - -2.52. Let b be (1/5)/(1/(-3)). Is h greater than b?
False
Let w = 1 + 0. Suppose w = -4*q + 3*q. Let j be -1*7 + (-4830)/(-735). Is q equal to j?
False
Suppose 2*w - 2 = 0, -5 = -3*t - w - w. Let h be (-1 - -2) + 1 + (-57 - -58). Let x be 1 - (-3 + h/(-12) + 4). Which is smaller: x or t?
x
Let z = 2131277/22 - 194331/2. Let c = 289 + z. Suppose 0 = -2*u + 7*u - 5. Which is bigger: c or u?
u
Let x(d) = 61*d + 1435. Let u be x(-22). Suppose 3*a - 2 = 2*a. Which is bigger: a or u?
u
Let o = -26921 + 1399889/52. Suppose 0 = 3*j - 2*j - 1. Which is bigger: o or j?
j
Let f = 8.5 - 8.59. Let j = f - 0.91. Let m = 6.52 + -6.3. Which is smaller: j or m?
j
Let b = -6.96926 - 0.03074. Let j be (-6)/(-33) + 48/(-385). Let a = -1/7 - j. Is a less than b?
False
Let u = -13 + 163. Let q = -182 + u. Are q and 3 non-equal?
True
Suppose -15*o - 32 = o. Let f = -74.23 + -1.77. Which is greater: f or o?
o
Suppose 0 = 38*g - 33*g - 25. Let w be (-62)/(g + 2 - 9). Is 30 at least w?
F