2 - l = 2*a. Do -2 and a have the same value?
False
Let v = 19.951 + 0.049. Let g = v - 23.7. Let j = g + 0.7. Which is smaller: j or 1/4?
j
Let m(v) = 2*v**2 + 2*v - 8. Let x be m(-9). Suppose x = 5*b - b. Suppose -a = -3*a - b. Are a and -17 equal?
True
Let z be 525/165*3/((-30)/(-8)). Let r = z + -62/33. Is 0 at most as big as r?
True
Suppose 2*j - 18 = -0*j. Let d = 1 - j. Let r be (-14)/d - (-4)/8. Which is smaller: 1 or r?
1
Let b = -480 + 46081/96. Suppose -5*q - 5 = -4*d + 2, 0 = 3*d - 9. Do b and q have different values?
True
Let z = 0.208 + 56.792. Which is bigger: z or 1?
z
Let h = 1783 + -1351. Is 432 at most as big as h?
True
Let n = -469 + -93. Which is bigger: -563 or n?
n
Let m = 1432 + -1431. Which is greater: -1/751 or m?
m
Let r(z) be the first derivative of z**2 - 13*z + 10. Let y be r(7). Which is smaller: y or -8/17?
-8/17
Let n = 0 + -1. Let x be (-4)/228*87/(-29). Which is smaller: x or n?
n
Let t be (-6)/4*12/9. Suppose 5*n = 4*i + 62, 15 = 3*n - 2*i + 7*i. Suppose -2*u = -n*u - 16. Is t < u?
False
Let a be 3/12*-10*-10. Let t be (-20)/a + 1/(-5). Which is greater: 3 or t?
3
Suppose -3*m - 16 + 1 = 4*t, -25 = 5*m + 2*t. Is -55/12 greater than or equal to m?
True
Let g = 138.6 + -132.6. Which is smaller: g or 0.06?
0.06
Let d be (-7)/(-28) + (-4)/(18624/1132). Is d equal to 1?
False
Suppose -j + 18 = -4*j. Let t(q) = -q**3 - 6*q**2 - q - 1. Let r be t(j). Let a = r - 6. Is a bigger than -4/7?
False
Let l = -29.1323 + 0.0623. Let u = l - -29. Which is greater: 0.1 or u?
0.1
Let w be (-2)/9 + (-392)/(-63) + -4. Let x be 3612/902 + 2*-1*w. Is x bigger than -1?
True
Let n(j) = j**3 + j**2 - 16*j + 8. Let m be n(-6). Is 2 bigger than m?
True
Suppose 2*c = 5*h + 148, -4*h - 19 + 3 = 0. Suppose -6*x + c = -22*x. Is -4 at least as big as x?
True
Let q be (4/(-10))/((-3)/3795). Suppose 201 = -5*f + q. Is 60 at most as big as f?
True
Let m(u) = -6*u - 4. Let w(t) be the first derivative of 7*t**2/2 + 5*t - 5. Let r(d) = 6*m(d) + 5*w(d). Let n be r(2). Which is bigger: n or 1/13?
1/13
Let g be 9/(-30)*5/(-96). Let l = 47/64 + g. Which is bigger: 0 or l?
l
Let i = -344800/22437 - -12084810749/96703470. Let v = i - 1/4310. Let t = 110 - v. Is t less than or equal to -1?
False
Suppose 5*i - 1 - 9 = 0. Suppose 0 = -2*h - 2*u - u - 7, i*h - 3*u = -37. Let j = h - -16. Are j and 5 equal?
True
Let h = -3188/70391 - 2/1637. Is 0 at least h?
True
Let c(a) = a**2 - 1. Let g be c(0). Is g equal to -1/10?
False
Let t(p) = 5*p**3 + 3*p**2 + p + 5. Let a(i) = 9*i**3 + 6*i**2 + 3*i + 9. Let s(h) = -3*a(h) + 5*t(h). Let u be s(-1). Does 1/5 = u?
False
Let c = 3.74 + -3.44. Are 1/25 and c equal?
False
Let y = -5/12 - -2/3. Is y greater than or equal to -1?
True
Suppose -5*r + 48 = 4*k - 46, -4*r + 71 = -k. Let j = r + -18. Is j at least as big as -1/7?
True
Let y = 53 - 49. Which is bigger: 28 or y?
28
Let v = -12.2 - 5.4. Which is bigger: 0 or v?
0
Let r = 12681879/1261 + -10057. Is -0.1 bigger than r?
False
Let b = -9 - -56. Let t(s) = -3*s**3 - 5*s**2 - 6*s - 6. Let q be t(-3). Which is smaller: q or b?
b
Suppose -3*m + 0 = 3. Let h be ((-4)/2)/(2/(-3)). Suppose b + 5*q + 6 = 0, -2*b + h*q + 1 = -0*b. Is b less than or equal to m?
True
Let f = -16.7 + 17. Let w = 13.3 - f. Which is smaller: w or 0.2?
0.2
Suppose p - 1 = 8. Suppose 0 = -4*l - 3*a + 15, 0 + 15 = l - 3*a. Is p at least as big as l?
True
Let d = 0.51 + 37.49. Let a = 36 - d. Which is smaller: -1/11 or a?
a
Suppose 0 = 2*q - 4*q - 4. Let t be (q + -8)*3/18. Suppose -3 = y - 0*y. Is t smaller than y?
False
Let f = 104.55 - -0.45. Let i = f - 55. Which is smaller: -1 or i?
-1
Let p be 1 + 8 + -4 - 0. Let m be -3 + -1 + p + -1. Suppose m = -3*l - t - 3 - 12, 2*t - 15 = 3*l. Is l less than -29/5?
False
Let g be ((-15)/9 - 0)*9. Let l be 15/3*18/g. Are l and 2 non-equal?
True
Let a(h) = h - 1. Let m be a(4). Suppose -1 = m*r - 25. Let x = r + -6. Which is bigger: 10/9 or x?
x
Let r be (-76)/(-10) + (-10)/(-25). Suppose -2*l = 5*o - 9, 5*l - 2*o = -0*o + r. Let i = -1 - -2. Do i and l have the same value?
False
Let c be ((-1)/(-55)*5)/(1/1). Is 3 less than c?
False
Let p = 2/263 - -504/2893. Is p less than or equal to -22/9?
False
Let u(j) = -j**2 + 5*j + 1. Let h be u(5). Let l = 3235/84 - 155/4. Let z = 4/15 + l. Is h less than z?
False
Suppose -3*x - 19 = -221*o + 222*o, -2*x - 8 = -4*o. Let c(k) = k**3 + 3*k**2 + 3*k. Let y be c(-2). Is o <= y?
False
Let x = -36 - -137. Let u = x - 91.8. Let v = -9 + u. Is v < 10?
True
Let o(h) = -h**2 - 4*h + 4. Let p be o(-4). Suppose -7*a + 12 = -p*a. Is a at least 7/2?
True
Let n(m) be the first derivative of m**4/4 - 5*m**3/3 - 3*m**2 - 5. Let u be n(5). Let s be 25/(-8) + u/(-10). Which is smaller: 1 or s?
s
Let v = 509 + -516. Suppose 2*q + 36 = -2*q. Which is smaller: v or q?
q
Suppose 2*t = -t + 2*k, 0 = -4*t + 3*k. Let g(m) = -m**2 + 7*m - 3. Let y be g(3). Let d be 6/(-28)*(-12)/y. Which is bigger: t or d?
d
Let w = 1 + -4. Let o = 5 + w. Suppose 0 = -11*x + 9*x + 2. Is x at least as big as o?
False
Let f(x) = -x**3 + x**2 - 2*x + 5. Let q be f(0). Suppose -4*b = q*r + 27, -2*b + r + 47 = -6*b. Which is bigger: b or -12?
-12
Let b be ((-2)/(-4))/((-1)/(-2)). Let g be (-2)/18 + -1 + b. Suppose 88185*y = 88190*y. Is g less than y?
True
Let d = 0.1 + -0.1. Let c(b) = -b**3 + b**2 - b + 2. Let v be c(2). Is v greater than or equal to d?
False
Let r = 183 - 191. Which is smaller: -34/5 or r?
r
Suppose -4*i + 16 = 4*k, -k + 13 = -0*k + 4*i. Is 8/37 less than or equal to k?
True
Let u = 12 - 32. Let t = u - -22. Suppose -3 = -l - n, -t = 2*n - 4*n. Is l not equal to 0?
True
Suppose 5*x = -5*r - 480, -4*x = -0*r - 4*r + 360. Is -94 at least x?
False
Let n be 1/(-2) - 1/(-2). Suppose 2 = 3*v - 1. Let o be 3*(2 + v/(-1)). Which is smaller: n or o?
n
Let k = -6 - -6. Let s(p) = 0 + 7 + 2*p + 2 - 2. Let f be s(k). Which is greater: f or 6?
f
Suppose 11 + 53 = -8*v. Let d = -10 - v. Is d at least as big as 7?
False
Let j(z) = 15*z**2 - 7*z + 24. Let k be j(3). Is 144 at most k?
False
Let a = -32.8627 - 0.0373. Let s = 1.9 + a. Which is smaller: s or 1?
s
Suppose -3*l + 23 = -1. Let o(p) = p + 9. Let w(s) = -2*s - 9. Let d(c) = 5*o(c) + 4*w(c). Let b be d(l). Which is smaller: -14 or b?
b
Let p = 43 + -68. Let c = p + 24.8. Which is greater: 2/31 or c?
2/31
Let j = 35620/9 + -3940. Which is smaller: 1 or j?
1
Let v be (-2)/6*3/(-2). Suppose 0 = 4*n + 25*n - 58. Which is smaller: n or v?
v
Suppose -40*r = -36*r + 76. Let i be r/19 - (-65)/(-1). Is i at most -67?
False
Let s = -653 - -654. Is s < -11/102?
False
Let i(u) be the first derivative of u**3/3 - u**2/2 + 22*u + 6. Let s be i(0). Let o(p) = p**2 + 5*p + 8. Let c be o(-7). Is s > c?
False
Suppose -2*h + 5*q = q - 104, -213 = -4*h + 3*q. Suppose 2*p - 8 - h = -3*d, 0 = -d + 4*p + 16. Suppose 0 = 28*k - 25*k - 63. Which is bigger: d or k?
k
Suppose -3*s = 20*i - 15*i + 716, 4*i = 3*s + 761. Which is greater: s or -248?
s
Let y = 2027 - 2023. Which is bigger: y or -79?
y
Let b = -444 - -445. Which is smaller: b or 2554?
b
Let f(q) = q**3 - 13*q**2 + 5*q + 6. Let d be f(12). Let c be (-18)/d*(-248)/(-6). Let w = c + -19/2. Which is smaller: w or 1?
w
Suppose -16 = -2*u + 10. Suppose -i + u = -4. Let k = -118/7 + i. Is k smaller than 1/4?
True
Let v be (2/254)/(89/89). Which is bigger: 3 or v?
3
Let r = -3 + 3.01. Let t = 9.11 + -9. Let i = r - t. Which is smaller: i or 3?
i
Let t = 283 - 294. Which is smaller: t or 12?
t
Let w be -1 + -2 - (-50)/15. Let c = -1904 + 1904. Which is smaller: c or w?
c
Let k = -947 - -573. Let v = 401.9 + k. Let d = v + -28. Is d > 2/33?
False
Let j be (-22)/(-242) - (-90)/(-22). Which is smaller: -31/8 or j?
j
Suppose 8 = 9*l - 10. Let j be (l/4)/(30/(-36)). Suppose 0*u + 2 = -u + 2*t, -5*u - 5*t - 10 = 0. Which is smaller: u or j?
u
Let x(g) = -g**2 + 5*g - 10. Let l be x(-8). Let j be (-21)/(-14)*(-40)/l. Let i = 71/171 - j. Is 1 > i?
True
Let g = -65 - -99. Let d = g + -25. Which is smaller: 8 or d?
8
Let d = -5.67 + 5.4. Let r = 5234 - 5233. Which is greater: r or d?
r
Let x be 8/(-48) + 31/6. Suppose x*t + 6 = -14. Let q be 4/(-14) - 99/21. Is q < t?
True
Let o be (1 + 2 - 24/18)/(-1). Let n(l) = l - 2. Let q be n(4). Let x = -5 + q. Do x and o have different va