- z. Is -46 bigger than s?
True
Let b(a) = -a**3 - 15*a**2 - a - 5. Let w be b(-13). Let v be 4/(-6)*w/(-11). Let f = -29 + 28. Is v <= f?
True
Suppose -87*n - 9435 = -2736. Which is smaller: n or -0.8?
n
Suppose 0 = 14*p - 40 - 16. Suppose 2*l - d = -829, 0*l = l - p*d + 411. Which is greater: l or -414?
-414
Let h = -24357 - -24309. Is -58 bigger than h?
False
Let c = -42038 + 42064. Do c and -489 have different values?
True
Suppose -2*g = 2*a + 3*g + 59, 0 = 2*g + 6. Suppose -8*b + 13*b + 180 = 5*n, 3*b + 4*n = -94. Let p = -57 - b. Which is bigger: a or p?
a
Suppose -5*m + 60 = 10*m. Suppose c + 7*i + 24 = 2*i, -2*c - m*i - 18 = 0. Is c <= 5/53?
False
Let f = 765 + -428. Let z = 199 - f. Which is greater: z or -137?
-137
Suppose 3*f = 2*t + 124, -56*t = -52*t - f + 228. Which is smaller: -1314/23 or t?
-1314/23
Suppose 5*u - 10 = 5*a, -2*a - 10*u = -6*u - 2. Which is bigger: a or -6/2137?
-6/2137
Suppose -50*n = -37*n - 26. Let z be 16/66 + n/(-6). Which is smaller: 1/6 or z?
z
Let l be (4*1)/1*(-1076923)/(-4282). Which is smaller: 1007 or l?
l
Let g = -6 + 9. Suppose -5*s = -g*s - 44. Let w(v) = v**3 - 21*v**2 - 22*v - 7. Let y be w(s). Which is greater: -4 or y?
-4
Let a(x) = x**3 - 22*x**2 + 2*x - 41. Let k be a(22). Suppose -k*f + 3*z = 5*z - 7, -5 = 5*z. Let s be 9/(-6)*(85/f + -1). Which is smaller: s or -42?
-42
Let q = 997 + -1004. Let a = 30 + 0. Which is bigger: a or q?
a
Suppose -5*b - 863 = -3*y + 537, -2*y + 273 = -b. Is b smaller than -281?
True
Suppose -1458 - 450 = -9*m. Suppose -8*o = m + 1060. Which is smaller: o or -158?
o
Let y = -2/534983 + 534989/1604949. Let x = -3.4 - -9. Let a = 3.7 - x. Which is smaller: y or a?
a
Let h = 1411 + -1407. Which is smaller: -0.049 or h?
-0.049
Suppose -3*k + 58 = -k. Suppose 56*b = 84*b + 840. Let i = b + k. Which is greater: i or -5/6?
-5/6
Suppose 15 = -58*u - 699 - 272. Let q(n) = n**2 - 12*n - 5. Let g be q(11). Which is bigger: g or u?
g
Suppose 3*y - 511*g + 30038 = -516*g, -3*y + g = 30014. Which is greater: y or -10004?
-10004
Let p = 163 + -236. Let t = 363/5 + p. Is t less than 23?
True
Let o(h) = -h**3 + 2*h**2 - 11*h + 6. Let q be o(0). Suppose 0 = q*f - 8*f - 5*n - 405, 5*f - 4*n = -1095. Which is greater: -214 or f?
-214
Let w = 71 - 31. Let t(g) = g**3 - 7*g**2 - 6*g + 16. Let m be t(7). Let d = w + m. Which is greater: 15 or d?
15
Let a(r) be the third derivative of r**6/120 + 4*r**5/15 + r**4/8 - r**3/3 + 36*r**2. Let w be a(-16). Which is bigger: -51 or w?
w
Suppose 5*q = -16 - 49. Suppose -v + 18 = -5. Suppose -4*c - 71 = -v. Is c at least q?
True
Let f(r) = -680*r**3 + 2*r**2 + 10*r + 8. Let t be f(-1). Let n = t - 588. Which is bigger: n or 453/5?
n
Let f(r) = 6*r - 31. Let v be f(5). Let u be 54/(-120)*v/((-6)/(-32)). Let s be -3*((-2)/(-3) + -1). Is u < s?
False
Let f be ((-3)/(-9))/(1/63). Suppose 1 - f = -4*r. Suppose 8 + 0 = -4*o, -2*o = r*l + 149. Which is smaller: -28 or l?
l
Let s = 10099 + -6230. Suppose 5*o + s = 2*z, -4*z + 13 = 5. Which is bigger: o or 1?
1
Suppose -4*c - 3*d = -99 + 16, 0 = 3*c + 2*d - 61. Suppose 13*b - 188 = c*b. Is b greater than -48?
True
Let a = 2625 - 2629. Let b be (2 - 3) + -1 - 2. Let j = b - 0. Is a greater than j?
False
Let m be ((-3)/1)/(5/(-5)). Let o be 3*69/(-219) + m + -2. Which is smaller: 1 or o?
o
Let d = -12210 - -9806. Do -2404 and d have different values?
False
Let f(h) = -19*h**2 + 14*h + 55. Let a be f(-3). Let i be ((9 - 4) + 5)/a. Which is smaller: -1 or i?
-1
Let s = -243/22 - -21/2. Let q = 89.7 - 80. Let w = q - 10.7. Is w smaller than s?
True
Let z = -3962 - -3963. Which is greater: z or 53?
53
Let a(j) = 2*j**2 + 2*j + 12. Let s be a(-4). Suppose 3*z + s = 33. Let q = 75/52 - 22/13. Which is bigger: z or q?
q
Let l(w) = -w**3 + 6*w**2 + 9*w - 2. Let z be l(4). Let s = -60 + z. Let g be (3/s)/(125/2). Which is greater: g or 0?
g
Let s = 66 - -25. Suppose 4*c - s = -7. Let j = -20 + c. Which is smaller: -13 or j?
-13
Let z = -4/97447 - 469139/440850228. Is 1 greater than z?
True
Let v = -4 + -8. Let y = v - -5. Let h = -359.1 - -359. Which is bigger: h or y?
h
Let i = -5104 + 5102. Which is bigger: i or -15.21?
i
Let a = 0.185 - 111.185. Let q = 15194/37935 + -4/7587. Which is smaller: q or a?
a
Let k be 89/2 + 1*2. Let o be (376/(-16))/(2 + (-5)/2). Let y = k - o. Which is greater: y or -2?
y
Let v be ((-1087)/(-3)*-2)/(810/729). Let l = 648 + v. Do -3 and l have the same value?
False
Let b be -10 + -6*1/(-3). Let m be (-2)/b*0 - 4/12. Which is greater: 0.6 or m?
0.6
Suppose -4*z = -h - 15, -33*h - 2*z = -32*h - 15. Let u be 3/1*(0 + 1). Suppose -2*k = -h*y + u*y - 12, 4*k - y = 18. Is k >= 14/5?
True
Let t = 131 - 128. Suppose 0 = -4*i + 2*v + 10, t*i - 5*i - 3*v = 15. Is i less than -2/285?
False
Let t = 3384 - 3385. Which is smaller: t or -1/3494?
t
Suppose 4*m - 8*f = -4*f, -6 = 4*m - f. Let b be (-5)/970*(m + -2). Suppose -2*i - 4 = -4*l, -2*l + 2*i + 6 = -0*l. Is b greater than l?
True
Let v be -1 - (-16228)/(-24) - -8*1/(-24). Which is bigger: v or -678?
v
Let d(i) = -21*i + 135. Let t be d(15). Which is smaller: -544/3 or t?
-544/3
Let c be (68415/273500 - 1/4)/(28/(-35)). Is 1 at most as big as c?
False
Let m be 17/(68/24) - -109 - -2. Which is greater: m or 20?
m
Let z(a) = 11*a**2 - 2*a - 3. Let p be z(-2). Suppose 82 = 2*o - b, -3*o + 8*b = 2 - 73. Is o smaller than p?
False
Let x(p) = -2*p - 57. Let v be x(-27). Are -90/41 and v non-equal?
True
Let v be (-5 + (-64)/(-13))*30/(-3). Let u = 43/39 - v. Which is bigger: -1 or u?
u
Suppose -3*k - 4*t = -6671, 1155*k = 1152*k - 3*t + 6666. Is k not equal to 2220?
True
Suppose 2*d - n = 3*n + 20, -3*d - 5*n - 3 = 0. Let c be (2 - 1/2)*(-200)/60. Which is greater: c or d?
d
Let i = 5110 + -5285.95. Let q = i + 182. Let g = q - 0.05. Which is smaller: 2 or g?
2
Suppose 4*o - 1 - 7 = 0. Let b(j) = 17*j**3 + j**2. Let n be b(o). Let g be (16/(-20))/((-4)/n). Is g greater than 28?
False
Let f = -122 - -109.8. Let p = f + 11.9. Which is greater: -13/5 or p?
p
Let j = -154.0249 - -0.0249. Let g = -154 - j. Is g at most -14?
False
Let u = -299 - -731. Let t = u - 331. Is t at most 100?
False
Let n = -23347 - -23346.901. Do n and 7 have the same value?
False
Let t be (7 - 6)*(1 + 0). Let j be 6/98*(12 + -13 + 2). Which is bigger: t or j?
t
Let x(v) = -v**3 - 28*v**2 + 59*v - 14. Let t be x(-30). Let w(b) = b - 32. Let s be w(t). Is s < -17?
False
Let b be (-8150)/30*((-48)/10 + 3). Let l = -450 + b. Is 43 >= l?
True
Suppose -79*o = -77*o - 4*l + 16, -5*l + 20 = 2*o. Suppose 4*q = n - 14, q + 0*q + 9 = 3*n. Is q greater than or equal to o?
False
Let p = 32.059 + -30.059. Are 3083 and p equal?
False
Let n = 58 + -57.893. Let y = n - -0.023. Is -7 bigger than y?
False
Let s = 16804 + -16803. Is 1/8999 <= s?
True
Suppose 162 = -5*y + 2*y - 2*k, 0 = -5*y + k - 283. Suppose -2*x + 4*w - 74 = -3*x, 0 = 2*x - 2*w - 98. Let v = x + y. Is -0.03 less than v?
False
Let x be (8/(-5))/(96/(-120)). Suppose -4*i + j = -13 - 39, i - x*j = 13. Is 7 less than or equal to i?
True
Let y = 5.02 + -4.815. Let t = y + -11.205. Which is bigger: 14 or t?
14
Let n = 37.619 + -6.989. Let p = n - -0.37. Let l = 25 - p. Which is greater: -4 or l?
-4
Let f = -3377/70 - -323/7. Is f <= -9/2?
False
Let q = -191 - -244.6. Let r = 50.6 - q. Which is bigger: r or 14?
14
Suppose -40*x - 16201 - 6707 - 1292 = 0. Is x > -605?
False
Let q(t) = 5*t + 88. Let s be q(-17). Let a be s/(-5)*100/(-60). Is -1/253 at least as big as a?
False
Let u(w) = -w**3 - 37*w**2 - 33*w + 108. Let z be u(-36). Suppose z = 4*l + 2*a + 12 + 2, -2*l - 12 = 2*a. Which is greater: -4/181 or l?
-4/181
Let t = 5252 + -5481. Is t bigger than -225?
False
Suppose -q = 5*a - 14, -q = 4*q + 5*a - 30. Suppose -y + 3*g = 69, -2*y = -0*y - q*g + 132. Let n = 59 + y. Which is smaller: n or 2/31?
n
Let y be ((-10)/(-12)*(-40)/(-25))/(-1*130). Is y at least 7?
False
Let b be 3276/(-260) + (-2)/6*-3. Is 2 smaller than b?
False
Let v be 6/21*825/(-50) + (3 - -2). Is v less than 877?
True
Let n(z) = -z**3 + 9*z**2 - 13*z - 4. Let s be n(7). Suppose -s*o + 10 + 11 = -3*l, 4*o = -4*l + 60. Suppose -2*a = -o*a - 36. Which is greater: a or -3?
-3
Suppose -3*v + 128 = t - 139, 0 = 2*t + 4*v - 538. Which is greater: 274 or t?
274
Let u = 