r than o?
True
Let v = -16033.1 - -16033. Which is smaller: 730 or v?
v
Suppose -3*v = 3*c - 0*c - 9, -5*v + 9 = 2*c. Let q be ((-30)/55)/(1708/(-3355)). Which is smaller: q or c?
q
Let m = 797 - 1338. Suppose -2*n + s - 1085 = 0, -3*n + 2*s - 2414 + 785 = 0. Is n bigger than m?
False
Let o be (10/(-8))/((-3)/564). Is 2114/9 equal to o?
False
Let o = 74 - 50. Suppose -c + o - 63 = 0. Let k = c + 57. Is k greater than or equal to 17?
True
Let h = 1/7979 + -143641/151601. Is h bigger than 28?
False
Let n be (1305/(-435))/(7/2 - -1). Is n at least 397/11?
False
Let s be 2 + 0 + 0 + -16. Let b = s - 19. Let h = b - -34. Which is greater: h or -1/10?
h
Suppose -5 = 4*a - 21. Suppose -5*k + 4*c = -101, -2*k + a*k - 4*c = 50. Suppose h = r - k, -2*r = 3*h - 2*h + 11. Is h < -1?
True
Let y = -261 - -170. Let c = y - -91.1. Are c and -12 non-equal?
True
Suppose -790 = -3*j + z, 2*j - 2*z = 2*z + 520. Let x = j + -5014/19. Which is smaller: x or -2.9?
-2.9
Let k = 5510509/6 + -915982. Is k at least 1?
True
Let i = -4507 + 2947. Let m be 13*(-15)/i - 746/6224. Is 1 < m?
False
Let v(x) be the first derivative of x**4/4 + 4*x**3/3 - 21*x**2/2 + 9*x + 315. Let o be v(-6). Is 61 less than o?
True
Let k(m) = -m**2 - 25*m - 18. Let u be k(-19). Suppose 0 = 3*l - 2*w - u, -5*w + 40 + 65 = 4*l. Is -0.1 greater than or equal to l?
False
Let j be (-14)/((-420)/130) - 5. Is -1/140 <= j?
False
Suppose -5*l - 34 = -4*m + 3*m, -3*l = 4*m - 228. Suppose -52*s - 16 = -m*s. Let r be (36/12)/(45/s). Which is smaller: 1 or r?
r
Let g be 66/2*(6 - 7). Let f = 51 + g. Let s = f - 0. Is 20 smaller than s?
False
Let b be (-191)/((1/(-5))/(2 - 1)). Let a be ((-2)/(-3))/(b/315 - 3). Is a > 218/11?
True
Suppose -4*d + 17 = 9. Suppose d*y - 3*g = -y + 9, 3*y - g = 17. Suppose 3*x = -2*a + 29, 54*x - 53*x = 5. Is a at most y?
True
Let i = -5155 - -5159. Is i less than 67/21?
False
Let y = 62 - 58. Let f = 7 - y. Suppose 0 = 5*v - 8*v + 9. Are v and f equal?
True
Let v(w) = -w**2 + 1. Let q be v(-3). Let o be 370/2*q/(-5). Let f be 20/35 - o/28. Is -10 < f?
False
Suppose 0 = 3*l + 16 - 79. Let r be (24/9)/((-7)/l). Which is smaller: -6 or r?
r
Let p be -2*12/8 + (-68)/(-10). Let d(x) = -x**2 - 9*x + 3. Let s be d(-9). Is s bigger than p?
False
Let f be (2/(-8))/(-1) + 1443/(-12). Let p = -99 - f. Let v = 87 + p. Which is smaller: v or 107?
107
Suppose 2*c = -5*o - 938, -2*o - 155 = 5*c + 216. Let s = o + 235. Let t = -95 + 141. Which is smaller: s or t?
t
Let x = 108 + -197. Let s(g) = 85*g + 762. Let m be s(-10). Which is smaller: x or m?
x
Let s = 551 - 546.29. Let u = 0.71 - s. Is u < 10?
True
Let t(n) = n**3 + 5*n**2 - n - 6. Let j be t(-5). Let v be 210/(-1365) + (-46)/546. Which is smaller: v or j?
j
Suppose -h - 2*h + 3 = 0, u - 3*h + 2 = 0. Let k be (-5)/(-25)*1145/17633. Is u smaller than k?
False
Let d(r) = 50*r + 3151. Let s be d(-63). Which is bigger: 1/5279 or s?
s
Let m be 1326/(-130)*(-2)/(-3) + 6. Which is smaller: m or -15.4?
-15.4
Let q = 822 + -797. Suppose -4*y - 78 = -y. Let b = q + y. Which is smaller: b or -1/2?
b
Let x = 0.117 + -49.117. Let w = 1048 - 999.2. Let d = x + w. Is d at least as big as -4/13?
True
Let d be ((-40)/(-18480) - 1/3) + (-8)/(-28). Suppose -14 - 2 = -4*j. Let q = -4 + j. Which is smaller: q or d?
d
Suppose -6 = -36*i + 138. Let c be 1141/91 + (12/i)/(-3). Which is smaller: c or 13?
c
Suppose -5*v = 5*k + 30, -2*k - 4*v - 20 + 2 = 0. Let x be 33*(-9)/(-81)*k. Are x and -8 nonequal?
True
Let b = 126 + -88. Let s = 2375.3 + -2338. Let h = s - b. Is -0.2 at least h?
True
Let c be (-3561752483)/1990 - (-2)/10. Let p = c - -1789828. Let n = p + 1/597. Is n less than 2?
False
Let v = -0.61 + -0.09. Let i = v + -17.3. Let t = -17.8 - i. Is 2/7 less than t?
False
Suppose 5*m - 4*c - 89 = 0, 6 = m + 5*c - 6. Let k be ((-774)/1524 - 1) + 1. Let y = k + 1/127. Is y not equal to m?
True
Let n(v) = v**2 + 21*v - 52. Let f be n(-24). Suppose 0 = 5*g + f, -2*r + 3*g + 12 = 3*r. Do 4/39 and r have different values?
True
Let y(l) = -395 + 130 + 120 + 5*l + 107. Let n be y(4). Let w(a) = -2*a**2 - 5*a - 6. Let b be w(-4). Is b <= n?
True
Let b(u) = -6*u**2 - 102*u + 46. Let s be b(-15). Are s and 231 equal?
False
Let i be (182 - (2 + -4)) + -4. Suppose -i - 124 = -4*v. Are v and 75 unequal?
True
Let n be (((-21)/315)/(1185/90))/(32/(-18)). Is n at least as big as 0?
True
Let q be 179280/(-156968) - (-88)/77. Which is smaller: -1 or q?
-1
Let g be 0 + 110/(-272) + ((-1675)/100)/(-67). Which is greater: g or -1?
g
Let q = 24772 - 25724. Does -941 = q?
False
Suppose 2*b + 11027 = 2*v - 4531, -31052 = -4*v - 4*b. Is v less than 7771?
False
Let v = -45 + 45.0176. Let z = -3.5276 + v. Let m = 1.11 + z. Which is smaller: -0.1 or m?
m
Suppose -5*f = -3*f + w - 21, f + 4*w = 21. Let z = -27 + f. Suppose x + 72 = -3*x. Is x at most as big as z?
True
Let u be (1 - -50)/((-17)/187). Let m = u + 570. Which is smaller: 92/11 or m?
92/11
Let a = -32.9472 + 0.0472. Let p = a + 32.3. Let x be 1/2*(-2)/3. Is x at most p?
False
Let g = -1733 - -1732.8. Is -111 at most as big as g?
True
Let q(r) = 2*r**3 + 6*r**2 + 15*r - 17. Let f be q(11). Suppose 0 = -4*g - 5684 - f. Let m = -288123/125 - g. Is m less than 0?
False
Let a = 3.7 + -1.7. Let j = -8246 + 8240.6. Is j != a?
True
Suppose -9 = -3*a - 3*s, s - 1 - 7 = -2*a. Let o(d) = d**3 - 12*d**2 + 12*d - 10. Suppose -38 = -7*l + 39. Let y be o(l). Is a <= y?
False
Let r be (-4 + 18/4)*-12. Let i(f) = f**2 - 15*f + 12. Suppose -5*d + 9 = -61. Let b be i(d). Which is smaller: r or b?
r
Let p(y) = 305*y - 1050. Let m be p(5). Is m at most 1?
False
Let u(r) = r**3 - 12*r**2 + 18*r. Let v be u(7). Let x = v + 116. Let o be 28/(-9) + x*(-4)/54. Which is greater: o or -3?
o
Let l = 117 - 27. Suppose 0 = 11*z - 16*z - l. Let a be (0 - z/10)/((-8)/(-20)). Which is greater: a or 4?
a
Let q(i) = 3*i**2 + 35*i + 34. Let v be q(-11). Let x be 6/8*-2*32/v. Let r be ((-18)/(-4))/((-2)/4). Which is bigger: x or r?
x
Let v(z) be the first derivative of z**2/2 + 3. Let i be v(5). Let y be (16/(-20))/((-22)/i). Is y at least as big as -2?
True
Let l be (2 - 2)/((-1001)/286 + (-11)/(-2)). Do l and -2/5029 have different values?
True
Let z be 3 + ((-2)/(-6))/((-28)/8808). Let u = z - -102. Let s = 2.1 + -0.1. Is u not equal to s?
True
Suppose -2*f - 5 = -3*f - z, 0 = -4*z + 12. Suppose 0 = -4*s + f*a - 6, -4*a = -s - s. Let q = -1115/11 - -100. Are s and q non-equal?
True
Let t be 1174/4 + 11/132*6. Let o = -286 + t. Is 5 < o?
True
Let o(p) = 51*p + 5746. Let t be o(-66). Is 2382 at least t?
True
Suppose -41 = 3*f + n, -16 = 2*f - 4*n - n. Let m be (-2)/(-8)*(8 + f + 1). Is 1/457 bigger than m?
True
Let l = 1/83538 - 703/83538. Let h = -5 + 7. Suppose -3*k = -7*k + 5*f, -3*k - h*f = 0. Are l and k unequal?
True
Suppose -13*g + 472 + 686 = 14. Is g not equal to 1/3?
True
Let q be 5775/18 - 12/36. Let r = q + -320. Which is smaller: r or 67?
r
Let d be (-120)/(-45)*((-32459)/81110 - (-6)/15). Which is greater: -1 or d?
d
Let f(b) = -4*b - 6. Let o be f(-8). Let k(m) = 9*m**2 + 115*m + 279. Let w be k(-10). Is o greater than w?
False
Suppose 0 = s - 4*k + 9*k + 52, -61 = 4*s - k. Let c(n) = n**2 - 1. Let m be c(-2). Is s less than or equal to m?
True
Let r = 8423 + -8422. Which is bigger: 20/1741 or r?
r
Let x = -4 - 3. Let r = x + 12. Let f be 37/5 - (47 - 40). Is r bigger than f?
True
Suppose 0 = l + 2*y + 21, -l - 19 = 3*y - 0. Let f = -77 + l. Is 0 less than or equal to f?
False
Let a be (-1 - (-5 - -5))/((-1)/5). Let v(i) = 9*i - 41. Let s be v(a). Let g be (-4)/6 - ((-520)/114 + s). Which is smaller: g or -2?
-2
Suppose 0 = -d + 4*k - 1, -2*d - k - 3 = -1. Let p be 25/45*(-4)/5. Let y = p - -5/9. Which is smaller: d or y?
d
Let w = -52 - -54. Suppose -3846 - 600 = -3*k + w*s, -5*s - 1495 = -k. Let j = k + -137638/93. Which is smaller: j or 1?
j
Suppose -72*f - 11311 = 8057. Is f less than -252?
True
Let h(u) = -57*u - 842. Let i be h(-15). Let v be ((-3)/(-2))/(3/30). Let s = i - v. Which is greater: s or 3?
3
Let q = 29/6 + -25/3. Let l(r) = -r**2 - 21*r + 42. Suppose 6*m + 276 = -6*m. Let s be l(m). Which is bigger: s or q?
q
Let o be 2/2 + -4 + (-7 - -24). Let r be (-48)/21 + 4/o. Let x(v) = v**3 - 2*v**2 - 3*v - 1. Let d be x(r). Is -