e 2382/(-60)*(-2)/1. Suppose 240 = -3*p + 4*t, -4*p - 5*t = -7*p - 240. Let d = p + v. Does d = -1?
False
Suppose 7*q = q - 492. Let i = q - -83. Which is smaller: i or -1/27?
-1/27
Let x = -336 + 297. Which is smaller: x or -3?
x
Let j(c) be the second derivative of -c**4/12 - 7*c**3/3 - 23*c**2/2 - 13*c. Let n be j(-12). Is 3/19 equal to n?
False
Let c(h) = -h + 14. Let d(s) = -s + 13. Let a(l) = 3*c(l) - 4*d(l). Let q be a(6). Which is bigger: q or -2?
-2
Let h = 3/191 + 13623/8213. Which is smaller: h or 1?
1
Let a be -1 - -3 - 5/(-18410)*-7372. Let r = a + 123367/9205. Do 12 and r have different values?
True
Let x = 3/70 - 31/70. Which is smaller: 5/21 or x?
x
Let z = 136 - 5030/37. Which is smaller: z or 1?
z
Suppose 0 = -4*l + 4 + 4, 0 = -r + 3*l + 24. Is r at most as big as 29?
False
Let x = 2324 + -2324. Is x >= -3/430?
True
Let d be ((-1)/(-13))/(3*4/(-120)). Is -1 bigger than d?
False
Let p = 11380/3071 + -138/37. Let l(y) = -y**3 - 10*y**2 - 23*y + 6. Let g be l(-6). Which is smaller: p or g?
p
Let d = -12 - -8. Suppose 3*m - 24 = -3*m. Suppose y - 7 = m*f - f, 0 = -2*y - 10. Is d < f?
False
Let w = 181/24 + -22/3. Which is smaller: -1 or w?
-1
Let v = -2.7 + 6. Let g = 6.6 - v. Is -1 < g?
True
Suppose -2*z - 3*u = -7, 5*z - 2*u = 2 + 6. Let k be (1/7)/((-1)/z). Let q = 9 - 8.9. Which is greater: k or q?
q
Let u(p) = -6*p - 1. Let o be u(-4). Let m be 156/44 + -3 + 6675/165. Let s = m - o. Which is smaller: 17 or s?
17
Suppose 113 = -4*x - d + 24, 2*x - d + 49 = 0. Let g = 7 + -2. Let l be (g - 3) + 50/(-2). Is l less than x?
False
Let r(p) = -p**3 + 5*p**2 - 3. Let v be r(5). Let h be (-9)/v*(-2)/6. Let j be ((-5)/(-40))/(h/(-8)). Is 2/65 greater than j?
False
Let w be ((-8)/4)/(56/26). Let p be (-11)/(154/48) - -3. Let r = p - w. Which is bigger: 0 or r?
r
Suppose 4*j = 38 + 26. Let z = -11 + j. Suppose d - 11 = p + 3*d, -p - 20 = z*d. Which is bigger: p or -25/6?
-25/6
Let s be 18/((-8)/(96/(-9))). Which is smaller: s or 171/7?
s
Let a(k) = -k**3 - 8*k**2 + 3*k - 9. Let m be a(-8). Let l be (-3)/m*(-3 - 3). Does l = -2?
False
Suppose 0 = 15*w + 674 - 3584. Which is greater: w or 195?
195
Let g = 970.04 + -971. Is g > -0.1?
False
Suppose y - 42 = -5*y. Suppose c - y = -3*x, c + 2*x + 9 = 3*x. Which is bigger: -3 or c?
-3
Let o = -239/6 + 40. Let j(y) = 6*y**2 - 2*y - 2. Let a be j(1). Which is smaller: a or o?
o
Let x = 0.43 - 0.33. Is 385 < x?
False
Suppose 0 = 3*a - 92 + 20. Let u be 182/6 - (a/9)/(-4). Which is smaller: 32 or u?
u
Let d(f) = f**2 + 15*f - 1. Let x be d(-15). Let o be 1*(-57)/(-21) + x. Is o greater than 2?
False
Let s be ((-11)/66)/((-1)/((-4)/86)). Let d be 6*(-3)/(-9) - 3. Which is greater: s or d?
s
Suppose -25 = -6*m + 41. Let x(l) = l**3 - 8*l**2 + 8*l - 3. Let q be x(7). Suppose m*i - 7*i + q = 0. Is 3/13 > i?
True
Let m be 3 - 11/(198/60). Do -1/29 and m have different values?
True
Let t = -3 + 4. Suppose y + 3 = -2*k, 0 = 2*y - 4*y + k - t. Let p be -2 + (-2)/(-21)*-3. Which is greater: p or y?
y
Let x = 2181 - 416569/191. Which is bigger: 0 or x?
x
Let s = -20 + 24. Suppose 0*v - s*o + 160 = 4*v, 3*o + 102 = 3*v. Let i = 24 - v. Which is smaller: i or -12?
i
Let q(w) = -w**3 + 33*w**2 + 37*w - 101. Let z be q(34). Is 19/11 at least as big as z?
True
Let i(n) = 36*n**2 - 2*n. Let t be i(2). Let d = t + -140. Let h be (-4)/(-27)*3/26. Which is greater: d or h?
h
Let r be 0*((-250)/(-30) + -8). Which is greater: r or 2/1395?
2/1395
Let k = 7102/3 + -2341. Is 25 greater than or equal to k?
False
Let x = -0.5 + 0.36. Let a = x + -18.86. Let m = -19.2 - a. Are 1.9 and m non-equal?
True
Let t = 5 - 3. Suppose t*z - 9 = -z. Let b be 4 - 0 - 2 - z. Which is greater: -3/2 or b?
b
Let c = -56.9 + 51. Let p = c + 5.8. Let a = -2 + 0. Is a at least as big as p?
False
Let p(h) = h**3 + 51*h**2 + 96*h - 116. Let y be p(-49). Which is greater: -14 or y?
-14
Let t = -633/8 - -79. Let o(z) = -z - 7. Let y be o(-10). Let n be (0 - (-5)/(-15))*y. Which is smaller: n or t?
n
Suppose 3*h = t + 66 + 1, 0 = 3*t - 5*h + 213. Let f = t - -151/2. Which is greater: f or 7?
7
Let q = 3470/51 - 68. Let i = 7/34 - q. Are 2 and i unequal?
True
Let h = 34 - 24. Suppose 0*s = s - 26. Suppose -8*u + 4*u = -3*t + s, 3*t - 29 = u. Does t = h?
True
Let h = -44 - -75. Is 119/4 greater than h?
False
Suppose w + 144 = -0*w. Let d be (1/(-3))/(8/w). Suppose 2*m - 2*n + 25 - 5 = 0, 0 = 3*m + 5*n + d. Is -6 greater than or equal to m?
True
Let c = -0.00205 - -22.33205. Let m = c + -22. Let b = m + 14.67. Does -1 = b?
False
Let c(x) be the second derivative of x**5/20 - x**4/6 - 13*x**3/6 + x**2 - 10*x. Let l be c(6). Is 67 smaller than l?
True
Let n = 4.8 - 1.1. Which is greater: n or 9?
9
Suppose -11*n - 6*n = -374. Is n <= 200/9?
True
Suppose 0*v - 9 = 3*v. Let k(t) = 41*t - 944. Let n be k(23). Are v and n nonequal?
True
Let p(f) = f**3 + 8*f**2 - 9*f + 3. Let m be p(-9). Suppose 7*b = m*b - 8. Is -5 at least b?
False
Suppose -185 = -2*a - 145. Is a equal to 8?
False
Suppose -66*p = -75*p - 1224. Which is greater: p or -404/3?
-404/3
Suppose 0 = -d + 21 - 5. Let k be ((-2)/4)/((-4)/d). Suppose 2*m - 4 = k. Which is smaller: 5 or m?
m
Let f be ((-1856)/(-2988))/8 - (-8)/(-36). Are f and -1 non-equal?
True
Let p(k) = 6*k - 8. Let i be p(5). Suppose -4*o + i = -3*q, 3*o - 3*q - 7 = 11. Let c be (9/6)/((-2)/o). Are c and -2 equal?
False
Let w(o) = 11*o - 96. Let l be w(8). Which is greater: -102/11 or l?
l
Let d = -15 + 17. Let v be 8/d - (-8 + 10). Let n = -4/11 - -56/33. Is n less than v?
True
Let b = -444 - -445. Suppose 2 + 16 = 3*w. Let j be w - (-1 - 0)*-2. Does j = b?
False
Let r = 1015080903323/146020 + -340630715/49. Let b = r + -1/4172. Which is smaller: b or 10?
b
Let g = 657 - 756. Which is greater: -96 or g?
-96
Let i = -6 - -4. Let w be 1 + i - (2 - 3). Let l be (-2 + -2 - -5)*-1. Is w at most as big as l?
False
Let o(a) = -4*a**3 - a**2 + 1. Suppose 3*f + 2*y = -1, f = -2*f + 2*y - 5. Let p be o(f). Suppose p*t + 25 = 5*b, -3*b + 13 = -2. Is 2/59 greater than t?
True
Let p = 3423 - 13597/4. Which is bigger: 25 or p?
25
Let r(v) = -3*v**3 - 10*v**2 + 2*v + 5. Let p be r(-5). Suppose 0 = 5*m - o - 134, m - 5*m = -4*o - p. Is 24 less than or equal to m?
True
Let m(z) = -142*z - 1000. Let a be m(-7). Do -98/3 and a have the same value?
False
Let d = 29.94 + -30. Suppose -3*j = q - 12, -16 = -5*q + q + 4*j. Suppose -h = -l + 3 - 5, -3*h + q = -2*l. Which is greater: d or l?
l
Suppose -80 = 4*t - 140. Let c = t - 15. Are c and 2/81 equal?
False
Let j be 69/12*9/(18/8). Which is smaller: 153/7 or j?
153/7
Let a be 0 + 26 + -1 + 1. Let t be (-39)/a + 250/4. Does t = 60?
False
Let f = 81 + -69.8. Let j = -12.2 + f. Which is smaller: j or -2?
-2
Suppose -6*t - 404 = 5*v - 3*t, -2*v = 5*t + 173. Let g = v - -78. Are g and -4/3 unequal?
True
Let i(m) = -m**2 - 4*m + 25. Let r be i(-7). Suppose -j + 2*j = 3. Which is smaller: r or j?
j
Suppose 0 = 2*p - 8 - 2. Suppose -3*w - 3*k + 18 = -4*k, p*w - 5*k - 40 = 0. Which is bigger: w or 4?
w
Suppose -l + 22 = v + 24, 2*l - 2*v - 12 = 0. Suppose -5*s + 1 = -4. Which is smaller: l or s?
s
Suppose u + 109 = 5*s + 14, 0 = -5*u. Let m be 0 - -3 - 58/s. Let y(x) = -x - 1. Let l be y(-2). Is l bigger than m?
True
Suppose r = 2*r - 76. Let b be 8/12 + r/(-6). Is b > -2?
False
Let f = 285 + -8260/29. Let k = f - 83/145. Which is greater: 19 or k?
19
Suppose -2*f + 1962 = -2*a, -2*a - 4*f - 1962 = f. Is -982 equal to a?
False
Let b be (18/5)/(18/(-120)). Which is greater: -5 or b?
-5
Let d = -69/2 - -450/13. Let p be 40/(-100) + (-54)/(-10) + -4. Which is greater: p or d?
p
Let m = -481 + 487. Is 62/11 bigger than m?
False
Let w be 1 - (56943/45676 - 1/4). Which is bigger: 2/3 or w?
2/3
Let n be 3*-2 + (-405)/36. Which is bigger: -18 or n?
n
Let n(i) = i**2 + 3*i - 2. Let x be n(-3). Suppose -4*q - q + 10 = 0, 5*q = 5*g - 130. Suppose g*m - 33*m = 20. Is m at most as big as x?
True
Let h = -507 - -508.087. Are h and 2 equal?
False
Let n = 0.2 - -2.8. Let l = -1 - n. Let g be (-24)/(-14) + 2/7. Which is greater: l or g?
g
Let p be 67 - (18/3 - 2). Let k be 3/(p/(-447)) + 14/49. Is -21 > k?
False
Let r = -1796/3 - -606. Let t = r - 7. Is 1.4 bigger than t?
True
Suppose 7*r - 19 = -3*g + 11*r, -3*g + 3*r 