 -1 + -1. Are b and r nonequal?
True
Let a(g) = 8*g**3 + g**2 - 5*g - 2. Let z be a(-3). Let c = -2136/11 - z. Which is smaller: 0.1 or c?
c
Suppose -j = 3*j - 76. Is j at most as big as 18?
False
Let z = 18 + -20. Is z greater than or equal to 0?
False
Let j = 61 - 61. Is j not equal to -2/67?
True
Let a = -28 + 98. Suppose a = -0*o + 5*o. Let l be (-76)/(-28) + 4/o. Is l smaller than 4?
True
Suppose 0 = -q + 4*m + 21, 4*q + 6 = 3*m + 25. Which is smaller: q or -5/14?
-5/14
Let z be (-4)/(-6) + (-70)/15. Let j be ((-1)/3)/(4/(-3)). Is j >= z?
True
Suppose -2*t + 3*t - 1 = 0. Let l be (-1)/(-1) - 18/15. Is l less than t?
True
Let g = 613/406 + -2/203. Is g bigger than 8?
False
Suppose 0 = -z + 1 + 5. Let m be (-4)/z - (-16)/6. Suppose 0 = -m*s + 5 - 3. Which is greater: 0 or s?
s
Let n = 21 - 18. Let v be (8/(-12))/(n/(-24)). Which is greater: v or 6?
6
Suppose -y + 312 = -3*y. Let s be y/(-75) - 4/2. Which is bigger: 1 or s?
1
Let y = 5.85 - 6. Let p = -0.15 + y. Let s = 1 + -1. Which is smaller: p or s?
p
Let l = -83/132 + -4/33. Suppose 6*q - f + 3 = 4*q, 3*q - 3*f + 6 = 0. Which is smaller: q or l?
q
Let n = -0.3 + 0.3. Let i = 29.1 + -28. Let m = i - 0.8. Is m equal to n?
False
Let q = 7 - 7. Is -2/9 at least as big as q?
False
Let s = -18 - -26. Suppose -4*b = d + 2, -b + 4*d = 3*b - s. Let p = b + 1. Which is greater: -2/13 or p?
p
Let d = -621 + 4338/7. Is d at most as big as 0?
True
Let i(m) = -3*m**3 - 3*m + 2*m**3 - m + 1 - 8*m**2 + 3*m**2. Let s be i(-4). Which is smaller: s or -1?
-1
Let r = 12 + -12. Is r greater than or equal to -2/19?
True
Let q be (-2)/(-2*4/8). Let k be q/(2/3) + -4. Is 1 > k?
True
Let l be (-10)/(-8) + 2/(-8). Let u be l*(-2 - 2/(-2)). Let o be (-1)/11*(3 + -1). Which is bigger: o or u?
o
Let o(b) = b**3 + 4*b**2 - 6*b - 2. Let s be o(-5). Let r = -4 + 7. Does s = r?
True
Let c = 10.7 + -11.7. Is 8 at most as big as c?
False
Let w = 90.83 + -91. Which is bigger: w or 1?
1
Let b(o) = -o**3 + 2*o**2 - o + 2. Let f(x) = 1. Let q(p) = b(p) - 4*f(p). Let i be q(2). Suppose 43*h - 35 = 50*h. Which is smaller: i or h?
h
Suppose -9*a = -4*a + 50. Suppose 4*i + 21 + 15 = 0. Which is smaller: a or i?
a
Let w = 3 + -2.9. Let y = w - 0.1. Let m = 0.1 + y. Are 0.2 and m nonequal?
True
Let m = 18 - 12. Which is smaller: 5 or m?
5
Suppose -3*y + 15 = -0*o - 3*o, 0 = -4*o + y - 5. Let s = -0.924 + -0.076. Is o less than or equal to s?
False
Let n = 10 - 29/3. Let m = 1 + -1. Suppose x + 1 = -m*x. Is n smaller than x?
False
Let n = 39115/6 + -6505. Is 15 equal to n?
False
Suppose 0 = -2*l - 5 - 17. Is l greater than -9?
False
Let c = 10 - 6. Suppose 3*v + 3*h - 3 = 0, 3*h - c*h = -3. Is -2 at most as big as v?
True
Let b(y) = y**3 + y + 4. Let c be b(0). Let f(u) = -u**2 + 10*u - 12. Let m be f(8). Is c greater than m?
False
Let v = -1.7 + 1.7. Is v equal to -6?
False
Let v(f) = -24*f - 12. Let y be v(-12). Let c be 3/4*32/y. Which is bigger: c or -0.1?
c
Let k(u) = -u + 17. Let z be k(13). Suppose 0 = 2*o - z*d + 26, 0*d = 3*o + d + 25. Let i be 3*(o/(-6) - 0). Does i = 5?
False
Let a = -31 - -32. Which is bigger: a or -1?
a
Let c = -16 - -20. Let z(v) = v - 6. Let q be z(c). Suppose -5*u = -0*u. Is u >= q?
True
Suppose 0 = -2*z - 2*z + 3*c + 24, -2*z + c = -12. Let n be (6/4)/((-33)/z). Is 0 less than n?
False
Suppose 0 = -4*c + h + 10, 2*h + 2 = -c - 0*h. Let y be 1/(-15) + c/(-6). Let i = 0.5 + -0.3. Which is smaller: i or y?
y
Let l = 325/22 + -35701/2442. Let f = 1/74 + l. Let m = -11 + 11. Which is smaller: m or f?
m
Let q = 3 + 7. Let h(y) = -y**3 + 2*y**2 + 5*y + 5. Let l be h(3). Is l smaller than q?
False
Let c be (-6)/4*368/(-24). Suppose -7 = -5*t + c. Suppose 4 = -2*h + t. Which is smaller: 3/7 or h?
3/7
Let p(i) = i**3 + i**2 - i + 4. Let c be p(0). Suppose -c*n + 5 = 1. Is 3 smaller than n?
False
Suppose -4*t - 4*o = 44, t - 13 = -t + 5*o. Which is greater: -5 or t?
-5
Let o be (0 + (-5)/(-10))/2. Which is bigger: -1 or o?
o
Let w = 146057/330 + -4844/11. Let o = -12/5 + w. Which is smaller: 0 or o?
o
Let l = -6 + 6. Suppose -n + 3 = -l*n. Which is greater: n or 4?
4
Let m = -277 - -3049/11. Suppose 0 = 3*z - 2*v - 6, -4 = 5*z - 3*v - 13. Which is greater: m or z?
m
Let j(a) = -a**3 - 11*a**2 - 14*a - 10. Let d be j(-10). Let o be 1 + 1*(-143)/d. Let x = o - -25/6. Is x >= 3?
False
Let c = -503/4 + 125. Let g = 68/7 - 326/35. Which is smaller: c or g?
c
Let i be (-10)/(-5) - (1 + -1). Let a be i/(-10) - (-4)/(-5). Which is bigger: a or 0?
0
Let a(v) = -2*v - 1. Let s be a(2). Is -5 less than s?
False
Let t(m) = -m**2 + 7*m - 8. Let x be t(6). Suppose -a + 25 = 4*a. Suppose n + 3 = -a*u, -2*u = -5*n - 6*u - 15. Which is smaller: n or x?
n
Let q be ((-7)/(-1))/(-7) + 1 + 5. Which is smaller: q or 4?
4
Let x = -1 - -2. Suppose 0 + x = y. Let f be ((-2 - -1) + -2)/y. Is -3 at most f?
True
Let q be 2/(-10) - (-2)/10. Let f(k) = -k - 19. Let p be f(-14). Which is smaller: q or p?
p
Suppose 8 = g + 2. Let c be (10/(-6))/(1/9). Let v be 5/c + 5/g. Which is smaller: 2 or v?
v
Suppose 2*b - 7*b + 5 = m, 4*m = b + 62. Let r = 16 - 15.9. Which is smaller: r or m?
r
Let l be (-9)/(-27) + (-16)/(-6). Which is smaller: l or 2?
2
Let r be 446/(-504) - (-4)/(-18). Let t = -6/7 - r. Let h be (-3)/2 - (-24)/48. Is t bigger than h?
True
Let q be (-15)/10*2/(-3). Let x(h) = -h + 2. Let u be x(q). Are 3/5 and u equal?
False
Suppose 27 = 2*t - 0*t + f, -3*t = -5*f - 60. Suppose -16 = -4*a, 2*c + 8 = 5*a - 8. Suppose -c*w - w = -t. Which is bigger: 2 or w?
w
Let p = -22/13 - -229/143. Suppose -5*i - 20 = -4*m, 3*i - 5*m + 20 = -m. Suppose -2*u = -i*u. Which is greater: p or u?
u
Let z = 71 - 87. Is -16 less than z?
False
Let j = 4702/11 - 428. Let x = -3 + 6. Let t = 2.9 - x. Is t greater than or equal to j?
True
Suppose -4*c + 6 - 14 = 0. Let b be 1/3*4/2. Which is greater: b or c?
b
Let a = 36 + -36.1. Which is greater: a or 4/15?
4/15
Let u(k) = -5*k**2 - 3*k + 11. Let j(s) = 3*s**2 + 2*s - 7. Let h(i) = 8*j(i) + 5*u(i). Let q be h(1). Which is smaller: -4/3 or q?
-4/3
Suppose -x + j = -2, 4 = -3*x - 2*j - 0*j. Is x less than 2?
True
Suppose 3*l + l + 9*l = 0. Let a be (-3 - -1 - -1)*0. Is a != l?
False
Suppose -2*m - 5*f = -3*f + 6, -f = -4*m + 3. Which is smaller: -1/9 or m?
-1/9
Suppose 5*l + 1 - 1 = 0. Let k be (-4)/(-14) + (-2)/7. Are l and k equal?
True
Suppose r = -5*n + 2, n - 2*r = -4*r - 5. Let d = 145 - 1303/9. Is n at most d?
False
Suppose 37*t = 43*t. Do t and 7/5 have different values?
True
Let f be 72/6 - -3 - (0 - -4). Let v(g) = -3*g - 2. Let d be v(-4). Is f < d?
False
Let c(p) = -p**3 - 5*p**2 - 5*p - 2. Let a be c(-4). Suppose a = 2*h - h. Suppose o + h = 3. Which is smaller: o or -0.3?
-0.3
Let b be 0/(-5) + (-2)/(-2). Let d = 116 - 1509/13. Which is smaller: d or b?
d
Suppose 0 = 4*z - 147 - 57. Is z equal to 52?
False
Suppose -2*r - 5*n = 3*r + 25, -2*n - 5 = -3*r. Let g be (-4)/(-6)*9/(-6). Is g at most as big as r?
True
Let o = -7 - -7.06. Let x be (15/4 - 3)/(2 + -5). Which is smaller: x or o?
x
Let w = 0.05 - -0.25. Let g = w - 0.2. Is g at least as big as -7?
True
Suppose 4*w - 3 = w. Let q be (-3)/(-2 + -1 + 2). Suppose 0 = y - 5*s + q, -5*s = -4*y - 4 + 7. Which is greater: w or y?
y
Let t(i) = 2*i**2 - 5*i + 1. Let f be t(4). Which is smaller: f or -4?
-4
Let d = -5 + 4.88. Let n = d - -0.06. Suppose 0 = -2*s + 2, 0 = b - 5*s - 2 + 8. Which is smaller: b or n?
b
Suppose 6*r - 10 = 20. Is r at least as big as 7?
False
Let f = 1059/7 - 151. Let d(a) = -a**2 - 3*a - 2. Let r be d(-2). Suppose w - 6 = -3*s - 0*w, -4*s + 3*w - 5 = r. Is f bigger than s?
False
Let c(a) = a**3 - 3*a**2 - 4*a. Let j be c(4). Let w = 26 + -12. Let t be -2 - (1 + (-50)/w). Which is smaller: t or j?
j
Suppose -3*l + 6 = 3. Is 2/17 at most as big as l?
True
Let i = -4 - -2. Is -3 != i?
True
Let i(f) = f**3 - f**2 + 5. Let g be i(0). Let p(l) = -l**2 + 6*l - 7. Let q be p(g). Let n be q - (33/12)/(-1). Does n = 1?
False
Let k = 4 + -6. Let p = -0.7 - -6.7. Let c = p - 6.2. Is k greater than or equal to c?
False
Let v = -88 + 88.5. Which is bigger: -14 or v?
v
Suppose 0 = 3*v + 2*v. Suppose 3*a - 6 = 3*t, 2*t = 5*a - 8 - 5. Let y be t/(-5) - 108/(-315). Is y equal to v?
False
Suppose 0 = -5*d - 0*d - 65. Is -14 > d?
False
Le