3
Let x = 858 + -67. Let v be (40/(-15) - -3)*(x + -2). Are v and 263 equal?
True
Suppose 2*u - 91 + 107 = 0. Let d be 0 + (-3 - (u - -4)). Let p be ((-2)/(-29))/(13/26). Are d and p non-equal?
True
Let n be (-11)/22 + (-21)/(-6). Suppose -4*x - 4 = -n*a, -7*x - 5 = -a - 2*x. Suppose a = -q + 11 - 28. Is q >= -18?
True
Suppose 0 = -i + o - 7 + 11, 15 = -3*o. Let h(c) = 42*c**3 - c**2 + 1. Let n be h(i). Which is greater: -39 or n?
-39
Suppose -3*l + z = -2*z - 45, 0 = 4*l + z - 35. Suppose 33*i = 38*i - l. Let u be 44/(-121)*i/(-8). Are -1 and u equal?
False
Let t be (-2 + -2 + 4)/(-1). Suppose t = -2*r + 39 + 25. Let m = r + -49. Is -17 greater than or equal to m?
True
Suppose -c - 25 = -22. Let p be 0/(-4 - (-5 - c)) + 0. Which is smaller: -1/12 or p?
-1/12
Let z be ((-470)/1825*-1)/(2/(-10)). Let u = -54008/41829 - z. Is 1 < u?
False
Let o = -4409 - -35177/8. Let c = 23/2 + o. Is c greater than -0.07?
False
Let m be (-42999)/(-198) + 3/2. Let n = m + -214. Which is greater: 5 or n?
5
Suppose -4*f - f = -2*g + 27, 12 = 2*g - 2*f. Let x be (-109336)/(-272356) - (6/14 + 0). Let q = 1/959 - x. Which is smaller: g or q?
q
Suppose -5*z = 3*z - 40. Suppose z*i - 43 - 22 = 0. Suppose -i*a = -9*a + 4. Is -5/9 less than or equal to a?
False
Suppose -225 = 4*w - 69. Let p = -39 - w. Suppose p = 5*b - 0*b + 5. Is b >= 6/23?
False
Suppose -3*s + 15 = -3*u, 5*s + 3*u = -11 - 4. Suppose -4*b + 2 - 6 = s. Which is greater: b or 8/19?
8/19
Let q be 0 - 1/(-4) - 8. Let b(x) = 30*x - 29. Let h be b(5). Let w = h + -128. Which is smaller: q or w?
q
Let p(h) = -h**2 + 16*h + 1. Let u be p(16). Let t be 40/(-690)*2/8. Which is smaller: u or t?
t
Let j(z) = 358*z + 3394. Let x be j(0). Which is bigger: 3392 or x?
x
Let u = -22376 - -4184333/187. Does u = -1?
False
Suppose 0 = -5*l - 0*l + 5. Let k = 1840/21 + -765419/8736. Is l less than or equal to k?
False
Suppose -2*b - 8 = 5*r, r - b - 152 = -148. Which is greater: 3/167 or r?
3/167
Let x be 24/(-336)*63/18. Let i = -0.0019 - 0.02. Is i at least x?
True
Let l = 325.73 + -329. Let b = 2.27 + l. Let r = 0.06 + -0.12. Which is greater: b or r?
r
Let f(t) = 4*t**2 + 71*t + 238. Let d be f(-13). Let k be ((-4)/(-8))/((-2)/(-116)). Let b = 21 - k. Is b smaller than d?
False
Let y(k) = 27*k + 14. Let s(u) = -3*u**2 + 5*u + 6. Let o be s(3). Let z be y(o). Let i = z + 130. Is -19 smaller than i?
True
Let s(a) = 5*a - 45. Let z be s(10). Let x(g) = -g**2 + 6*g - 1. Let c be x(z). Suppose -2*j + 0*b + 15 = 5*b, 0 = c*j + 4*b - 12. Which is smaller: -1/21 or j?
-1/21
Let c = 143 + -187. Let o be (-23)/92 + 13/c. Is -1 greater than or equal to o?
False
Let c(b) = 3*b + 19. Let w be c(-7). Let x be 6/(-33) - ((-2)/11 + w). Suppose x*a - 70 = 5*j + 7*a, 0 = 3*a + 6. Which is bigger: j or -11?
-11
Let j(q) = -q**2 - 9*q - 6. Suppose -4*b + 16 = 0, 2*h - 3*b = -5*b - 8. Let o be j(h). Suppose -19 = u - 4*y, 0*u + y - 7 = -o*u. Are -3/4 and u unequal?
True
Let m(z) = 2*z**3 + 10*z**2 + 2*z + 10. Suppose 5*w - 2 + 27 = 0. Let g be m(w). Suppose 0 = -g*u + 4*u + 148. Are -38 and u equal?
False
Let z be -2*(129/(-6))/(-1). Suppose 310 = -18*c - 248. Let p = c - z. Is 12 at least p?
True
Suppose -253 + 107 = -5*x + 614. Which is smaller: x or -4?
-4
Let k(f) = -f**3 - 250*f**2 - 740*f + 246. Let j be k(-247). Let x = -3/4283 + 11551/4261585. Let t = x - -1916/36815. Which is greater: t or j?
t
Suppose 19*k - 2 - 36 = 0. Let q be 585/6 - k/12. Which is smaller: 98 or q?
q
Let y(r) = 99*r - 1466. Let x be y(15). Is -114 at most as big as x?
True
Let r = 14 + -15. Let w(k) = k**2 + 4*k - 6. Let u be w(-3). Let g be (r/(-2))/((-6)/72*u). Which is greater: g or 24?
24
Suppose 4*q - 32 = -0*q + 4*j, 0 = q + 5*j - 14. Suppose -2*c = 2*g - 14, -50*c + 3*g - q = -47*c. Is 29/31 less than c?
True
Suppose -1150 - 1132 = 6*i - 812. Which is smaller: i or -248?
-248
Let f be (-90)/(-15*(-264)/(-864)). Which is bigger: 1/2 or f?
f
Let c = 478 + -493.85. Let r = 16.5 + c. Which is smaller: r or 0?
0
Suppose -4*c + 2*c = -2. Suppose 2*k - c = 9. Let d be ((-40)/(-28))/k + 16/(-105). Which is smaller: 1 or d?
d
Suppose 4*c = -579 + 575. Let o = -43.105 + 0.105. Is c less than o?
False
Let l be 6/(-27) - (-323)/36. Let u be 12632/210 - -4 - (-2)/15. Let n = u + -64. Is n greater than l?
False
Let d be (2/(-4)*93)/((-321)/(-1926)). Which is bigger: d or -274?
-274
Let i be (-5)/20 + (-49)/(-68). Let q = -10938 + 10937. Which is smaller: q or i?
q
Let z = -2.9 - -13.9. Let l = -9.693 + -1.167. Let f = z + l. Which is smaller: 0.2 or f?
f
Suppose 441 + 33 = 2*g. Suppose 2*d - 296 - 228 = -3*d + 661. Do g and d have different values?
False
Let f(y) be the third derivative of -y**5/60 + y**4/4 + 5*y**3/3 - 12*y**2. Let i be (5/(-3) - -2)*18. Let a be f(i). Does 7 = a?
False
Let x = 38493/2 - 3117577/162. Which is greater: 2 or x?
x
Let r be 21/6*4*-149 - (12 + -15). Do -2084 and r have the same value?
False
Suppose 4*v + q = -559, 0*v - 3*q - 417 = 3*v. Let n be (-22)/56 + (-105)/v. Which is smaller: -1 or n?
-1
Let k = 33149.9 - 33273. Which is smaller: 6 or k?
k
Let x be (-1)/(-27)*360/(-309). Let h = 825197/17613 - x. Let r = h + -47. Which is smaller: r or -1?
-1
Suppose 4*g - 3432 = -2*w, -1686*w - 3*g = -1684*w - 3434. Is w at most as big as 1720?
True
Let l be 4 + (-700)/(28/4). Let u = l + 128. Is 28 at least as big as u?
False
Let q be ((-30)/144)/((-18)/(-72))*(-12)/6915. Are q and 1 unequal?
True
Let n = -1.1345 + 0.1345. Which is greater: n or 700?
700
Let i be -11601 - 56/21*-3. Which is bigger: -11594 or i?
i
Suppose -63*a = -68*a + 165. Suppose -a*n = -34*n - 321. Which is smaller: n or -322?
-322
Let z be 11 + -11 - (-2 + (-4708995)/579). Let i = z + -8135. Is 0 less than i?
False
Let n = 1/2890 - -8587/239870. Is n less than 1?
True
Let c(d) = -d**3 + 15*d**2 + 12*d - 436. Let m be c(13). Which is greater: m or 64?
64
Let c = 56 - 56.1. Is c at most -1024?
False
Let p(j) = -j**3 + 57*j**2 - 789*j + 141. Let t be p(23). Suppose -2*o + 34 = -2*l, -60 = 5*l + o + 25. Which is greater: l or t?
l
Let w = -3.28 + -2.36. Let b = -0.12927 + -0.51073. Let i = w - b. Which is greater: 9 or i?
9
Let k(p) be the third derivative of 0 - 1/3*p**3 + 14*p**2 + 0*p + 1/24*p**4 + 7/12*p**5. Let n be k(1). Which is bigger: 1 or n?
n
Let i = 4816 - 4816.1. Is -0.0896 greater than i?
True
Let u = 19362 + -19416.5. Which is smaller: u or 5?
u
Suppose -g = o + 4*o + 32, -3*g + 4 = -5*o. Let t be (-3 + (-5 - g))*1. Is -230 at least as big as t?
False
Let p = 39 - 51. Let c be -369*p/117 + 2/13. Is 37 not equal to c?
True
Let j(d) = -2*d**3 - 128*d**2 + 130*d + 82. Let p be j(-65). Is p <= 69?
False
Let o be -10 + 3 - -2 - 208/(-41). Let b(q) = -2*q**2 - 8*q + 10. Let y be b(-5). Which is smaller: y or o?
y
Let y(n) = 6*n + 21. Let t be y(-16). Let f = 79 + t. Suppose -30 = -f*j + 26. Which is smaller: -0.1 or j?
-0.1
Let k(b) = -19*b + 17. Let h(w) = -47*w + 50. Let y(x) = 3*h(x) - 8*k(x). Let t = -4 + 0. Let r be y(t). Is r at most as big as -31?
False
Let p = 0.0371 - 487.0371. Let q = p - -489. Which is smaller: q or 3/71?
3/71
Let f(z) = -3*z**2 - 2*z + 9. Let r be f(-7). Let a = -203 - r. Let c = 24 + a. Is -54 at least as big as c?
True
Let f(y) = 2*y**2 - 8*y - 9. Let g be f(6). Let m be (-1)/((-6)/40)*(-36)/g. Let p be m/(-402)*(0 + (-9)/6). Is 0 smaller than p?
False
Let a(r) = 37*r + 1. Let c be a(9). Let g be 33/88 - (c/1104 - 0). Are -1 and g nonequal?
True
Let l(o) = o**3 - 17*o**2 - 39*o + 73. Let x be l(20). Let w = x - 494. Let c = 33471/206 + -325/2. Which is bigger: c or w?
c
Suppose -o + 3 = 1. Let k(q) = 565*q**2 + 5*q - 1. Let t be k(1). Let s = -5114/9 + t. Which is greater: o or s?
o
Let y = -2464 + 2463. Which is greater: y or -9/61?
-9/61
Let v(j) = 15*j + 10. Suppose 2 = 3*n - 13. Let d be v(n). Is d <= 87?
True
Suppose 4*x - 98 = -5*c, x = -4*x + c + 108. Let l be 312/x + (-65)/55 + 1. Which is smaller: l or 53/4?
53/4
Let l be 2/5 - (-1)/(-10)*-106. Suppose 56 = l*u + 12. Suppose 9*v = u*v + 50. Is v bigger than -4?
True
Let q(f) = -5*f - 35. Let g be q(-8). Suppose 37 = g*y - 3. Let i(t) = -t**2 + 5*t - 2. Let m be i(y). Which is greater: m or -27?
m
Let h = 182 - 174. Let r be 1876/70*5/h. Which is bigger: r or 18?
18
Let y 