 -3*o + a. Suppose -3*c - 52 = o*i, 0*c = -c - 3*i - 24. Is -10 <= c?
True
Suppose -3*m - 79 = 3*z + 2*m, -3*m + 86 = -4*z. Let o be (-864)/39 + 70/455. Which is greater: o or z?
o
Suppose 0 = 2*m + 13*m + 120. Let i be (-1)/2*(12 + m). Is i greater than -2?
False
Let b(z) = z - 10. Suppose 4*a - 7 = 117. Suppose 3*i - 39 = -5*f, 3*i + 11 + a = 4*f. Let h be b(f). Is -3/2 smaller than h?
True
Suppose -4*d + 25 = 5*l, 5*l = d + 37 - 12. Which is bigger: 2 or d?
2
Let r = -94.5 + 94.3. Let j = -0.08 - 3.92. Let k = -2 - j. Which is bigger: r or k?
k
Let t be (84/(-18))/(2/3). Let m be -4 - (15 - (-4 - t)). Is -15 at least m?
True
Let h be 47/6 - (-25)/(-30). Which is greater: 1 or h?
h
Let v = 0.77 + 0.03. Let z = 0.2 - v. Let x = 0.52 - 0.42. Is z bigger than x?
False
Let j(w) = -8*w**2 + w - 3. Let s be j(2). Let l = s - -29. Is l >= -4?
True
Let d be 8/84 + (-14833)/(-147). Which is bigger: 100 or d?
d
Let p = 0.014 - 10.714. Let d = p - -11. Let t = d - 0.1. Which is smaller: -5 or t?
-5
Let b be 13 - 15 - (-2 - (1 - -1)). Let o be -5*(-2 - (-318)/165)/b. Which is greater: 1 or o?
1
Let h be (-14)/21 - (-2)/3. Let m(z) = z**2 + 100. Let j be m(h). Let g be (2/4)/(10/j). Which is smaller: g or 3?
3
Suppose 12 = -4*s + 64. Suppose h - 14 = -3*v, 0 = -2*h + 2*v + v + 64. Suppose 13*r - 11*r - h = 0. Is s smaller than r?
False
Let u = 47 + -28. Let i = -86/3 + u. Which is bigger: -9 or i?
-9
Let c(g) = -8*g - 173. Let q be c(-19). Is -18 smaller than q?
False
Let p = 24 + -24. Suppose 20*x - 19*x + 8 = p. Is x at most as big as -8?
True
Suppose 4*q + 1 + 33 = 5*v, -2*v - 8 = 2*q. Suppose -5*r - 79 = 41. Let b be (-2)/r + (-12)/(-48). Is b greater than or equal to q?
True
Suppose 7 + 8 = 5*v. Let b be 8/v*(-13)/(-156). Suppose 0 = 4*z - g - 10, -4*z = -9*z + 4*g + 18. Which is greater: z or b?
z
Let y be (2 - -2)*5/(-4). Let f(s) = s**2 - 10*s + 12. Let g be f(8). Let u be 14/(g - 2/(-2)). Is u bigger than y?
True
Suppose 4*p = i + 477, -4*p - 5*i = -152 - 319. Is 119 less than or equal to p?
True
Suppose -3*h = -10*h - 28. Let f be (h + 5 - -3) + -11. Which is greater: f or -6?
-6
Let p(d) = -d**3 + 5*d**2 + 8*d - 6. Let x be p(5). Suppose -2*s + 8 = -5*y - x, -y - 2*s - 18 = 0. Which is greater: y or -11?
y
Let g = -2229.95 + 2230. Which is smaller: g or 62?
g
Suppose -8*p = -190 + 198. Is 1/90 at most as big as p?
False
Let q(t) = t**3 + t**2 - 2*t + 1. Let l be q(1). Let h be 0 - (l - (3 + -4)). Let n be (1/(-6))/(h/(-3)). Is 0 greater than n?
True
Let j = -463.5 + 463. Which is bigger: -5.7 or j?
j
Let h be (19 + -21)*1/(-2)*-579. Is -579 at most as big as h?
True
Let m be 3*((-6)/15 + 6/315). Is m less than or equal to 11?
True
Let v(g) = -10*g**3 + 2*g**2 + 4*g - 11. Let s be (-12)/(-8) + ((-9)/(-6))/3. Let y be v(s). Is y greater than -75?
False
Let i be 60/(-9)*(-264)/(-16). Let v = i - -113. Which is smaller: 1 or v?
1
Let d(b) = -2*b**3 + 4*b**2 - 15*b + 12. Let w(g) = -3*g**3 + 4*g**2 - 14*g + 13. Let y(i) = 4*d(i) - 3*w(i). Let x be y(-7). Is x != -12?
False
Let a = -3.2 - -5.4. Let w = -2 + a. Which is bigger: 2 or w?
2
Let j be (12/(-24))/((-10)/(-4)). Let s be 2/(-5)*(16 + -15). Is j greater than s?
True
Suppose 4 = -3*b - 2*f - 6, -3*f = -2*b - 24. Let j be ((-3)/b)/((-2)/(-4)). Let a be (-1)/(12/(-15) + j). Which is greater: a or -4?
-4
Let i(a) = -a**2 + 5*a - 4. Suppose -t = -5*t + 16. Let w be i(t). Suppose p - 5*p = w. Is -1 bigger than p?
False
Suppose 4*c = 2 - 106. Suppose 0 = 22*a - 91 + 201. Is c at least as big as a?
False
Let h be (-9)/105*(686/4)/(-7). Is h greater than or equal to -0.1?
True
Let p = 44 - -81. Let i = p + -125.2. Are 53 and i non-equal?
True
Let m be 0 + -2 - (-3 - 2 - -4). Let b be (-1)/(-3) + 46/(-66). Which is bigger: b or m?
b
Suppose -5*s = -4*b + 24, -129*s + 127*s - 5*b = 36. Suppose -3*k + 7*k + 32 = 0. Is s at least k?
True
Let r = -34 + 39. Suppose -4*i - 8 = -4*g, 0 = -r*g - 2*i - 0*i + 17. Let t be 46/18 - g/3. Are t and 3 non-equal?
True
Let x be (-78)/182 - 3/(-7). Suppose x = m - 0 - 2. Which is greater: m or 8/11?
m
Let t = 16.9 - 2.9. Let g = 12 - t. Is -3 less than g?
True
Let s be 5/(-15) + 202/66. Let d = -398/33 + s. Is -10 > d?
False
Let x = 1136/5 - 227. Which is bigger: x or 2/33?
x
Suppose -4 = -6*y + 2*y. Suppose 0 = -2*t, 2*f + 4*t + 8 = t. Let h be (-2 - (-129)/66)/((-2)/f). Is h less than or equal to y?
True
Suppose -3*x = 5*m - 39, m + 3 = 5*x - 6. Let c(u) = 5*u - 7. Let r be c(m). Is r greater than or equal to 2/7?
True
Let q(c) = -1 - 2 - 3 - c. Let j be q(-5). Let v = 1373 + -1373.1. Is v greater than j?
True
Let m = -10 - -5. Let d(v) = 5*v**2 + 3 + 1 - 5 + 3*v**3 - 2*v**3. Let x be d(m). Is 1/9 at most as big as x?
False
Let k(j) = 5*j. Let f be k(0). Let w(o) = 3*o**2 - 4*o - o**3 + o - 7*o**2. Let l be w(-3). Is f at least as big as l?
True
Let p(t) = -t**3 + 21*t**2 + 27*t - 41. Let o be p(22). Do 68 and o have the same value?
False
Suppose 4*a = 3*q + 130 + 75, 0 = 6*a - 4*q - 308. Which is bigger: a or 44?
a
Let g = 3 - -6. Let p = g + -10. Are -7/3 and p non-equal?
True
Let l(u) be the second derivative of u**3/6 - 9*u**2/2 - 31*u. Let j be l(14). Is j < 39/7?
True
Let i = -9 + 10. Let c = 3 + -1. Suppose 0 = 2*r - 3*k - 8, -c*k + 13 - i = 3*r. Is 6 greater than or equal to r?
True
Let q = 31/12 - 17/6. Do q and -32 have different values?
True
Let o = -58/7 + 55/7. Which is greater: o or -2?
o
Let d be (-2532)/30 + 2/5*1. Let y be d/(-60) - 6/(-10). Which is bigger: y or 14/9?
y
Let i be (2/20)/(4/(-9630)*3). Which is smaller: -81 or i?
-81
Let x be (4/(-543 - -3))/((-6)/(-12)). Which is smaller: x or -1?
-1
Suppose 5*p - g = 222949 + 6341, 3*p + 3*g - 137574 = 0. Let f be (-9)/21 + p/208971. Let w = f + 5/321. Which is bigger: w or 1?
1
Let l be 850/(-86) - 340/(-34). Which is smaller: 0.1 or l?
0.1
Let p(m) = 7*m**2 - 7 + 0*m**2 + 7*m - 6*m**2. Let q be p(-7). Let x be (-6)/21 + (-47)/7. Is q less than or equal to x?
True
Let s(d) = d - 8. Let m be s(2). Let a(f) = -6*f - 22. Let p be a(m). Are -2/3 and p nonequal?
True
Let y = -1.407 - -4.327. Which is bigger: -1 or y?
y
Let k be ((-12)/(-24))/((-15)/6 + 2). Is 4/359 at most k?
False
Let y = -1312/3 - -438. Which is bigger: -1/4 or y?
y
Let z = 16 + -17. Let l be (z*6/(-4))/((-12)/(-160)). Is l smaller than 138/7?
False
Let q = -298.7 + 301. Which is smaller: -1/4 or q?
-1/4
Let t = -43.6 - -44. Let f = 2.2 + -2.5. Does t = f?
False
Let h(l) be the first derivative of l**4/4 - 19*l**3/3 - 10*l**2 + 5*l + 12. Let w be h(20). Are 4 and w nonequal?
True
Let s(k) = -k**2 - 10*k + 24. Let c be s(-11). Let j be 26/c + (-193)/3. Let h = -60 - j. Is 2 < h?
True
Let n(v) = v**2 + 4*v - 7. Suppose s + 2 + 3 = 0. Let b be n(s). Is 1 less than or equal to b?
False
Let s be ((-27153)/(-28))/(-9) - (-1)/(-4). Is s at most as big as -320/3?
True
Let m = -13.86 - 0.94. Let u = -15 - m. Which is smaller: -1 or u?
-1
Let s(l) = -l + 1. Let o(d) = -d**2 - 12*d - 23. Let j be o(-10). Let w be s(j). Let z = 2 + 1. Do w and z have the same value?
False
Let p be 18/(-4)*(-26)/(-39). Is -48/23 < p?
False
Let w = 506 + -6574/13. Is w bigger than -0.71?
True
Suppose -58*y - 6654 = -61*y. Let w = 99818/45 - y. Which is smaller: w or -1?
-1
Suppose 163*u + 132*u - 83*u = 1272. Let d(s) = -s**3 - 8*s**2 - 9*s - 2. Let t be d(-6). Let w be t/6*(-3)/2. Do u and w have the same value?
False
Suppose 5*m + 4*p = 77, 0 = 3*m + 2*p + 17 - 62. Let h = 9 - m. Let u be (h/(-6))/(4/(-6)). Is u greater than or equal to -5?
True
Let d = 0.119 + -359.119. Which is bigger: -1 or d?
-1
Suppose -2*y + 464 = 172. Let k = y + -138. Which is bigger: 50/7 or k?
k
Let y(h) = -h**3 - 7*h**2 + 3*h + 8. Let p be y(-7). Let k be 1 - 2 - (p - -15). Let g be (1*-6 - k) + 3. Is -2 bigger than g?
False
Let w = -136 - -950/7. Let i = 0.0172 - -0.3828. Which is bigger: i or w?
i
Let p = -12/1817 + -535979/5451. Is -98 at most as big as p?
False
Let f be 60*(-2 + 12/9). Let o be (3/4)/((-10)/f). Is -1/4 at least as big as o?
False
Let y = 50 - 30. Let j = -18 + y. Is j != 10/9?
True
Let b = 4 + -10. Suppose -4 = -3*a - 1. Let m be (1/a)/(3/(-15)). Which is greater: b or m?
m
Let u be ((25 - 7)/6)/(1 - -2). Do u and -16/179 have the same value?
False
Suppose 0 = 