*k/(-350) - 6/10. Which is smaller: -34 or g?
-34
Suppose 0 = 5*o + 210*r - 215*r - 10, -o = -2*r - 4. Which is greater: 4/3349 or o?
4/3349
Let o(a) = -83*a - 25. Let d be o(4). Let q be (d/(-12))/(7/28). Is 118 at least q?
False
Let u(q) = -q**2 - 12*q + 1. Let m be u(-8). Suppose 9*n - 19*n + 20 = 0. Suppose -n*v - x + 38 + 25 = 0, 3*v - 101 = 5*x. Is v greater than m?
False
Let p be (-11406)/123*(297/6 + -2). Let m = -4405 - p. Which is smaller: -1 or m?
-1
Let p = 22913 + -22914. Which is smaller: p or -2/14719?
p
Suppose 11 = -q - 2*z, 0 = q - 2*q - 4*z - 19. Let k be -5 + -1 + 19 + -5. Let b be -3 - 20/7*k/32. Is q at most b?
False
Let m = -66.802 - -0.602. Let r = 1309 - 1377. Let y = m - r. Which is greater: y or -0.3?
y
Let y = -320985/7016 + 3/7016. Which is smaller: -46 or y?
-46
Let y = 46 - 40. Suppose 177 = y*p + 771. Let i be (9/4)/(p/144). Is -4 at least as big as i?
False
Suppose 330 - 514 = -8*r. Let s be -4*(15/2)/(-3). Which is bigger: s or r?
r
Suppose 5*k - 910 = -4*x + 586, 758 = 2*x + 5*k. Is 361 less than or equal to x?
True
Let j(d) = -25*d**2 - 175*d - 80. Let m be j(-7). Which is greater: m or -10?
-10
Let d(u) = -93*u - 81. Let x be d(3). Let o be (-4)/6*10*(-9)/x. Let c = 0.08 - 0.08. Which is bigger: c or o?
c
Let l be ((-8)/(-3))/((-12)/(-1476)). Suppose -6*b = 2*b - l. Which is smaller: b or 42?
b
Let l = 6293/90 + -70. Is l != 3?
True
Let l = -13.334 - -110.334. Is 10 smaller than l?
True
Let r = -61 + 51. Let f be ((-245)/r)/(3/(-60)*-5). Which is smaller: 97 or f?
97
Let o(j) = 886*j + 4981. Let v be o(-7). Is v at least as big as -1220?
False
Let j(v) = v**3 + 102*v**2 - 214*v - 501. Let i be j(-104). Is i at least as big as 105?
True
Suppose 2*s + 3*s = 5. Let h be ((-7)/(-84))/((-12)/720*44). Is s not equal to h?
True
Let d(u) = -u**2 - 40*u + 248. Let z be d(-40). Is 256 at most z?
False
Let f = -1.61 + 9.8. Let m = 58.81 + f. Is m greater than 1?
True
Let u = 124 - 121. Let n be ((-355)/(-15) - 6)*u/2. Which is bigger: n or 26?
n
Let b = 277821/25 - 11115. Suppose -8 = 23*s + 38. Is s equal to b?
False
Let t be (21/15)/(15/2271). Let z = t - 212. Let g be (-4)/3 + (-5)/(-15). Is z at least g?
True
Let g = -6894 - -8983. Is 2088 <= g?
True
Let u = -2.54 - -2.133. Let v = 285.407 + u. Which is bigger: 1 or v?
v
Let k be -3 - (-3 + -1 + -8). Let h be 2/k + (-4)/18. Suppose 0 = -4*c + 2*j + 6, h = 2*c + j - 0 - 1. Which is smaller: -36 or c?
-36
Suppose 6*h - 816 = -0*h. Suppose -1151 = -3*u - 794. Let o = h - u. Is 20 less than or equal to o?
False
Suppose z - 934 = -2*h + 5657, 9*h - 29697 = 3*z. Which is bigger: h or 3302?
3302
Suppose 11*c - 9*c + 6 = 0. Let b = 23 - -167. Let w be 1/(-3 - b/(-65)). Which is bigger: c or w?
c
Let c(l) = -217*l**2 - 5643*l - 23. Let m be c(-26). Are m and 641.6 unequal?
True
Let u = -1541 + 1622. Let b = 20858/3 - 6873. Which is greater: u or b?
u
Let l(s) = s**3 - 10*s**2 + 24*s - 24. Let r(m) = -m**3 + 10*m**2 - 25*m + 24. Let b(z) = -6*l(z) - 5*r(z). Let k be b(8). Is k less than or equal to -1?
False
Let c = -24836 + 35045. Which is smaller: 10207 or c?
10207
Let j be 50/6 - (-4)/6. Let g = -365 + 391. Suppose -2*v + 20*a - 23*a = -9, 2*a + g = 4*v. Is v not equal to j?
True
Let q(f) = -f**3 + 20*f**2 + 42*f + 10. Let r(g) = 3*g**3 - 42*g**2 - 85*g - 19. Let y(z) = -5*q(z) - 2*r(z). Let b be y(-13). Which is smaller: b or 2/29?
2/29
Let w be 970/(-82)*18/10. Are w and -20 nonequal?
True
Let g(o) = -2*o + 5*o - o + 9 + 3*o. Let z be 40/(-6) + (-6)/(-9). Let c be g(z). Which is greater: -20 or c?
-20
Let k = 6 - -12. Let c(y) = 5*y**3 + 1730*y**2 - 7*y - 2429. Let j be c(-346). Is j bigger than k?
False
Let w be (-10)/4 - (7/2 - 5). Let m be (-2)/(-9) - 184/(-5166). Let t = m + 7/41. Is t bigger than w?
True
Let o be (3/51)/((-1488)/73728) + 4/(-34). Which is smaller: o or -4?
-4
Let b = 7 - 8. Let y = -183 + 183.05. Let k = 0.03 - y. Which is bigger: k or b?
k
Let w = -1.0122 + 1.9625. Let y = -0.0497 - w. Which is smaller: y or -0.2?
y
Suppose -26 - 2 = -4*c. Suppose c*k - 114 = 10*k. Does -38 = k?
True
Suppose -19914*t = -19911*t - 3. Let y be 264/394 - (-2)/(-3). Which is greater: t or y?
t
Let b(n) = -5*n - 1 + 18 + 59*n**2 - 48*n**2 - 2*n**3 + n**3. Let v be b(9). Is 134 smaller than v?
False
Let r = 14 + -4. Suppose 0*y - 2*f = y + 3, -3*y = 3*f - 6. Let a be 24/14 + 3 + (-19)/y. Which is smaller: r or a?
a
Let r(k) = k**3 - 7*k**2 - 17*k - 6. Let d be r(9). Suppose 0 = d*z + 9. Let w be (-3 - 7/z)/((-4)/(-6)). Which is bigger: w or 6/17?
6/17
Let a = -20547/11 + 1871. Let r = -262 - -265. Which is smaller: a or r?
r
Let f = -120 + 119.99. Let a = f + 0.04. Is -10 at most a?
True
Let d(v) be the second derivative of 4*v**4/3 - v**3/2 + v**2/2 - 42*v. Let o be d(1). Which is bigger: o or 17?
17
Suppose -8*b + 3*b = 75. Let d(z) = -z - 13. Let p be d(b). Suppose 14 = -p*v + 2*s + 84, 0 = -s + 2. Is 37 bigger than v?
False
Let x = -6.493 + 6.18. Let c = -0.213 - x. Is c at least 237?
False
Let w be -44 - -6*(-10)/15. Let n(z) = -z**2 - 49*z - 58. Let d be n(w). Is -13 < d?
True
Let f(x) = 41*x**2 + 25*x - 62. Let z be f(5). Is z greater than 1087?
True
Let n be ((-96)/9)/((-85)/15 - -6). Which is greater: -156/5 or n?
-156/5
Let t be ((-29)/((-261)/(-117)))/((-1 + 2)/50). Is t equal to -650?
True
Let n be 2/(-8) - ((-4)/24 - 376474/(-168)). Which is greater: -2245 or n?
n
Let z be (-2)/(-35) - -2*(-4)/40. Let q = -104 - -61. Let u = 44 + q. Are u and z non-equal?
True
Let j = -258 + 674. Which is smaller: 1244/3 or j?
1244/3
Let m = -9 + 15. Suppose -3*y - 12 = f, -f = -6*y + 7*y + m. Which is smaller: -18/7 or y?
y
Let m be (-2)/5 + ((-68)/(-20) - -7). Suppose -5*a = t - 2, -2*t = 3*t + 3*a - m. Which is smaller: 31/9 or t?
t
Let v(o) = o**3 - 4*o**2 - 3*o + 2. Let x be v(5). Suppose 0 = 65*l - 62*l + 42. Let q be (-2)/l*x/8*-1. Is q at least as big as 1?
False
Let k = -894 + 898.4. Which is smaller: -107 or k?
-107
Let n be 1/1 + (-1167)/3. Let h be -5 + (-49)/((-392)/(-48)) - 376. Are n and h nonequal?
True
Suppose -2*m - 2*b - 2160 = 2*m, -519 = m + 4*b. Which is greater: -548 or m?
m
Let h = -8/13 + 61/78. Let b = 20398 + -20355. Is h < b?
True
Let q be 40/16*2/10. Let y = -2567 - -17970/7. Which is greater: q or y?
q
Let x be -43 + 44 - (-1*2)/1. Let d be x/15*(-41 + 1 + -3). Is d <= -0.1?
True
Let w be (-180)/(-7) - 24/(-84). Suppose -406 = -10*t - w. Which is smaller: t or 2/7?
2/7
Let m(l) = 2*l**3 - 3*l**2 - 4*l - 6. Suppose 18 + 39 = 19*k. Let w be m(k). Is 10 at least as big as w?
True
Let x(h) = -7*h**3 + 2*h**2 - h - 2. Let p be x(1). Let k be 12/p*-8*(-2)/52. Let n be (-2 - -2)*-1*1. Which is smaller: n or k?
k
Let u be ((-156)/(-9))/(7 + 423/(-54)). Is u smaller than -20?
True
Let x(o) = 2*o**2 + 54*o - 30. Let v be x(-27). Let q be (-3)/v + (-232)/2370. Is -1 equal to q?
False
Let g(i) = -i**2 - 101*i - 2427. Let r be g(-49). Which is greater: -67 or r?
r
Let p = -105 - -66. Let u be (-1)/(2 - p/(-18)). Suppose 56*s - z = 55*s + 2, -z - 9 = -2*s. Which is smaller: u or s?
u
Let d = 42 + -86. Let i be (4/8 + -2)/(6/d). Let b = -15 + i. Is 6 greater than b?
True
Let o = 17 + -27. Let m(d) = d + 10. Let q be m(o). Suppose -z + 29 = -q*c + 3*c, -12 = 3*z. Is 12 not equal to c?
True
Let t = -434.7522 - 9.8178. Let u = t - -444. Is u equal to 7?
False
Let g be (-3)/(-6)*1569/(-2). Let k = -606 + 210. Let h = k - g. Is -2 at most h?
False
Suppose 10*a - 33*a = 66539. Let u = a - -454195/157. Which is smaller: u or -1?
-1
Suppose 0 = 2*f + 2*v - 10, -1 = -5*f + v + 12. Suppose 3*z + 30 = 3*o - 48, -28 = z - f*o. Let k = -35 - z. Are -6 and k non-equal?
True
Let a(h) = 53*h**2 - 19*h + 96. Let i be a(5). Suppose 49*m + i = 15*m. Is -37 smaller than m?
False
Let b(o) = -2*o + 10. Let p be b(4). Let s be -2 + p - 6*(-1)/(-296). Is s >= 0?
False
Suppose 0*r - 8 = -4*g - 3*r, 16 = 4*g + r. Suppose g*u - 5*k - 10 = 0, -3*k = -5*u - 2*k + 26. Suppose -u = -b - 7. Is -0.38 bigger than b?
True
Let h = -6 - -4. Let n be (4*1/(-10))/(34/(-1190)). Which is bigger: h or n?
n
Let m = 3278 - 612988/187. Suppose p + 5*x = 31, -6*p + 4*x - x - 12 = 0. Is p != m?
True
Let n = 1728 + -1706. Let a be (1504/(-20))/(-4) + 2. Is a greater than n?
False
Let w = -7 - -9. Sup