or -25?
-25
Let k be (-170)/425 + 5/((-225)/(-3418)). Which is greater: 77 or k?
77
Suppose 96 = -4*n - 45*v + 41*v, -4*v = -3*n - 51. Let p be n + 21 - (1 + -2). Let f be (2/26)/((-1)/3). Which is smaller: p or f?
f
Let k = 20276 - 25266. Which is bigger: -4993 or k?
k
Let v(l) = 3*l + 64. Let o be v(-21). Let b(c) = -4*c**3 - c**2 + 3*c - 1. Let f be b(o). Let k be f*(91/(-126) - 2/(-4)). Is k equal to 43?
False
Let x be 31/(-7)*(-3269)/(-934). Which is greater: 1.18 or x?
1.18
Let w = 49885/8 - 6236. Which is greater: -1.9 or w?
w
Let l(q) = -4*q - 8. Let m(b) = b - 1. Let s(k) = l(k) + 5*m(k). Suppose -108 = 294*o - 312*o. Let a be s(o). Is -3 > a?
True
Let p = -12836.1 - -12836. Which is smaller: 0.0374 or p?
p
Let x = 18531114/1493 + -12412. Which is smaller: 1 or x?
x
Let k = 611 + -598. Let w be 24/6 + (-5 - 0) + 0. Are w and k non-equal?
True
Suppose -111*u - 37*u - 5624 = 0. Do -38 and u have the same value?
True
Let i(h) = 8*h - 70. Let c be i(6). Let y be (-1087)/2182 - 11/c. Are 0 and y non-equal?
True
Suppose 26*f + 1776 = 4948. Suppose f*w = 121*w + 5. Which is greater: 32/5 or w?
32/5
Let s(j) = -j**3 + 65*j**2 - 358*j - 92. Let u be s(59). Is u greater than -340?
True
Let d = -0.0503 + 0.4503. Let o(i) = -4*i + 1. Let q be o(4). Which is smaller: d or q?
q
Let w(p) = 16*p**2 + 6*p. Let n be w(-1). Is n <= 316/33?
False
Let u be 3/(-6) + (-2)/4 + 0. Let x be (0/4)/(u + 2). Suppose 5*r - 25 = 5*l, x = -5*l - 5*r + 17 + 8. Is l not equal to -6?
True
Let x = -6146.33 - -6147. Which is greater: -0.1 or x?
x
Let u = -17 - -12. Let x be u/20 + 105/(-12). Is x at least -33/4?
False
Let m = 2.9 + 0.1. Let g = 4405/8794 - 4/4397. Is m equal to g?
False
Suppose 14*g + 5*n + 21 = 11*g, 0 = 2*g + 3*n + 13. Let j = 14 - 15. Let l be -3*2/(-6)*j. Do l and g have the same value?
False
Let q(t) = -26*t - 5. Let z = -1 - -5. Let b be q(z). Is b greater than or equal to -108?
False
Let g be (-8)/6*(-3)/22. Let j = 86 - 87.5. Let p = j + -2.5. Which is smaller: p or g?
p
Suppose -c + 0*c = 2. Let s = -305/6 + 197/4. Is s greater than or equal to c?
True
Suppose s - t = -2*s + 14, -2*s - 3*t - 9 = 0. Let q(r) = -r**2 + 5 - r + 0 + 4. Let p be q(0). Which is smaller: p or s?
s
Let x = 13284 + -13253. Which is greater: x or 211/7?
x
Suppose -5*i + 2*y + 35 = 0, -4*i + y + 3*y = -16. Suppose -k = -2*k - 6. Let l = k + 15. Is i not equal to l?
False
Suppose -5*b - 11 = -4*t, -4*t = 3*b - 11 - 8. Let i = 5 - b. Suppose r - 93 = 5*w, r = -i*w - 3*r - 84. Which is smaller: w or 0?
w
Let j(u) = 7*u + 73. Let z be j(-10). Let n be (-30)/((-6)/z) + 5. Let m be (n/6)/(21/(-70)). Which is smaller: -11 or m?
m
Let h(j) = -2*j**3 - 4*j**2 - 10*j - 73. Let l be h(-5). Which is greater: 1135/9 or l?
l
Let v(h) = -h**2 - 4*h + 2. Let q be v(-4). Let l = -56 + 60. Suppose 4*y = 4*u - 4, 0*y - l = q*y. Is -1 at least as big as u?
True
Suppose 5*l = -3*l + 640. Let p = l + -80. Suppose -7*n + 15*n + 96 = p. Is n at most as big as -11?
True
Let c = -236.782 - -237. Let b = c - 0.218. Which is bigger: b or -4/3?
b
Let q(x) = -2*x**2 + 56*x - 249. Let d be q(35). Which is greater: -734 or d?
-734
Let h be (-630)/540*6/4. Is 4 at most h?
False
Let l be 4 + (-1 - 2) - -1. Let p be 3/(-4) - l/8. Let z be (-6)/12*p/(21/24). Is -1 > z?
False
Suppose -184 = -93*o + 277*o. Which is smaller: -75/89 or o?
o
Let w(q) = 132*q - 2446. Let a be w(27). Which is smaller: a or 5592/5?
a
Suppose 0 = 4*d + t + t - 522, -3*t - 507 = -4*d. Let l = 244 - d. Which is greater: l or 114?
l
Let x be 0 + (0 - -1) + 5. Let m(o) be the third derivative of o**5/60 - o**4/4 - o**3/2 - 53*o**2. Let n be m(x). Is -2 smaller than n?
False
Let r = -3/4451 + 53433/31157. Which is bigger: 1 or r?
r
Let i be 3 + 766 - (-2 + (-4 - -8)). Let o = -758 + i. Do o and 19 have different values?
True
Let h be 4/(-10) - (-28294)/385. Let c = 73 - h. Are c and 0 non-equal?
True
Let t be 2/8 - (-1435)/20. Let l be (-754)/(-78) - (-2)/(-12)*-2. Let r be 6/30 - t/l. Is -7 bigger than r?
False
Let k = 99984022/288125875 - -12/162875. Let x = k + -38/61. Let r = x - -343/87. Which is smaller: r or 4?
r
Let v be ((-6)/110)/(210/(-308)). Let r = -1.8 - -2. Which is bigger: r or v?
r
Let v be (-1 - 4/4)/2*-2. Suppose -2*g = o + 87, -59 = o - 3*g - v*g. Is o at least as big as -79?
True
Let u(z) = z**3 - z**2 + 18. Let i be u(0). Suppose 2*b + i = 4*r - 3*b, -5*b = 5*r. Let q(g) = -28*g**2 + 644*g. Let a be q(23). Which is greater: r or a?
r
Let m(k) = 8*k - 1427. Let t be m(-5). Which is smaller: -1463 or t?
t
Suppose -3*g = -5*a - 15, -98*g = 4*a - 101*g + 15. Which is smaller: a or 1/545?
a
Let k = 329 - 330.77. Let t = -1.87 - k. Is t at most as big as 0.27?
True
Let x be -1 + -1 - ((-301 - 6) + 5). Let h = 5389/18 - x. Is -2 less than or equal to h?
True
Let y = 79 - 77. Let d(f) = -4*f + 4. Let n(p) = -p + 6. Let l be n(6). Let v be d(l). Is y bigger than v?
False
Let v be 2/(-10) - 2896/20. Let l be v/25 + (-1)/5. Suppose 3*f + 14 = -4*k, -3*f - 10 = -2*f - 4*k. Is f at least l?
True
Let y = 751.0693 - 751. Let g = 0.0307 + y. Which is smaller: -0.15 or g?
-0.15
Let n be 1/(-4) + 169021/20 + (-14)/(-70). Is 8452 bigger than n?
True
Let m = -0.71 + -2.59. Let u = -3.5 - m. Which is smaller: u or 62?
u
Let v = -660 + 644. Which is greater: v or -44?
v
Suppose -2*b + 16 = -b. Let m = 7051.7 + -7051. Which is smaller: m or b?
m
Suppose -11*w = 3*w - 98. Let h be 356/104*-2 + w. Which is greater: h or 2/11?
2/11
Let s(t) = -85*t**2 - 23*t - 7. Let d be s(-3). Is -2815/4 <= d?
True
Let x(d) = 5*d**3 - 6*d**3 - 16 - 211*d + 210*d - 16*d**2. Let u be x(-16). Is 6 >= u?
True
Let c be 2/(-7) - ((-4800)/(-56))/(-6). Suppose -2*n = 15*d - c*d + 14, 47 = -4*d + n. Let t be (-14)/6*36/d. Is t at least 3?
True
Let w = -59 + 2. Let f = w + 41. Let u = -15.9 - f. Which is greater: 9 or u?
9
Let o(b) = -b**3 + 5*b**2 - 8*b + 6. Let p be o(-3). Are 81 and p equal?
False
Let w be (-4)/(20/17) + 3 - 57/95. Is w > 8/957?
False
Let k(n) be the second derivative of n**5/20 + 7*n**4/12 - 8*n**3/3 - 13*n**2 - 58*n. Let s be k(-8). Which is bigger: 37 or s?
s
Let p = -2500.08 + 2500. Let l = 0.12 + -0.075. Let s = p + l. Is 1/3 greater than s?
True
Let h(b) = 3*b**3 + 11*b**2 + 7*b + 3. Let q be h(-3). Which is greater: q or -2/11965?
q
Suppose 1239*s = 1264*s - 48375. Is s greater than or equal to 3869/2?
True
Let l = 0.1975 - 0.0975. Let u = -1 + 4. Suppose -3*v - 4*y = -63, 5*v - 2*y - 105 = u*y. Is v < l?
False
Let h be ((-156)/(-351))/(4/18). Suppose 7*p + h*p - 1161 = 0. Is 129 equal to p?
True
Suppose 55 = 3*g + 46. Suppose -g*n = -2 - 7, -30 = -3*c - 4*n. Let p be 8/(-6) - 1*-2. Is p at most as big as c?
True
Suppose 0 = -120*k + 869 + 7207 + 444. Is k not equal to 72?
True
Let k = 23.5 - -9.5. Let a = k + -83. Is a at most as big as 0.1?
True
Let a = -116 - -77. Let h = 0.0738 - -38.8262. Let j = h + a. Which is smaller: -3 or j?
-3
Let c(t) = -t**2 + 45. Let f be 197/13 - ((-56)/52)/(-7). Let g be c(f). Is g smaller than -179?
True
Let s(k) = -k - 2. Let f be s(-6). Suppose 5*n + 4*n = 99. Suppose n - f = -7*y. Is y greater than or equal to 2?
False
Suppose 203*z - 192*z - 2442 = 0. Suppose -f + 0*b - 3*b = -36, -5*f + z = b. Which is smaller: f or 48?
f
Let y = 11.189 - 10.989. Which is greater: 289/4 or y?
289/4
Let z = 60 - 132. Let p = z - -73. Let t be 2*(-238)/(4 + 3). Is p at least as big as t?
True
Let d be -5*((-6)/(-12))/((-2)/4). Suppose 8*j = d*j. Which is smaller: j or -6/35?
-6/35
Let l = 17727 - -6617. Is 24345 equal to l?
False
Let f(q) = -3*q + 118. Suppose 36*s = -211 + 1939. Let b be f(s). Is b less than -9?
True
Let h be ((-12 - 0) + -51)*41. Do h and -2582 have different values?
True
Suppose 0 = -214*f + 211*f. Suppose -5*c - m - 39 + 60 = 0, f = -4*m + 4. Which is smaller: 59/11 or c?
c
Suppose -2*l + 14 = 4*w, 11 = 3*l + 285*w - 284*w. Is 145/46 <= l?
False
Let u(f) = -f**3 + 44*f**2 - f + 46. Let s be u(44). Which is smaller: s or 332?
s
Let d(b) = -7*b + 20. Let q be d(3). Let r be (-11 + -2)/(q*1/1). Does r = 87/7?
False
Let d = 210 + -210.41. Let w = -0.51 - d. Which is smaller: w or -214?
-214
Let t be (672/(-35))/(-4) - 4 - (-132)/(-15). Which is smaller: t or -271/31?
-271/31
Suppose 0 = 6*t - 164 - 