Let y be ((-4)/(8/14))/(-4 - -3). Is 9 at least y?
True
Suppose -n = 33 - 34. Which is bigger: n or 2/201?
n
Let r = 22 + -16. Let q be (2 + (-13)/r)*2. Are 0 and q equal?
False
Let q = 3 - 1. Suppose q*f = 3*c + 7, 2*c = -0*c - 6. Let a be (-1 - 1) + 7/4. Is a less than or equal to f?
False
Let p = 19 + -39/2. Which is smaller: -1 or p?
-1
Let v be (-16)/28 + (-4)/(-4). Is v greater than -3/2?
True
Let d(m) = m**2 + 8*m + 17. Let u be d(-5). Let r = 0 - 0. Which is greater: u or r?
u
Let h(b) = b**3 - 7*b**2 - 9*b + 10. Let i be h(8). Let z = -7 - -7. Which is bigger: z or i?
i
Let y = -2 - -1. Let q be (y - -4) + 3 + -6. Suppose i - 4*i + 6 = q. Which is greater: 3/2 or i?
i
Let w be (-3)/(-54)*-4 + (-43)/9. Which is smaller: -6 or w?
-6
Let l be ((-3)/(-8))/(11/22). Which is smaller: l or 2?
l
Let g(s) = s**2 + 3*s. Let l be g(-2). Which is bigger: l or 0?
0
Let g = -16 - -19. Let s be (2/(-2))/(-2 + 3). Let w be (1 + -4)*s/g. Which is smaller: 4 or w?
w
Let u be 2/(-8)*(-12 - -16). Let d = 11/21 + -25/168. Which is smaller: u or d?
u
Suppose 5*d - 2 = 3, 0 = 4*w + d - 5. Let k(t) = 2*t - 1. Let a be k(w). Which is smaller: 3/2 or a?
a
Let r = 6 + -10. Let u(j) = 23*j - 280. Let b be u(12). Are b and r equal?
True
Let s(y) = y**3 + 7*y**2 - 6. Let o be s(-7). Let w(z) = -z - 5. Let x be w(o). Let j = -2 + 2. Which is smaller: j or x?
j
Let u(s) = 2*s + 3. Let i be u(-2). Is i less than -2/53?
True
Let p be (-2)/4*4/(-3). Let v = -110 + 47. Let g = -377/6 - v. Do g and p have different values?
True
Let q(d) = -d**3 - 6*d**2 + 7*d + 9. Let f be q(-7). Suppose -i - 2*s + 1 = -f, 3*i = s + 16. Which is bigger: i or 5?
i
Suppose -3*x - 10 = 2*x. Let k = 1 - 6. Let s = -9 - k. Which is bigger: x or s?
x
Let g = 0.4 + -2.4. Suppose 4*c = -3*f - 10, 2*f - 3*f + 18 = -4*c. Which is smaller: f or g?
g
Let v = 6.91 + 0.09. Let u = -78.9 - -86. Let i = v - u. Is i equal to 0.3?
False
Let r be 6/11*(-2)/18. Let y = 3 + -2. Is r at most as big as y?
True
Let s be (0 + -2)*(-3 + 285/100). Is 0.3 smaller than s?
False
Let z = -1/56 - -15/56. Is z less than or equal to -33?
False
Let f = -1 - -2. Let l be (-838)/(-246) - (6 - 3). Let y = l - 3/41. Is f at most y?
False
Let k(y) = -y**3 + y**2 - 2*y + 1. Let d be k(1). Is 0 >= d?
True
Let m = -118 + 121. Which is bigger: m or 1/2?
m
Let b be (-4)/14 - (-12)/42. Suppose b = -4*l - 53 + 13. Let d be 6/l + -2 - -3. Which is greater: d or -1?
d
Let f be (-3)/(-6) + 39/(-6). Let g = -6 + f. Let t be (-5)/9 - 4/g. Is 0 at least t?
True
Suppose l + 4*q - 2 = 0, -5*q - 54 = 5*l - 19. Is 2/3 <= l?
False
Let t be (60/24)/((-10)/(-24)). Do t and 1 have the same value?
False
Let s(k) = k - 2. Let i be s(-8). Let t be (2 - 1)/((-5)/i). Suppose -v = -t*l - 3, -17 = -5*v - 3*l - 2. Is v less than 3?
False
Let v = 106 - 111.1. Let u = -5 - v. Let b = u + 0. Is b greater than or equal to 1/4?
False
Let q = 7 + -6. Which is smaller: -4/13 or q?
-4/13
Let b be (-124)/(-120) + -4 + 3. Which is bigger: b or 0?
b
Let c(p) = -p**2 + 4*p - 4. Let k be c(4). Let d be (-2)/k + (-52)/8. Let m = d + 11/2. Which is smaller: 2 or m?
m
Suppose -3*x + 0*x - 36 = 0. Is -12 greater than x?
False
Suppose -k - 2*k + 3 = 0. Let i be k/4 - 57/(-12). Let p be i*(-2 + 8/10). Is p < -5?
True
Let d = -978/8521 + 4232841115/76689. Let u = d - 55352. Let l = -157 - u. Which is bigger: l or -1?
l
Let c be (-2 - -3)/((-1)/6). Let k be (-9)/6*8/c. Suppose 0*f = -2*f - k. Which is bigger: -1/2 or f?
-1/2
Let m = 4.83 + -12.8. Let y = -8 - m. Let n = y - 0.07. Which is smaller: 1/4 or n?
n
Suppose -2*o + 4*s - 6 = 0, 0*o - 2*o = 2*s - 18. Suppose 10 = -5*z + 3*z. Let t = z + o. Which is smaller: 1/13 or t?
t
Let v be ((-184)/(-40))/(3/5). Let q = v - 8. Which is greater: 0.1 or q?
0.1
Suppose 2*m + 8 = 5*m - d, 20 = -5*m - 5*d. Suppose t - 2 = 1. Is m less than or equal to t?
True
Let u be -10*5*(-8)/(-20). Let c be 48/u - 6/10. Suppose 4*k + 5 = -k. Which is smaller: c or k?
c
Let r = -86/105 + 24/35. Suppose -5*j = -3*j. Which is greater: r or j?
j
Let k be (2/1 + -3)/1. Let u be -4*-2*2/44. Which is greater: u or k?
u
Let g = 14 + -12. Let t = -61 - -24. Let x = t - -113/3. Which is smaller: x or g?
x
Let a(l) = l. Let r(g) = 2*g + 2. Let f(h) = -a(h) + r(h). Let p be f(-5). Let c = -6 - -5. Which is smaller: c or p?
p
Let b(c) = c**3 - 8*c**2 + 7*c + 1. Let s be b(7). Let f(u) = 1 - 2*u**3 + 7*u**2 + 3*u**3 - u**2. Let k be f(-6). Is k >= s?
True
Let m = 0.09 + -0.29. Let y = 456 + -891/2. Let t = -11 + y. Is t bigger than m?
False
Let a be (9/(-384))/(4/(-8)). Do a and 0 have the same value?
False
Suppose -i + 4*i = 15. Are i and 6 nonequal?
True
Let y = -83 - -81. Let k = 7.3 - 7. Which is smaller: k or y?
y
Let q = -2.6 + -0.4. Let r = -2.9 - 0. Let d = r - q. Which is greater: -0.3 or d?
d
Let n = -9 - -7. Let y be (n/(-18))/((-3)/9). Suppose -2*u + 2 + 0 = 0. Is y at least as big as u?
False
Let x be (3/5)/(1/5). Suppose 0 = -q - 4 + x. Let o be ((-1)/(-12)*-2)/1. Which is greater: o or q?
o
Suppose 0 = k - 1. Suppose 0*r - r = -k. Suppose 2 = p + r. Which is smaller: -3/2 or p?
-3/2
Let d(j) = j**3 - 6*j**2 - 7*j - 1. Suppose -13 = -2*s + 1. Let a be d(s). Is a less than -1?
False
Let t be 8 + -6 + 22 + 1 + -1. Is 47/2 greater than or equal to t?
False
Let s = 44.9 + -45. Which is smaller: 4 or s?
s
Let w(b) = -4*b**3 - b**2 + 1. Let f be w(-1). Let s = 2 - 6. Let d = f + s. Which is smaller: -2/5 or d?
-2/5
Suppose q = -0 - 2. Let r be 0 + 1 - 2 - 0. Which is bigger: q or r?
r
Suppose -3*x = -4*t + 13, 6 = 5*x + 1. Suppose 2*s = 2*b - t, -3*s + 2*b - 4 = -0*s. Is s at least as big as 0?
True
Let c(o) = 5*o**3 - 13*o**2 + 14*o - 16. Let m(q) = -4*q**3 + 12*q**2 - 13*q + 15. Let a(k) = -3*c(k) - 4*m(k). Let f be a(8). Which is smaller: f or 5?
f
Suppose 6*w - 76 = 230. Let v be (1 - 1) + w/(-119). Do -1 and v have the same value?
False
Let y be 1428/108 + (-4)/18. Is y less than or equal to 11?
False
Let k = 80/51 - 4/17. Is k greater than or equal to 2?
False
Let d(s) = 2*s**2 - 5*s. Let n be d(5). Suppose n = 4*w + w. Let f be (-3)/(-3)*-2*-2. Which is smaller: w or f?
f
Suppose -c + 0 = -5. Suppose -x - 4 = -c*x. Let j = -12/11 + 80/33. Is j equal to x?
False
Let g = 14 + 1. Which is greater: g or 6?
g
Let k(q) = -q**2 - 2*q. Let g be k(-2). Let j be -1*(3 - (-4)/(-1)). Is g at least as big as j?
False
Let i be 7*-2*4/8. Are -7 and i unequal?
False
Let u(k) = 2*k + 5. Let z be u(-5). Let m = z - -6. Is m smaller than 1/13?
False
Suppose 0 = 3*t - 13 - 8. Suppose -t*x = -3*x. Is 1 less than x?
False
Suppose -4*p + 0*q = 4*q + 8, -3*p + 4*q = -1. Let i be (1 + p)/(-2 - -3). Let s be 14/4*(-2)/(-5). Which is smaller: i or s?
i
Let h = -40 + 39.77. Let v = 0.23 + h. Are v and -1 equal?
False
Let x = 9 + -11. Which is greater: -3 or x?
x
Let t(q) = q**3 - q**2 - q - 5. Let h be t(0). Let v = h + 3. Let d = 49/2 - 25. Which is bigger: v or d?
d
Let z = -2 + 3. Let w = z - -1. Are w and 0 equal?
False
Let x be ((4 - 4)/(-3))/(-2). Which is smaller: -3/17 or x?
-3/17
Suppose 3*g - 2*a = 19, -2*a = 2*g - 3 - 3. Suppose -2*m + g*n - 20 = -1, -5*m = -4*n + 39. Let r = 4 + m. Which is smaller: -3/2 or r?
r
Suppose -5*v = -4*x + 3, -4*v + 2*x - 7*x = 27. Which is bigger: -9/4 or v?
-9/4
Let d(m) = 40*m**2 - 5*m - 4. Let q be d(-1). Which is bigger: q or 42?
42
Let d = 28 - 58/3. Let t = d + -8. Which is bigger: 1 or t?
1
Let d = 14 - 8. Let k = 8 - d. Suppose -26*i + 22*i = -4. Do i and k have different values?
True
Let t = 148 + -1038/7. Suppose 36*q = 30*q - 30. Is q not equal to t?
True
Let b = 0.1 - 0.7. Let s = b + -0.1. Is s smaller than -0.1?
True
Suppose 34 = 5*u + 9. Suppose 4*l = 3*k - 22, k + u*l = 2*l - 10. Suppose 4 = -k*i - 0. Which is smaller: i or -3?
-3
Suppose 3*k - 4*t - 34 = t, 4*t = 3*k - 29. Let i = k - -2. Do 6 and i have the same value?
False
Let v = 44 - 45. Which is smaller: v or 3/11?
v
Suppose -2*v + 30 = 3*v. Suppose 0 = -2*o + 5*o + v. Suppose 2*q = -3*q - 5. Which is smaller: q or o?
o
Let b = 1 + -1. Let z = 15 - 5. Let i = z - 6. Is b smaller than i?
True
Let c be ((-28 - -3) + 1)/5. Is c smaller than -4?
True
Let l = 11288/33 - 342. Which is bigger: -1/3 or l?
l
Suppose -4*q - 4*t - 6 = -2*q, -q - 12 = 5*t. Let d be q/