or c?
t
Suppose 3*c - 15825 = -5*m, 42*m = 5*c + 43*m - 26353. Is 5270 at most as big as c?
True
Let w = 54908 + -54886. Suppose -21 = -c + 2. Is c bigger than w?
True
Let v = -20078 + 20281.9. Are 3/2 and v equal?
False
Let y = 318 + -318. Let j be 2/(-4)*(0 + y). Which is greater: 26/19 or j?
26/19
Suppose 34*x - 2215 = -6295. Let z = -7 - 114. Which is greater: z or x?
x
Let z be 2/84*-3*-1252 - -1. Let k = z - 135455/1498. Which is smaller: -1 or k?
-1
Let i be 1/(-6) + ((-5)/(-3))/((-104)/3172). Which is bigger: i or -73?
i
Let x = 110251537/10494536 + -22874/2147. Let m = 11/104 + x. Is -0.3 bigger than m?
False
Let p(a) = a**3 + 11*a**2 - 28*a - 22. Let i be p(-13). Let w = 6 - i. Let k(j) = -3*j**3 + 2*j**2 + 2*j. Let g be k(w). Are -13 and g unequal?
True
Let l = -0.1192 - -0.0602. Which is smaller: -3 or l?
-3
Let g(o) = 8*o**2 - 124*o + 78. Let c be g(15). Is c <= 24?
True
Let t = -15741 + 17590. Which is bigger: t or 1845?
t
Let o = 8 - 12. Let k be (1086/(-273) - o)/(2/3). Suppose 0 = -45*i + 30*i. Which is greater: i or k?
k
Let w = -279 + 311. Let c = 406 - 751/2. Which is smaller: w or c?
c
Let c be (-19284)/(-11220) - (-4)/34. Let t = c - 21/5. Is -1 greater than or equal to t?
True
Suppose 5*h + 49*c - 46*c + 183 = 0, -3*h + 6*c = 102. Is -25 smaller than h?
False
Suppose -c + 3*c - 28 = 2*v, 2*v = 0. Does 40/3 = c?
False
Let p = 56177 - 282039/5. Let f = p - -231. Is -1/48 at least as big as f?
False
Let p = 18912 - 18910.5. Is p less than 75?
True
Let y be 7/(21/(-12)) + 6. Let n be 2 - 4 - (y - 1). Let l be n/1 + 6/(-2). Which is smaller: l or 2?
l
Let c = 18522 + -18522. Is 5/6532 less than or equal to c?
False
Let g = 1487.49 + -1494. Let v = 158 - 157.49. Let p = v + g. Is p at least as big as -2/7?
False
Suppose 1139 = 17*t - 4573. Let k = t + -334. Do -1 and k have different values?
True
Let b be 4062/54 + (-2 - 48/(-27)). Let o be (3 - 2)/(-2)*(-60)/b. Which is greater: -2/9 or o?
o
Suppose 3*f - 15 = 2*a - 62, 2*a - 35 = -f. Suppose -2*g - a = -g. Let r(j) = -j**3 - 19*j**2 - j - 25. Let n be r(g). Is n at most as big as -7?
False
Let l = 21.24 + -15.24. Is l greater than -0.41?
True
Let c be 1215/(-171) - -7 - 3832282/4864. Let t = c - -788. Is t at most 0?
False
Suppose -3*b + 2*g = -6*b + 68, 2*g + 4 = 0. Let v be (((-1)/3)/(8/b))/(-1). Is v greater than or equal to 3/14?
True
Let j be (-5)/(-120)*-4 - (-11)/(-6). Is j bigger than -2/401?
False
Let j = 245 - 145. Let v be (8/j)/((48/15)/(-4)). Which is smaller: 2/3 or v?
v
Suppose -9 + 3 = 3*g - 2*b, 4*g - 15 = -5*b. Is g greater than 44/185?
False
Let k be (-21)/(-1148)*(-16)/(-12). Which is smaller: k or 2?
k
Let j be (1 - -1)*9/17118. Which is bigger: -1 or j?
j
Suppose 1117*n = 1080*n. Is 2/2985 less than n?
False
Let d = 398 - -1432. Let l = d - 23590/13. Which is smaller: l or 15?
15
Let y = -4901078731/248 + 19762527. Let n = -903/8 + y. Which is smaller: 0 or n?
n
Let h = -5267 - -5267. Which is bigger: -1/5407 or h?
h
Let i = -22 - -23. Suppose 19 - 31 = 3*o. Let a be (30/33)/((1*-8)/o). Which is smaller: a or i?
a
Let k = -10 - -25. Suppose -3*i + 5*s - 23 = 0, 5*i + 2*s = -3*s + k. Let o be (i/((-3)/12))/2 - 34. Is -30 < o?
False
Let j = 24349 + -24018. Is j equal to 359?
False
Let g(p) = p**3 - 6*p**2 + 15*p - 50. Let f be g(5). Which is greater: 1/803 or f?
1/803
Let d = -23765 - -13255. Do d and -10511 have different values?
True
Let t = -163 + 17. Let p = 1173 + -1319. Is t equal to p?
True
Suppose 1295*c - 6150 = 211*c - 146*c. Let n = 2312 + -25392/11. Which is smaller: c or n?
n
Let v(t) be the third derivative of t**4/24 + t**3/3 + 50*t**2. Let z be v(-34). Does z = -33?
False
Let i be ((-8866)/(-130))/((-8)/10). Does i = 1/2?
False
Let a(u) = 2*u**3 + 3*u**2 - 25*u + 24. Let o be a(10). Let l be -5*1 - o/(-238). Let p(z) = -z**2 + 5*z - 3. Let s be p(3). Which is bigger: l or s?
l
Let m = -7 + 100. Suppose 3*c = 8*c - 450. Which is bigger: c or m?
m
Let d be (44 - 44)/(2/1). Suppose -5*h + 5*p - 180 + 990 = d, 0 = h + p - 170. Is -1 at most as big as h?
True
Suppose 3*o = 398 - 53. Suppose -58 + 40 = -3*l, -462 = -4*u + l. Is o less than u?
True
Let q = -37838 + 37839. Let v = -2.2 + -1.1. Let b = 3.04 + v. Which is greater: q or b?
q
Let d = -7.2 - -7. Let v = 106170.92 - 106171. Which is bigger: d or v?
v
Let p(j) = -j**3 + 2*j**2 + 4*j - 4. Let w be p(3). Let y = 948 - 160. Let z = y + -24430/31. Which is greater: w or z?
z
Suppose 28*b - 727 - 169 = 0. Is b less than or equal to 35?
True
Suppose -146*d + 147*d - 2513 = 3*o, -o = -8. Which is smaller: d or 2536?
2536
Let s(a) = -32*a - 100. Let f be s(-4). Suppose f = 3*c - 5*p, 4*p = -4*c + 3*p - 1. Is c < -5/61?
False
Suppose -1457*l + 295 + 596 = -566. Let b = -1 + 2. Is b at least l?
True
Let o = 0.068 + -36.068. Let j = -6 + o. Let h = j - -42.1. Is h at least as big as 0.18?
False
Suppose 5*u - 2*u + 114 = 0. Let r(i) = -i**3 + 2*i**2 + 3*i + 2. Let y be r(3). Suppose -y = -85*s + 83*s. Is s less than or equal to u?
False
Suppose -3*a + 0*m = -4*m + 10, -3*a - 15 = -3*m. Let t = -2427449/8 + 303421. Is t bigger than a?
False
Let z be -129*(-2 - 14/(-6)). Let m(i) = -i**3 + 4*i**2 + 86*i + 77. Let a be m(12). Is z < a?
False
Let x = 30418 + -30413. Let q = -1.11 + 1.169. Are x and q unequal?
True
Let b be (-6 - -11) + 3/(-12)*-4. Suppose q + 2 = 0, 2*s - 5*q - 6 = b*s. Which is smaller: s or -1/210?
-1/210
Let p = -3 - -2. Let g = -30.5 + 39.2. Which is bigger: p or g?
g
Let i = -729 + 196. Let x = 533 + i. Which is smaller: 21/46 or x?
x
Suppose -u = 2*b - 11, 2*b = -2*b + 3*u + 7. Suppose b*n = -5*k - 4, -3*k + 0*k + 4 = 4*n. Let x be (-9)/(-16)*(-24)/k. Which is smaller: 2 or x?
2
Let n(t) be the second derivative of -t**4/12 + 13*t**3/6 - 8*t**2 - 14*t. Let v be n(12). Let w be (-86)/v + (-4)/(-8). Is 24 at least as big as w?
True
Suppose 2 = -v, -3*h + 90 + 248 = 5*v. Suppose -120*x + h*x = 172. Is -209/5 greater than or equal to x?
True
Let v(f) = 16*f + 5549. Let z be v(-9). Is z equal to 0?
False
Suppose -17 = -5*n - 3*t, 3*n + 2*n - 21 = t. Suppose 0 = 5*h - 2*w - 244, -5*h + n*w + 66 + 172 = 0. Which is bigger: h or 52?
52
Let u = 185430/43 + -12937/3. Is 59 bigger than u?
True
Suppose 69*p - 68*p - 264 = 0. Let r = p - 107. Is 315/2 at least as big as r?
True
Suppose 19220 + 10852 = -22*m + 1340. Is -1303 >= m?
True
Let o(c) = 0 + 2*c**2 + 30*c - 9*c**2 + 14*c**3 - 15*c**3 + 4. Let r be o(-10). Which is greater: r or 48/11?
48/11
Let b be -1 + (474840/26390)/18. Which is smaller: 0 or b?
b
Let l(i) = i**2 - 10*i + 21. Let g be l(5). Let x be 23165/(-1107) - g/(-54). Which is smaller: x or -11?
x
Let m = -392 - -554. Let a = -104 + m. Let u be ((-429)/(-234))/(88/24). Which is smaller: u or a?
u
Let v(m) = m**3 + 22*m**2 - 255*m + 18. Let w be v(-30). Which is smaller: w or 475?
w
Let y be 24/(-108) + 1508/(-18). Let t = 229 - 313. Let p = y - t. Is p greater than or equal to 2/127?
False
Let g be ((-13)/(-13689))/(17/4209). Let w be (-5)/405*12/34. Let j = g + w. Are j and -0.1 equal?
False
Let w = -4/65 - 57/130. Let g be (-1)/(190/10)*-2. Which is greater: g or w?
g
Let p be 147*((-19)/95)/(6/(-20)). Let a = p - 122. Is a at most as big as 0?
True
Suppose -d - 4*d = -5*n - 300, 4*n = -4. Let k = 87 - d. Suppose 5*f = y + 10, 2*y + f = 3*f - k. Which is greater: -44/3 or y?
-44/3
Let f be 4/(-140)*-5 + (-39)/91. Is 4 at most as big as f?
False
Let f be (20804/6)/((-250)/30) - 1. Let k = f + 417. Is k greater than 4?
False
Let c = -427.9349 + -0.0651. Let t = -423 - c. Is 2/11 not equal to t?
True
Suppose -m - m - 32 = 0. Suppose 3*h + 11 = -16. Let x be (-1)/3 + (987/h)/7. Is x > m?
False
Let u = -16.408 + 16.208. Which is smaller: u or 0.048?
u
Let g = -51870 + 17583926/339. Suppose -3*u + 6 = -5*p - 4, 5*u - 6 = 3*p. Which is greater: u or g?
u
Suppose 8*w = -5*k + 3*w - 5, 2 = 4*k - 2*w. Suppose t + 5*n + 4 = k, t + 4*n + 8 = 4. Let r = t + 7. Do r and 3 have different values?
False
Let c = 29398 + -29397.534. Which is smaller: c or -1.3?
-1.3
Let i = 5 - 12. Let s = 80 + -54. Suppose 0 = 4*v - 2*h + s, -3*v + 3*h - 7 - 11 = 0. Is i at least as big as v?
True
Suppose 24340 + 3314 = -6*a. Let y = 1654633/359 + a. Which is greater: 0 or y?
y
Let d = -4 - 14. Let z = d