 + -1.62. Let z = 3479 - 3480.8. Is z greater than v?
False
Suppose -9 = 3*c, 4*c - 2951 - 2361 = -4*f. Does 1332 = f?
False
Let a(y) = y**3 - 12*y**2 - 76. Let s be a(10). Let c be 6*1*18/s. Are c and -1 equal?
False
Suppose 5*o - d + 850 = 0, 3*d = 4*o - 2*d + 701. Is o not equal to -154?
True
Suppose -3*z - o + 62 = -0*o, 3*o = -3. Suppose 5*i = -4*a + z, -2*a + 5*i - 38 + 11 = 0. Is -157 bigger than a?
False
Let a be (-2580)/50*10/(-4). Let z be -4*(4 + (1 - 7)). Let c be ((-14)/z - -2) + a/12. Which is smaller: 13 or c?
c
Suppose w = 2*q + 155 - 33, -357 = -3*w - 3*q. Is 120 at least as big as w?
True
Let x = -0.0744 + -0.2256. Suppose h = -4*o - 143 + 17, -5*h + 10 = 0. Let u = 37 + o. Are u and x non-equal?
True
Let z be (-34)/(-8) + (-16)/64. Suppose w = 3*m - z*m + 56, 3*w - 225 = -4*m. Is m at most 57?
True
Let k = -2770 + 2749. Is k at most as big as 19?
True
Let t(l) = -l**3 + 36*l**2 + 14*l - 520. Let j be t(35). Which is bigger: -2 or j?
j
Let c(l) = -2*l**3 - 7*l**2 - 18*l - 13. Let x be c(-4). Is x greater than 9?
True
Let k = 494 + -489. Suppose 0 = -k*g + 4*s - 1414, 2*g + 353 = 3*s - 214. Is g less than -282?
False
Suppose -4*g + m + 63 = 0, -10*g = 17*m - 13*m - 164. Is g bigger than 194/13?
True
Let q = -574 - -574.077. Are 15 and q unequal?
True
Let f = 31.16 - 31.09. Is -3.2 not equal to f?
True
Suppose -27 = 3*p - 42. Suppose 4*h - 4*k - 8 = 0, -4*h - 3*k = -p*h + 8. Is h less than or equal to 180?
True
Let r(j) be the second derivative of -j**5/20 - 5*j**4/4 - j**3/6 - 10*j**2 - 74*j. Let n be r(-15). Is -16/3 not equal to n?
True
Let u be (-2630023)/(-22087224) - 2/16. Let r = u + -2/24873. Which is smaller: r or 1?
r
Suppose 132 = -4*h - 5*s, -5*h - 99 = -2*h + 4*s. Let i = 43 + h. Suppose 0 = 3*u + i + 62. Which is smaller: -25 or u?
-25
Suppose 0 = 3*p + 207 - 876. Let y(s) = s**3 + 15*s**2 + 258*s + 2058. Let k be y(-9). Is k equal to p?
False
Let v = -59 - -94. Let u = 33 - v. Let w be (-4)/(-14)*(-3)/u. Is 0 <= w?
True
Let g(l) = 60*l - 192. Let a be g(4). Let k = -98 + 147. Which is smaller: k or a?
a
Suppose -39*c + 7564 = -12794. Which is smaller: 523 or c?
c
Suppose -2*k + 6*o = 4392 - 872, 4*k = 3*o - 7031. Which is bigger: -1758 or k?
k
Suppose 0 = 131*y - 126*y - 5. Let a = -2/239 - -624/17447. Is a smaller than y?
True
Suppose 2142*x - 2139*x = -b - 1191, 1598 = -4*x + 2*b. Which is bigger: -376 or x?
-376
Let q be 872/10*(11 + -12 + (-160)/(-135)). Which is smaller: q or 16?
16
Suppose 5*x + 141 = -5*m - 349, 3*m - 15 = 0. Let q = 50659 + -50761. Which is greater: x or q?
q
Suppose -172 + 761 = 19*n. Let z = n + -13. Is 17 bigger than z?
False
Suppose -856 = -w - 3*q, -2*w + 61*q - 56*q = -1657. Which is greater: w or 2522/3?
w
Let b = 7237 - 7288. Which is greater: -3 or b?
-3
Suppose -2*j + 34 + 37 = 3*b, -12 = -4*b. Suppose -57 = -4*t + j. Suppose -t = -f - 2*o, 3*f + 0*o - 96 = 4*o. Which is smaller: 30 or f?
f
Let d be 30/(-105) - (-32331)/(-7). Let t = -22946/5 - d. Do 30 and t have the same value?
False
Let y(o) = 57*o + 795. Let d be y(-15). Which is bigger: d or -64?
d
Suppose 0 = -33*w + 15*w - 20*w - 15466. Which is smaller: w or -415?
-415
Let u be ((-380)/499605)/((-2)/3). Is -1 less than or equal to u?
True
Suppose -626 = -5*d + 559. Let h = d - 268. Which is greater: -29 or h?
-29
Let b = 76716.4 + -76716. Let d = -0.2 + 0.36. Which is smaller: b or d?
d
Let s(q) = q**2 + 5*q - 202. Suppose -7 + 202 = 15*f. Let t be s(f). Does 17 = t?
False
Let s be (1 - (-2)/(-10))*(-9854)/312. Do -26 and s have different values?
True
Let d = -12578 - -12092. Is -1943/4 greater than or equal to d?
True
Suppose -302 - 373 = -y + 4*r, 0 = -y - r + 665. Which is smaller: y or 661?
661
Let d = 25/4912 + -144913/5309872. Is d bigger than 2/3?
False
Let b = -1 + 2. Let g = 38.849 - -30.627. Let s = -0.476 + g. Is b bigger than s?
False
Let i = 1771 + -1912. Which is smaller: i or -132?
i
Let f = 922 + -926. Let a be (f - ((-21 - -5) + -3))/17. Do -2 and a have different values?
True
Suppose z - 1050 + 230 = 5*c, c + 164 = z. Which is greater: -5 or c?
-5
Let v = -83/3 + 27. Let i = -0.0997 - 0.2403. Which is greater: i or v?
i
Let c = -434 + 435.2. Is c at least 0.153?
True
Let p = 6.59 - 6.69. Which is smaller: -128.4 or p?
-128.4
Let z(s) = s**2 - 107*s - 920. Let o be z(-8). Is o at most as big as 3/4253?
True
Let w(t) be the third derivative of -t**5/60 + 3*t**4/8 - t**3/6 - 30*t**2 - 1. Let u(s) = s**2 - 3*s + 5. Let d be u(4). Let c be w(d). Is c equal to 2/45?
False
Suppose -2*a - 4*f = 28, 0 = 3*f - 1 + 22. Is a at least as big as -38/157?
True
Let g = -11 + 15. Let k be (-2)/(-8) - (-11)/g. Let a = k + 3. Is 3 > a?
False
Let c be 106/(-94) + (0 - -1). Let j(l) = 2*l**2 + 17*l + 22. Let h be j(-7). Which is greater: c or h?
h
Let o = 1341 + -1341. Is o smaller than 0.078?
True
Let r = 3360363/12605 + 26/2521. Is 267 >= r?
True
Let f = -7 + 12. Let a(k) = k - 5. Let t be a(f). Let c be ((28/10)/(-7))/(134/10). Are t and c nonequal?
True
Suppose -2*k + 4*y = 8, k - 4*y - 48 = 6*k. Let v(n) = -2*n**2 - 11*n - 4. Let u be v(k). Suppose -5*p = 11 - 1. Is u bigger than p?
False
Let u = 209 + -2927/14. Suppose 0 = -4*c + z + 48, -6*c = -3*c - 2*z - 31. Suppose -14*a - 1 = -c*a. Which is smaller: u or a?
a
Suppose -2*p = -0*p - 50. Let a = p + -76/3. Let j = -36.8832 - 0.1168. Which is smaller: j or a?
j
Let b(v) = v**3 - 14*v**2 + 13*v + 5. Let u be 39*((-14)/(-6) + -2). Let z be b(u). Suppose y = x - 2*y - 7, 2*x - 4*y = 14. Which is smaller: z or x?
z
Let m be ((-7)/(-3))/(16 - 264/18). Let w(o) = -o + o**3 + 4 + 4*o**2 + 5*o + 0. Let n be w(-3). Which is greater: m or n?
m
Suppose -4*u + 5*f - 3 = 0, -3*f = -8*f - 5. Let l be (15/3 + -7)*(-3)/u. Do l and 2 have the same value?
False
Let u(z) be the second derivative of -z**5/20 + z**4/6 - 3*z**3/2 + 7*z**2/2 - 2*z + 29. Let p be u(2). Suppose 0 = -3*l + 5*l + 26. Is p not equal to l?
True
Let u be (-2)/(-5) + (-66)/15. Let x(p) = p**3 - 10*p - 5. Suppose 3*q = -3, 4*z - 11 = 9*z - 4*q. Let a be x(z). Which is bigger: u or a?
a
Suppose 4*z - 18 = 2*o, -2*o + 1 = z - 6*o. Let f be 1 + 184/z + 20/(-25). Which is smaller: f or 2/5?
2/5
Suppose 0 = c - 3*v + 67, -6*c + 11*c = 7*v - 311. Is c < 4/53?
True
Suppose -93 = 5*t - 623. Suppose 179*b + 210*b - 13726 = 27508. Let c = t - b. Which is smaller: 4/21 or c?
c
Suppose q = 2*q + 6. Suppose 0 = -133*u - 4150 + 5347. Does q = u?
False
Let g(m) = -m**2 - 10*m - 4. Let u be g(-9). Suppose 0 = 3*l - 18 + 2 + 1. Is u less than l?
False
Let s = -71 + 71. Let i = -0.2 + s. Let c = -19/65 + 9/13. Are c and i unequal?
True
Let l be ((-39)/5)/((-21285)/(-1100)). Is 2 less than or equal to l?
False
Suppose 5*o - 10 = 2*f + 7, -4*f = 2*o - 26. Suppose -o*z = 5*u + 700, -3*u - 3 = -12. Do -143 and z have different values?
False
Suppose 7852 = 225*b + 77*b. Suppose 2*v - o = 43, 0*v + o + 106 = 5*v. Is b at most as big as v?
False
Let p = 4487 + -13475/3. Do 494 and p have different values?
True
Let r = 371/780 - -55/52. Let b be (4 - 10/15) + 2/(-6). Is r at least as big as b?
False
Let u = 5129/3 - 1710. Let c = -234 + 232.79. Let i = c + 65.21. Which is greater: i or u?
i
Suppose 8*d - 25 = 3*d. Suppose -i = -d*i. Let j(f) = -f**2 - 6. Let m be j(i). Which is smaller: 2/5 or m?
m
Suppose 5*o + h = 6*h + 2535, 2*o - 1019 = h. Let k = o - 717. Let y = k - -1011/5. Is -3 less than or equal to y?
True
Let s = -43293/7 - -6185. Are s and -213/7 unequal?
True
Let k be -13 + 1 + (-5 - -7). Let p be 122/k*-1 + 1/(-5). Let i = 26 - p. Which is bigger: 13 or i?
i
Let s = 20049 + -20048. Does s = 30/737?
False
Suppose 5*w = -5 - 0. Let s be (-36110)/(-165) + w/(-3). Let b = -219 + s. Which is bigger: 0 or b?
b
Suppose -17*s + 1976 = 9*s. Is 449/6 greater than s?
False
Let k = 21148/9 - 2389/9. Let m = -106357/51 + k. Let s = -4/17 + m. Is s less than 3?
True
Let f be (-136)/(-142)*(-3 + (-8)/(-64)*21). Which is greater: f or 1?
1
Let l = 2439 + -5418. Which is bigger: -2978 or l?
-2978
Let k be (0/1)/(-47 + 48) + 44. Suppose -2*v + k = 20. Let r be 2/(-7) - 172/(-14). Does v = r?
True
Let y = 428.6905 + 0.3095. Which is bigger: -0.1 or y?
y
Let m = 498 + -503. Let n be 0 + (3 - -6*m/10). Suppose 4*s + 3*k + 16 = 0, -1 + 13 = -4