r or 1/3?
r
Let s be ((-560)/24 - -25)/(2*2/(-12)). Do -418/103 and s have the same value?
False
Suppose -3*h + 25 = -10*m, 5*h = 23*m - 25*m - 33. Which is smaller: -141/29 or m?
-141/29
Let m(a) = a**2 + 11*a - 20. Let x be m(-15). Let d be 24/16*x/(-2145) + 0. Which is smaller: d or 1?
d
Let q(k) = 2*k**2 + 25*k - 16. Let x be q(-11). Let u be -2*((-21)/x + 55/(-14)). Let b be 16/(-2 - 0)*u/12. Which is greater: b or -4?
-4
Let g(k) = 7*k - 78. Let q be g(11). Is 2/10371 != q?
True
Let u = 17 - 23. Let a be ((-10)/u - (-16)/(-24))*1. Which is smaller: 2/19 or a?
2/19
Let c = -63/4 + 473/28. Let n = 31/21 - c. Let l = 2/33 - -28/627. Which is smaller: l or n?
l
Let s = -1346 - -1376. Which is smaller: -188 or s?
-188
Let c = -3 + -1. Let m = 106 - 53. Let h = -60 + m. Which is smaller: c or h?
h
Suppose -3*k + 7*s + 25 = 0, 5*k + 1 = -23*s + 24*s. Which is smaller: k or -10/163?
k
Let p(c) = 390*c - 1170. Let v be p(3). Is 2/917 bigger than v?
True
Let z be (-2)/(-35) + 444/2030. Let p be (0 + 1)/(1/1). Which is smaller: p or z?
z
Suppose -5*r = 2*m - 53 + 14, 2*m - 11 = -r. Suppose -3 = -5*g + r. Suppose -2*k = -2*i - 24, g*k + 1 = 9. Are -8 and i equal?
True
Let p = 0.1177 + -47.1177. Let v = -1.2 + 2.3. Let s = v + -1.2. Is p bigger than s?
False
Let z be (5 - 96/18) + (-32)/(-6). Suppose 5*y = -z*q - 25, 17*q - 20*q = y + 13. Are y and 20/63 non-equal?
True
Let j be (-38)/5 + (-9)/(-15). Let n be j + 16/4 + 4. Let w be -5 + n + (-12)/(-2). Is 3 smaller than w?
False
Let p(h) = h**3 + 34*h**2 + 42*h + 232. Let n be p(-33). Which is bigger: -10 or n?
-10
Suppose -485*t + 2670 = -482*t + 4*n, 1740 = 2*t - 4*n. Which is greater: t or 883?
883
Suppose 5 = -2*x + 1. Suppose 6028 = 53*s - 597. Let g be (-3 - s/(-23)) + x. Which is greater: g or 1?
1
Let i = -374 - -299. Let k be 3/9 + 2950/i. Which is greater: -202/5 or k?
k
Let m be ((30/25)/2)/(1/10). Let l be (-96)/72*(-1)/(2/m). Suppose p + 2*p + 3*f - 81 = 0, 2*f - l = 0. Is p bigger than 25?
False
Suppose 3*h = -192 - 6. Let b = 84 + h. Let k(r) = r**3 - 18*r**2 - r + 21. Let j be k(b). Are 19 and j nonequal?
True
Let t(i) = 3*i + 93. Let y be t(-22). Suppose -3*h - y = -24. Let c = -51393/64 + 803. Which is bigger: c or h?
c
Let p be 135/18*(-4)/(-3). Let c be 0 - (682/14 - (-4)/14). Let u = 60 + c. Is p less than u?
True
Let t = -31108/5 - -120761251/19410. Is t bigger than -1?
True
Let j = -0.0436 - -4.0436. Is 0.83 >= j?
False
Suppose 147 = -4*t - 3*j - 27, 166 = -4*t + j. Let o = 7 + -48. Which is smaller: o or t?
t
Suppose 6*a + 3*a = -1962. Let r = 217 + a. Which is smaller: r or 2/535?
r
Let k(g) = g**3 - 5*g**2 - 2*g - 5. Let t be k(8). Let z = 170 - t. Which is smaller: z or -2/257?
z
Let b = -7746 + 30927/4. Let c be 1/(-2) - 54/4. Is b != c?
True
Suppose -15 = 4*a + 3*t, -10 = -a + 4*a + t. Suppose -16*n - 2255 + 6975 = 0. Let r = n - 315. Which is smaller: r or a?
r
Let k = 22 - 7. Suppose -5 = -u - 4*h, 2*u + u + k = -2*h. Is -1/3 smaller than u?
False
Let j be (-5)/25*((17 - 13) + (-45)/5). Which is bigger: -30288 or j?
j
Suppose 15*c = 40*c. Suppose c = -y - 2*z + 3, 2*y - 9 = -z. Is y > -95?
True
Let m = -26098 - -547537/21. Let r be ((-1155)/(-9) + 0)*8/40. Let q = r + m. Which is bigger: q or 0?
q
Let f(b) = -b**2 + 11*b + 61. Let c be f(15). Is -5/389 not equal to c?
True
Let q(v) = v**2 + 6*v - 3. Let i be q(-6). Suppose -1250 = -216*g - 262*g + 8310. Is g > i?
True
Suppose -34 = 3*r + u - 6*u, r + 2*u = -4. Suppose 0*m + 5*m - 3*x - 82 = 0, -3*m - 5*x = -56. Let i(n) = 19*n - 331. Let a be i(m). Is r at most as big as a?
True
Suppose d + 2*y = 2682, -12*d = -8*d + y - 10735. Is d at most as big as 2684?
True
Suppose -7*t + 18 = 14 + 11. Is t at most -5/184?
True
Let d = 873 - 477. Let k be (d/(-11) + -1)*(-1)/(-1). Which is smaller: k or -34?
k
Let w = -211/3 - -71. Let n = 12 - 98. Let h = n - -87. Is w bigger than h?
False
Let h(d) = -150*d - 527. Let b be h(-2). Which is greater: b or -223?
-223
Let z(c) = c**3 + c**2 + 2*c. Let w be z(0). Suppose 3*r + 26 - 20 = w. Let d be (r/3)/((-21)/(-9)). Which is bigger: d or -1?
d
Let z(w) = -204*w**2 + 4*w - 25. Let m be z(2). Is -833 smaller than m?
False
Suppose -666 = v + 4*s, -3*v + s + 665 = 2611. Let n be (-564)/v*-7 - -4. Let f = n - -28/13. Is f less than or equal to 1?
True
Suppose -5*m - 8 = -48. Suppose -4 = -4*s - 0. Let g be (2/m)/(s/4) + -1. Are g and 3 unequal?
True
Suppose -224*v + 226*v = 0. Suppose a - 2*r = 3*a - 42, v = a - r - 17. Do a and 19 have different values?
False
Let c(s) = -3*s**2 + 57*s - 102. Let i be c(17). Let a = 2/725 + -2938/13775. Is i at most as big as a?
False
Let p be (-4)/(-19) + 0 + 0. Suppose -8 = -4*j - 46*x + 44*x, 2*j = x. Is j bigger than p?
True
Let y(l) = 2*l**3 + 5*l**2 - 2*l - 1. Let v be y(-4). Let k = 26 + v. Let d = -14 - k. Which is greater: d or 10/11?
d
Let p = 2/549 + -368/549. Let s(b) = -b**3 - 5*b**2 + 2*b + 6. Let i be s(-4). Let v be 32/144 + 4/i*1. Is v bigger than p?
True
Suppose -2701 + 18095 = 86*n. Which is bigger: -0.08 or n?
n
Let s(n) = 5*n + 5. Let j(c) = 9*c + 10. Let q(l) = 3*j(l) - 7*s(l). Let p be q(-1). Let b be 12 + p + -1 + -1. Is 12 less than b?
True
Let f = -34624/7 + 5112. Let j = -174 + f. Is j greater than -2/9?
False
Suppose -5*w = 3*x + 806, -6*w = 2476*x - 2474*x + 572. Suppose -5*p = -5*k - 864 - 376, 4*k + 2*p + 986 = 0. Is k > x?
False
Let y = -341 - -501. Let l = -155 + y. Is l greater than 3?
True
Let h be 56/(-16)*(5 + -2 - 23). Suppose -t = 4*a - 88, -2*t + h = 4*a - 14. Suppose -17 = -p - a. Which is greater: -20/3 or p?
p
Let v be ((-514)/(-257))/(-2*1/(-408)). Is 399 != v?
True
Let d be (8/6)/((-56)/53688)*(8 - 15). Is d >= 8948?
True
Let k(p) be the first derivative of -p**4/4 + 14*p**3/3 - p**2/2 + 14*p + 104. Let m be k(14). Are m and 4/89 nonequal?
True
Let w = 156 + -198. Are w and 2 equal?
False
Let f = -686 - -730. Let q = -574.9 - -531. Let j = q + f. Which is bigger: j or 6?
6
Suppose -4*a = h - 7, h + h - 2 = -2*a. Let c be 1 + ((-1)/(-1) - h). Suppose 4*r - 5*f = -21, -c*r - f + 2*f = 2. Is 9/7 != r?
True
Let i = 8878 + -97574/11. Is i less than 9?
True
Let d = 11.37 - 528.37. Let w = -517.1 - d. Which is greater: w or 17?
17
Let y be (202/(-4) + 2)/(((-15)/50)/3). Is y less than -0.02?
False
Suppose -3*s + 467*d - 359 = 466*d, 4*s + d = -474. Which is greater: s or -19?
-19
Let s(r) = r**2 + 7*r + 1. Let w be s(-7). Let k = -865171/81 + 10681. Which is smaller: w or k?
k
Let d(h) = 17*h**3 - 4*h**2 + 10*h + 40. Let q be d(-8). Let z = q - -18359/2. Which is bigger: 179 or z?
z
Suppose -11*v - 94 = -149. Suppose 0 = -v*x + 2*t - 18, -4*t - 3 = -19. Which is bigger: x or -25/13?
-25/13
Suppose 3*b + 5*c - 10*c - 1661 = 0, -4*b - 3*c = -2292. Which is smaller: b or 558?
558
Let b = -518 - -521. Let a(q) = q**2 - 5*q - 4. Let y be a(7). Suppose y = 2*u + 2. Which is bigger: b or u?
u
Let i be 915/(-48)*(0 - (-328)/5540). Let k = i - -1/277. Which is bigger: k or -1?
-1
Let a(j) = j**2 - 11*j - 8. Let g be a(12). Suppose -g*m - 11 = -23. Let d be ((-1)/4)/(m/(-20)). Which is smaller: 2 or d?
d
Let v be -31826*(-2)/5*(-29)/116. Let t = v - -3172. Is t bigger than -11?
True
Let w be (-10 + 0)*24/60 + -6. Let p be 204/(-8)*4/(-6). Let f = p + -27. Is w > f?
False
Let w(a) be the second derivative of -8*a - 7/2*a**2 + 0 - 1/2*a**3. Let p be w(-5). Is 7 smaller than p?
True
Let t = -5 + 7. Let b be (213/142)/(243/504). Which is bigger: b or t?
b
Let f(u) be the second derivative of 5/6*u**3 - 14*u**2 + 0 + 18*u. Let w be f(6). Are w and -1 nonequal?
True
Suppose -20*t - 1660 = 4*t - 4*t. Suppose -2*q - 360 = -2*k + 6*k, 0 = k - 5*q + 68. Let o = t - k. Which is smaller: 60/11 or o?
o
Suppose -1450 = -2*l - 8*j + 6*j, 0 = 3*j. Let p be l/(-29)*(-1)/(-2). Suppose 0*k - 42 = 3*k. Which is bigger: k or p?
p
Let q = -7799 + 5466. Let n = q + 216965/93. Are n and 0 equal?
False
Suppose 3*c - 8 - 15 = 4*d, -5*c = -5*d - 35. Let y(p) = 7*p - 3. Let i(f) = 93*f - 39. Let h(m) = -2*i(m) + 27*y(m). Let g be h(d). Which is smaller: g or -2?
g
Let v(i) = i**3 + 14*i**2 - 13*i + 31. Let s be (-7 - 175/(-28))*20. Let t be v(s). Which is greater: -1/440 or t?
t
Let u(b) = b**3 + 18*b**2 - 2*b - 36. Let h be u(-18). Suppose h = -294*a 