+ u*t - 5 = 10. Is z smaller than 0.1?
True
Let a = 15 + -9. Let p be (-366)/(-54) - 2/(-9). Is a <= p?
True
Suppose 0 = 6*m - 2*m + 5*n + 2, m - 3*n = 8. Let r(b) = b**2 - 23*b - 21. Let i be r(24). Do m and i have the same value?
False
Suppose 0 = 3*w - 0*t - 3*t - 39, -34 = -2*w - 2*t. Suppose -2*d = -2*o - 12, 5*d = 2*o + w + 6. Do o and -1 have the same value?
False
Let r = 4 - 3.9. Let j = 0.07 - r. Let h = 0.13 + j. Are -2 and h equal?
False
Let c(u) = -2 + 4 - 2 - u**2 + 1 - u. Let r be c(2). Which is greater: -4 or r?
-4
Suppose 4*r = -0*r + 12. Suppose 0 = -4*h + 6*h - 8. Which is smaller: r or h?
r
Let g be 3*(-2)/(-3) + 1. Suppose 0 = h - 5*h + 2*z - 30, g*h - z + 22 = 0. Which is bigger: h or -8?
h
Suppose -4*m - 6 = -2. Which is bigger: -1/3 or m?
-1/3
Suppose -3*c - 2*c + x = 14, 3*c = -4*x + 10. Let z(l) = -l**2 - 5*l - 2. Let q be z(-3). Suppose q*r + 3 = -5. Is r at most c?
True
Let b be (-3)/(-6) + (-45)/42. Let h = -3 - -3. Which is smaller: h or b?
b
Let z = 1224/5 - 244. Is z not equal to 0?
True
Let s(k) = k**2 + 1. Let x(h) = -h - 1. Suppose 2*n = -0*n. Let c be x(n). Let r be s(c). Is r not equal to 3?
True
Let w = -1822/275 + 72/11. Let d be (-2)/((-4)/(-1))*0. Which is smaller: w or d?
w
Let g = -22 + 12. Does 1 = g?
False
Let z(y) = -y**3 + y**2 - 1. Let v(i) = i**2 + 6*i - 1. Let h be v(-6). Let b be z(h). Which is bigger: b or 0?
b
Let b = -5.9 + 13.9. Does b = -3?
False
Suppose 5*d + 194 = 39. Let j = d - -92/3. Let r(l) = -l**2 - 5*l + 7. Let z be r(-6). Is z less than j?
False
Suppose c + 2 = 0, c - 17 = x - 5. Let s(g) = -g - 18. Let p be s(-5). Which is smaller: p or x?
x
Let b = 5 + -1. Suppose -b*m = -18 + 2. Is -1 < m?
True
Let a = 12 + -17. Is a at most 2/7?
True
Suppose -2*r - 3*r + 3 = -i, 9 = 5*r + 2*i. Let s = -13793 + 869075/63. Let l = s - 14/9. Which is greater: r or l?
r
Suppose -6*g + g - 4*c = -142, g - 23 = c. Let a be (-4)/(-12)*(g - 2). Suppose n = 4*i - 7, a = 4*n + 3*i - 2. Are n and -2/9 nonequal?
True
Let c = -439.2 - -370. Let r = c + 63. Let f = -6 - r. Which is bigger: -1 or f?
f
Let d = -0.1 + 0.1. Let w = -7 + 9. Which is smaller: d or w?
d
Let l = 0 - 0.6. Let y = l - -0.4. Which is bigger: 1/2 or y?
1/2
Let j = 100 - 127. Does j = -27?
True
Let j = -30 - -52. Let n be j/28 - (-2)/(-4). Suppose 1 = 3*w - 2. Is w smaller than n?
False
Let p = 31/51 + 1/17. Suppose -5*r + 23 = 3. Let k = r + -4. Which is smaller: p or k?
k
Let g = 29/66 + -3/11. Let v(k) = k**2 - k - 2. Let x be v(2). Is g smaller than x?
False
Let n = 5 + -5. Suppose -4*w = -q - q - 38, -4*w + 28 = -4*q. Let s be 3/(2/(w/(-9))). Which is greater: s or n?
n
Suppose -52 = -3*a + 14. Let b = a + -8. Suppose r = 6*g - 5*g - 2, 5*r + g = b. Which is smaller: -1 or r?
-1
Let z = 4 + 0. Let f be 4/(-16) - 1071/z. Let k = f + 2946/11. Is 0 greater than k?
True
Let y = -0.1 + 0.1. Let k = -2/35 + -31/70. Is y > k?
True
Let o(u) = -u**3 + 8*u**2 - 7*u - 5. Let r be o(7). Suppose 3*x + 6 = 5*x. Suppose -3*m - 3 = -x*g, 4 = m + 5*g + 29. Is r at least as big as m?
True
Suppose 0*i - 5*i = 70. Let r be (-14)/3*i/49. Which is bigger: 2 or r?
2
Suppose -26 + 15 = -11*n. Let o be 4/12 + (-5)/(-3). Is n less than o?
True
Let k be 8/(-5) - 4/10. Let p be (2 + k + 0)/(-2). Is p greater than 1/8?
False
Suppose -2*c - 52 = -5*q, -q - 3*c + 6*c = -13. Is q less than 10?
False
Suppose 10 = -10*m + 5*m. Suppose 3*u + 3*f = 4*f, 2*f = 2*u. Let t be 1/m*2*u. Is 3/5 smaller than t?
False
Let t be 15/25*(-1)/3. Which is bigger: t or 0?
0
Let u = -47 - -62. Is 15 greater than or equal to u?
True
Suppose -4*y + 2 = 2*r - 8, -r + y - 1 = 0. Which is greater: r or 5/6?
r
Let y be (1/(-6))/((-4)/54). Which is greater: y or 1?
y
Let j = -19 - -24. Suppose -j = -g + 6*g. Do g and 2/17 have the same value?
False
Let b(m) = 3*m + 3. Let s be b(4). Suppose 3*j + s = -3*d, 5*d - 1 = -j - 18. Which is greater: -3 or j?
j
Let q(l) = 2*l - 8. Let h be q(6). Suppose -4*k - 9 - 4 = 3*t, 0 = 2*k + h*t + 14. Which is smaller: -2 or k?
-2
Suppose 3*i - 4*z - 70 = 0, -i + 4*z + 1 + 9 = 0. Which is bigger: i or 29?
i
Let g be (-2)/5 + -1 + 8/20. Is g <= -4?
False
Let y(l) = l + 1. Let q be y(-1). Suppose q = -0*f + 2*f. Suppose f = 4*w - w. Which is greater: w or -0.3?
w
Let t be (4/45)/(6/(-5)). Is 0 at most as big as t?
False
Let s = 198 - 1383/7. Which is smaller: 3 or s?
s
Suppose 0 = k - 8*k + 7. Which is smaller: k or -1/19?
-1/19
Let g(f) = f**2 + 23*f + 42. Let n be g(-21). Which is greater: -1/124 or n?
n
Let g = 66/13 + -423/91. Let w be (-2)/9 + (-74)/(-252). Let p = w + g. Is p at least as big as -1?
True
Suppose -3*c = -45 - 33. Suppose -4*f = c - 62. Let n be (f/4)/(18/(-12)). Which is smaller: -2 or n?
-2
Let h(k) = -k**3 - 7*k**2 - 6*k + 2. Let n be h(-6). Suppose -8 + 0 = -n*b. Are 2 and b nonequal?
True
Suppose -m = 2*l - 11, 0*m + 4*l - 21 = -m. Let d(h) = -5*h**2 + 2*h - 1. Let b be d(m). Which is smaller: b or -1?
b
Let x = 637/1188 + 1/108. Let u(h) = h**2 + 1. Let q be u(2). Suppose -3*n + q*l + 13 = 3*l, -2*n - l - 3 = 0. Which is bigger: n or x?
n
Suppose -32*a + 34*a - 4 = 0. Which is smaller: a or 11/6?
11/6
Suppose c + 9 = 2*s - s, -2*c = 10. Let m be (-6)/2 + 1 + 8. Suppose 3*k - m*k + 12 = 0. Is s greater than k?
False
Let d = 6 - 6.128. Let w = 0.882 - d. Let s = -0.01 + w. Is 1/3 greater than or equal to s?
False
Let c = 65/196 + -4/49. Is -0.01 < c?
True
Let v = -4 + 5. Suppose v = 3*y + 16. Let h(a) = a**2 + 6*a + 3. Let n be h(y). Do -2 and n have different values?
False
Let w be ((-4)/(-6))/((-2)/(-12)). Let u be (10/w - 1)*2. Suppose 0 = -3*y + 7*y - 3*q - u, -2*y + 5*q - 9 = 0. Is 3 at least as big as y?
True
Suppose 2*t = 3*o - 1, 4*t - 5*o - 3 = -4*o. Is t >= 12/5?
False
Let s = -330531 - -158985267/481. Let i = s - 6/37. Is i > 0?
False
Suppose -3*l = y + 1 - 6, 5*y - 6 = 4*l. Suppose 0*v - 6 = y*v. Let s be v/6 - (-63)/6. Is s less than 9?
False
Suppose -3*m - 3*v + 21 = 0, 5*m + v - 45 = -2. Let w = m - 7. Which is greater: w or 0?
w
Let j(q) = q**3 + q**2 + q + 2. Let p be (1 - 1)/((-3)/3). Let b be j(p). Is 1 greater than or equal to b?
False
Let j = -46 - -36.9. Let x = -9 - j. Which is bigger: 0 or x?
x
Suppose -5*f + 8 = -4*r, 4*r - r = -4*f + 25. Suppose d = -r*d - 16. Let i be (2/d)/((-3)/12). Which is bigger: -1 or i?
i
Let k = -39/140 + -9/28. Let j(q) = q - q**3 + 0*q**2 - 3*q**2 - 2*q - 3. Let v be j(-3). Which is smaller: k or v?
k
Let y = 0.15 + 0.05. Let b = -7 - -5. Which is bigger: b or y?
y
Let c = 0.6 - 1. Let h = 0.4 + c. Is h smaller than -0.2?
False
Let x be (-9)/20*(-2)/6. Let i = 45 + -889/20. Let f = i - x. Which is bigger: 0 or f?
f
Let k(q) = q**2 - 1 + q**3 + 5*q**2 - 6*q + 5. Let m be k(-7). Let j = -4 - m. Is j smaller than 0?
True
Let m be (3/(-9))/(2/30). Is m greater than -3?
False
Let k(u) = -u - 4. Let b be k(-4). Suppose -3*a - 6 = -v + a, 0 = -3*v - 5*a + 1. Suppose -i - 2*h + 1 = 0, 19 = -v*i - 3*i + 2*h. Are b and i equal?
False
Let z = -4 - -2. Let n = 1 + z. Let b = 0.5 + -0.4. Which is greater: n or b?
b
Suppose -4*n - 3 - 1 = 0. Let u be (6/9)/(8/60). Suppose -u*c = -q, -c - 2*q = -4*c. Which is greater: c or n?
c
Let c be 18/(-6) - (-1 - 0). Let t be 2 + 0 + 5/(-2). Which is greater: c or t?
t
Let w = -7 + 6. Is w != -7?
True
Let m be 2/4 + 5/(-2). Let b(o) = o**3 + o + 6. Let a be b(0). Suppose 0 = -q + 3 - a. Is m at most q?
False
Let i(y) = -y**3 + 5*y**2 + 3*y + 8. Let q be i(6). Is q at most -28/3?
True
Suppose 0 = 7*v - 7 - 0. Which is smaller: v or 2/155?
2/155
Suppose -5*q - 7 = -22. Suppose -4*g + 5 = q*v, 6*g - 3*g = -v + 5. Is 1/2 at least g?
False
Suppose -3*c + 2*x = -11, 0 = -c + 4*x + x + 8. Let n be 14/(8 - (c + 1)). Which is bigger: n or 5?
5
Suppose -1 = r + 3*v, 0*v = 3*v. Let h = 9/10 + r. Is 0 at most as big as h?
False
Suppose 0 = 5*q - 4*s + s - 11, 4*s + 13 = 5*q. Is q > -2/13?
True
Let f = 7 - -2. Suppose 5*w = -5*j - 5 - 15, -2*j = 3*w + f. Which is smaller: 0 or j?
j
Let r be -2 - (-1 + (-42)/30). Let a(u) = 0*u + 0*u + 8 + u. Let p be a(-7). Which is greater: r or p?
p
Let k be 4/6 + 28/(-33). Let t = 11.9 + -12. Which is smaller: t or k?
k
Suppose 0 = 2*x - 2*m - 4, 3*m - 2*m = -2*x + 1. Let j = 1/2 - x. Are -2 and j equal?
False
Let c(g) = g + 9 