 = a - x. Do 0.1 and t have the same value?
False
Suppose -5 + 4 = a. Let q(n) = -2*n - 1. Let x be q(a). Are 0 and x equal?
False
Let j = 8 - 5. Let s = 2 - j. Let q(x) = x**2 + 2*x + 1. Let r be q(-1). Is r less than s?
False
Let f = 13 + -11. Let h = -3 - -3. Which is bigger: h or f?
f
Let z = 16.9 + -20. Let b = -3 - z. Which is smaller: -1 or b?
-1
Let c = 0.03 + -3.03. Let a be -9*(-4)/30*19/57. Are a and c nonequal?
True
Let b be ((-6162)/(-34) + -1)/(-2). Let l = -90 - b. Suppose 0 = -5*j - 5. Which is smaller: j or l?
j
Let c be 34/51 - 8/66. Is c > 4?
False
Let m = 13 + -18. Let g be (2 + -1)/(m/20). Which is greater: g or -5?
g
Let f = 16493/2 - 8686. Let k = f + 43067/98. Let r = k + 120/539. Which is smaller: r or -1?
-1
Let b = -13 + 13. Which is smaller: b or -14/19?
-14/19
Let c = 21 - 20. Is -1/4 < c?
True
Let m(i) = i**2 - 3*i - 4. Let f be m(4). Let a = -1 + f. Let o = 0 - a. Is o not equal to 1/5?
True
Let f = -3.9 + 8.2. Let o = f - 5. Which is smaller: o or -0.1?
o
Let q = -2 + -1. Let d = -2 + 4. Suppose -d*p - 3 = -p. Are q and p non-equal?
False
Suppose 0*f + 4*f = 8. Suppose l = z - 24, l - 64 = -2*z - z. Suppose s = -f*p + 11, s + z = -2*s + 5*p. Is -1/5 less than or equal to s?
True
Let v be ((0 - 1) + 5)/1. Let k be 7/((-28)/8) - -14. Let o = k + -8. Do v and o have different values?
False
Let z = 0 - 0. Which is smaller: -1/2 or z?
-1/2
Suppose 18 = -y + 10. Which is smaller: y or -6?
y
Let a be (-2)/5 - 4/(-10). Suppose a = 3*z + z + 48. Let w = 7 + z. Which is bigger: -0.1 or w?
-0.1
Let k(q) = -2*q - 8. Let o be k(-6). Suppose -2 = -2*i - o. Which is smaller: i or -2?
-2
Let d = 7.341 - 0.041. Let i = d + -7. Let k = 0.4 - i. Which is smaller: k or 2?
k
Let q(j) = -j**2 + 6*j - 2. Let x be q(6). Let v be ((-12)/x - 2)/(-1). Is -4 > v?
False
Suppose 5 = 3*f + 2*f. Suppose -q - f = -4, a + 2*q - 8 = 0. Let k be 1 + (-1 - a/(-6)). Which is smaller: 0 or k?
0
Let p = -8.87 + 9. Let y = p - 0.03. Is 2/9 smaller than y?
False
Let j(a) = -a**2 + 6*a - 2. Let r be j(5). Let m be 2 - 1/(-3 + 2). Is r != m?
False
Suppose 3*y = -4*j + 5*j + 1, 0 = -2*j + 4*y. Let t be -1*j - 88/(-28). Is 2 != t?
True
Let u(x) be the third derivative of -x**5/60 - x**4/8 + 3*x**3/2 + 4*x**2. Let n be u(-6). Is -8 at most as big as n?
False
Let s = -1 + 1.04. Let l = -1.04 + s. Which is greater: 0.1 or l?
0.1
Let a = 9 + 1. Suppose 5 = -3*b + b - x, 2*x + a = 0. Let i be -1*(3/(-1) - -3). Is i greater than b?
False
Suppose 4*d - 65 = z - 20, 0 = 2*d - 3*z - 15. Let h be 5/10 - 554/d. Let c = h - -46. Are c and -1 nonequal?
True
Let i = 455/44 + -41/4. Which is bigger: 0 or i?
i
Let f = -15.2 - -20.26. Let h = f - 0.06. Let k = -1 - h. Which is smaller: -0.1 or k?
k
Suppose 0 = 5*i - 5 - 5. Which is greater: i or -1/2?
i
Let l = -0.2 - -7.2. Let j = -7.2 + l. Is j less than or equal to 0.1?
True
Let j = -9/4 - -113/52. Which is bigger: 0 or j?
0
Suppose -3*d + 6 = 0, 4*d = 4*r - 0 + 8. Let j be (-18)/20 + 1 + 0. Which is smaller: r or j?
r
Let p = 12739/33 - 386. Does 1 = p?
False
Let y(z) = z**2 + z + 3. Let x be 3 + (9 - (-6 - -3)). Suppose a - 3 = -3*j, -2*a - x = 3*j - 7*a. Let u be y(j). Is u at most 3?
True
Let y = 10 + -7. Which is bigger: y or 7/3?
y
Let o be -4 + 6/(-30) + 228/(-10). Is -27 less than or equal to o?
True
Suppose 3*f = -y + 6*f + 10, -2*y + 4*f + 14 = 0. Does y = 4?
False
Let z = -55/2 - -155/6. Which is bigger: -3 or z?
z
Let b = -1 + -0.3. Let n = b - -0.8. Let c = 0.5 + n. Which is greater: c or 0.1?
0.1
Let m = -212 - -7211/34. Which is smaller: -1 or m?
-1
Suppose -369 = -4*c - 433. Let y be (-17*1)/(0 - -1). Is y at least as big as c?
False
Suppose -8*a = -13*a - 5. Which is smaller: a or 4/3?
a
Let t = 11 - 67/6. Does 0 = t?
False
Let v = 2 - 2. Let n be (-3)/(-12) + 38/8. Suppose -i + n*i = -4. Which is smaller: v or i?
i
Suppose 0 = -0*z - 2*z - 16. Let j = z + 2. Let a = -15 + 8. Which is smaller: a or j?
a
Suppose 0 = 3*n - n + 2. Let x be (236/78 + -3)*6. Is n greater than x?
False
Let w be ((-3)/(-4))/(6/(-96)). Let m be (w/(-9))/(2/(-6)). Is m smaller than -3?
True
Suppose 0 = -4*m + m + 12. Let i(l) = l - 4. Let d be i(m). Let j be (8/12)/(-1 + 0). Which is smaller: j or d?
j
Let o = -4.6 - -1. Let f = o + 4. Let g = f + -0.3. Is -2/5 at most g?
True
Suppose -25*r + 28*r = -12. Let s(f) = -f**3 + 3*f**2 - 4. Let g be s(3). Is g > r?
False
Let q be (-2)/7 - 26/105. Which is greater: q or 1?
1
Suppose -4*u - 2*s - 22 = 0, 0*u - 23 = 2*u + 5*s. Is -26/7 <= u?
False
Suppose 0 = 4*k + k. Let w be (-1)/(3/6 - k). Are -7/4 and w nonequal?
True
Let h = 0.2 - 0. Let f = 1.05 + -1. Let r = 0.15 - f. Which is smaller: r or h?
r
Let c = 0.6 - 1.18. Let y = c + 0.08. Is 1/2 >= y?
True
Let m = -1.9 + 2.9. Is -1/3 at least as big as m?
False
Let s be 6/(-4)*(-16)/12. Which is smaller: s or 10?
s
Let a(d) = -d**3 + 12*d**2 + 13*d + 1. Let h be a(13). Suppose 4 = -v + 5*s, 4*v - 1 = -3*s + 6. Is h > v?
False
Suppose -3*w + 119 = -2*w. Suppose -w = -4*j - 7. Let i be j/6 + 6/(-9). Which is bigger: i or 5?
5
Let o = 1796364 + -529926868/295. Let a = 8/59 - o. Do a and -3 have the same value?
False
Let k = 15.1 + -28.9. Let m = k + 14. Let h = 4 + -7. Which is bigger: h or m?
m
Let p = -190 + 189. Do p and -0.003 have the same value?
False
Suppose -34*x = -32*x - 4. Let u = 4/15 - -16/15. Which is greater: x or u?
x
Let f = 8 + -12. Let g be (6/(-3) + 0)*f. Let s be (-6)/g - (-5)/(-20). Which is smaller: s or -2?
-2
Suppose 0*k - 24 = -4*f + k, -2*f = 4*k + 6. Suppose -a - 5*q + 14 = -3*q, -f*q = 4*a - 47. Is 2 greater than a?
False
Let w(u) = u**2 + 7*u. Let a be w(-6). Let h be ((-4)/6)/(a/9). Let x = h - 1. Does 2/3 = x?
False
Suppose 36 = -4*l + 4*j, 38 + 7 = -5*l - 2*j. Let f be 3*1*6/l. Does -5 = f?
False
Let s = -16 + 103/7. Is -1 bigger than s?
True
Suppose -4*v + 13 + 47 = 0. Is 14 smaller than v?
True
Let d be (-1)/4 + 7 + (-705)/108. Let c be 1 - -1 - (1 - 0). Which is bigger: c or d?
c
Let r be (0 + 1/(-3))*-9. Suppose -5*l + 12 + 3 = r*j, -4*j + 20 = 0. Does l = 4?
False
Suppose -i + 0*i + 9 = 0. Let f be i/6 + 2/4. Suppose -2*v = 0, 0 = 2*c - f*v - 2*v - 4. Is c bigger than 2/3?
True
Suppose -2*r - 25 = -r - 4*l, -5*l + 10 = 3*r. Let c(d) be the third derivative of d**4/24 - 5*d**3/6 - d**2. Let p be c(5). Which is greater: p or r?
p
Let c be -1*(1 - 0)*-1. Let s be (-30)/(-14) + (1 - 2). Do s and c have the same value?
False
Let u be 3*(-2)/15*-5. Let k be (1/u)/(3/6). Is -0.01 smaller than k?
True
Let f(k) = -k**2 + 3*k + 5. Let m be f(4). Let q = 19 - 19. Which is smaller: q or m?
q
Let x(m) = 4*m. Let d be x(5). Let g be 1/4 - (-3)/d. Is 0 less than g?
True
Let r be (3/(-9))/((-2)/186). Let q = r + -16. Suppose -3*d - 4*f - q = 0, -4*d - 19 = 2*f + 3*f. Which is bigger: 0 or d?
0
Let y = 154 + -122. Is y at least 32?
True
Let f be (2/6)/((-2)/(-30)). Let p = -423 + 428. Is p at most f?
True
Let t be (-3)/((-1)/(4/(-6))). Let u be 26/10 - t/5. Do u and 4 have the same value?
False
Let p(a) = a**2 - 4*a. Let x be p(4). Let u = 8 + -6. Is u bigger than x?
True
Let m = 1150 + -438152/381. Let w = -784/4191 - m. Is w > 0?
False
Let k(b) = b**2. Let f be k(0). Suppose 12 = -4*t - f. Let m = 8/3 + t. Is 1 not equal to m?
True
Let i = -151 + 226. Let r = 147/2 - i. Do -1 and r have the same value?
False
Let j be 4/(-26) + 0/(-1). Let c be 6/(-3) - (-1 + -5). Let a = c - 4. Which is bigger: a or j?
a
Let j = -70 + 78. Which is bigger: 1 or j?
j
Let q be 2/(-8) - (-601)/4. Suppose y + 4*w = 6*y + q, 3*w = -3*y - 63. Let z be -6 + 3 + y/(-8). Is -1 smaller than z?
True
Suppose -19 - 1 = 2*r. Let g = -10 - r. Which is smaller: g or 2?
g
Let s = -128 + 133. Is 21/4 less than s?
False
Let a = -13 - -11. Let w be (a - -2) + 6/(-15). Which is smaller: 0 or w?
w
Let j be 10 - 0 - 4 - 3. Let d be (-3 - -7 - 0) + j. Is d equal to 8?
False
Let v be 8/(-6) + 1/3. Let w be (6 - 5)*2/20. Is v at most w?
True
Let s = 2/83 + 555/1079. Is s smaller than 1?
True
Let b be (-4)/((-8)/18) - -2. Let c = 3 + b. Let d be 24/14 + 4/c. Is 1 equal to d?
False
Let k = 79 + -90. Which is smaller: -1 or k?
k
Let n = -19 + 14. Which is smaller: -6 or n?
-6
Let k = 19 + -35. Let n = k - -13. Which is bigger: n or 2/7?
2/7
Let m = 8847/64 + 