s s less than or equal to f?
False
Let l = -126 - -125.9. Which is smaller: 184 or l?
l
Let o be -1 + 330 - (-1 - 1). Let n = o - 977/3. Let x = 86/15 - n. Is -1 >= x?
False
Suppose p - 4*t - 1 = 15, -41 = 4*p + 5*t. Let o be 25/(-12) - (-4)/(-6). Which is greater: p or o?
o
Suppose 5*a = 2*a + 15. Suppose -1 = a*w + 4. Do w and -6/5 have different values?
True
Let l = 3419/3 + -1057. Let k = l + -82. Which is bigger: 2 or k?
2
Let x be 2/(-6) - 4/96. Suppose 4*b - 1 - 3 = 0. Is b bigger than x?
True
Let q be (-419)/(-21) + 6/(-21). Let u = q - 20. Is -2 <= u?
True
Let r be ((-5)/5)/((-11)/(-2)). Is r >= -1?
True
Let i(z) = z**3 - z + 1. Let c be i(-2). Is -4 less than c?
False
Let l(h) = 3*h**3 - 10*h**2 + 3*h - 15. Let z(m) = 13*m**3 - 40*m**2 + 13*m - 61. Let y(i) = 9*l(i) - 2*z(i). Let f be y(10). Is f > -4?
True
Let z be 1 + 26 + (3 - 3). Suppose 5*a + 3*c = -z - 6, 5*c - 13 = 3*a. Let t be -3 + -1 + 1/(-1). Which is smaller: t or a?
a
Let c(a) = a**3 + 13*a**2 - a + 4. Let o be c(-13). Which is smaller: 18 or o?
o
Let w = -0.2 - -0.2. Let n = 1.98 - -0.02. Let u = -2.1 + n. Which is greater: u or w?
w
Let h = -5 + -1. Let j = -8 - h. Let g = -0.11 - -0.01. Which is smaller: j or g?
j
Suppose 4*r + 1132 = 8*r. Let p = r + -1693/6. Do p and 0 have the same value?
False
Let q be 0/(5/((-10)/4)). Suppose 0 = -n - 5*v - 8, -3*n - 3*v = -q*v. Is 3 less than n?
False
Let u = 2 + -1. Let w be 40/(-50) + (4/5 - 1). Let g be u/w*(2 - 1). Which is bigger: 0 or g?
0
Let t = 1.3 - 1.3. Let u = 19 + -17. Is t greater than or equal to u?
False
Let i be 0 - (-2 - (-1 - 0)). Suppose -3*k + 0*l + l + 2 = 0, 0 = 5*k + 5*l + 30. Let x be -5 + (k/i - -3). Which is greater: x or -2?
-2
Let r = -0.62 - -1.62. Which is greater: -0.004 or r?
r
Let y(u) = 3*u**2 - 6*u - 7. Let i be y(-6). Let v = 19115/7 - 2594. Let j = i - v. Is j greater than -1?
True
Let n = 3/8 - -9/8. Suppose 18 = -3*m + 3*t, 0 = -0*m - 2*m - 2*t + 8. Let y = 0 - m. Which is greater: n or y?
n
Let k = -9 - -17. Let b be 4*((-20)/k + 2). Is -1 at least b?
True
Let z be 3*(-3)/(-12)*-4. Let s be (-7)/z*(-4)/(-14). Which is smaller: 1 or s?
s
Suppose 1 + 2 = q. Is 7 smaller than q?
False
Let m = 26.76 + -27. Which is smaller: m or 0?
m
Let h = 12/13 - 21/65. Let u = 287 - 285. Is u >= h?
True
Let d(q) = q**3 - 6*q**2 - 4*q + 20. Let s be d(6). Which is greater: s or -7?
s
Suppose 0 = h + 2*d - 30, 6*h = h + 2*d + 102. Is h > 20?
True
Let j = 16 + -4. Let r(n) = n**3 - 21*n**2 + 23*n - 47. Let z be r(20). Are z and j non-equal?
True
Suppose -38 = 9*w + 7. Which is bigger: w or -11/3?
-11/3
Let h = 712/45 - 78/5. Are h and -1 unequal?
True
Let r = -10 - -15. Let n(j) = j**3 + 2*j**2 - 3*j - 2. Let p be n(-2). Suppose 0 = d - r*y - 5, 5*y + 2 = p*d - 3. Is d greater than or equal to -1?
True
Suppose 0 = -2*x + 6*x. Suppose 0 = -5*y - m + 1, m + 2*m = -4*y - 8. Which is smaller: y or x?
x
Suppose 3*z = 2*z - 1. Suppose 3*l = -w, w - 5*l = -2*w. Which is smaller: w or z?
z
Let r be (1/5)/(18/135). Which is smaller: 1 or r?
1
Let j = -4 + 10. Let n be (-6)/9*3/(-2). Suppose -3*f = 3*r - j, -r = -6*r + 4*f + n. Do 1 and r have the same value?
True
Let j = -5 + 5. Which is smaller: -3 or j?
-3
Let z = -22 - -22. Suppose 0 = 3*i + 3*w - 3, i + 1 = 2*w + 5. Is z < i?
True
Let x be (-4)/(-10) - 204/60. Let y = -4 - x. Which is smaller: y or 7?
y
Let s(h) = -h**2 + h + 2. Let f be s(2). Let z = 9 + 51. Let r be 0 + z/(-33) + 2. Which is bigger: f or r?
r
Let d be (-5*(-1 - 0))/(-1 - 0). Which is smaller: d or -4?
d
Let n = -1/9 - -11/18. Let h be (8/3)/(2/6). Suppose 0 = b + 3*b + 16, -5*d + 2*b = -h. Which is bigger: d or n?
n
Let n(o) = -o + 5. Let l be n(2). Let x be l/15 - 6/5. Which is greater: 1/13 or x?
1/13
Suppose -1 + 2 = r. Suppose 0*x - r = x. Which is smaller: -2 or x?
-2
Let x = 68 - 37. Is x < 29?
False
Let a be 4/10 + 124/(-10). Let l be 3/a*2/(-3). Let t = 1 + -2. Is l greater than t?
True
Let p = -8 + 10. Which is bigger: 0.08 or p?
p
Let y(z) = z**2 - 7*z - 11. Let h be y(8). Let c be (-1)/4 - h/(-20). Let w(p) = -2*p - 3. Let t be w(-2). Which is smaller: c or t?
c
Suppose 0*o + 3*o + 12 = 0. Let g = o + 8. Is g at least 3?
True
Let p = -5/3 - -41/21. Are 1 and p non-equal?
True
Suppose 0 = d - 2*y + 3, -2*y = -5*d - 0 + 1. Let c be (3 + d)/(-2 + 0). Let w be (-13)/3 - c/6. Which is greater: w or 0.1?
0.1
Let p be 2/4 - 3/(-6). Let y = -158 - -178. Which is smaller: y or p?
p
Let w be 12*(1 - (0 - 1)). Which is smaller: 25 or w?
w
Suppose -2*m + 3*u - 4 = 2*u, 0 = -5*m - u - 3. Which is smaller: 15 or m?
m
Let t = 123 - 123. Which is greater: t or 2/35?
2/35
Let o = 3 - 3. Let t be 0/((1 - o)/1). Suppose t = p + 3*p. Is 1/3 greater than or equal to p?
True
Let v = 72 - 52. Is v < 18?
False
Let b(k) = k**3 - 8*k**2 - 1. Let n(q) = -q**3 + 10*q**2 + 2*q - 12. Let g be n(10). Let s be b(g). Is s less than 4/15?
True
Let f = 13 - 9. Let d = 1 + 1. Let k be f*(-3)/60*d. Which is greater: 1 or k?
1
Let b = -0.027 + 0.327. Which is smaller: b or 4?
b
Let p be 1*((-2)/(-8))/((-3)/(-156)). Is 9 less than or equal to p?
True
Let s = 19 - 0. Let x = s + -27. Which is greater: 1/3 or x?
1/3
Let f = -9 - -4. Let d(q) = -q**2 - 6*q - 6. Let z be d(f). Which is smaller: z or -4/3?
-4/3
Let l be 6/((-3)/6*3). Is 1 greater than l?
True
Let n be (-4)/18 + 84/135. Let x(z) = -z**3 - z**2 + 2*z + 2. Let g be x(-1). Is g less than n?
True
Let s = -4.766 + -0.234. Let n = -1 - -2. Let y be 6/4 - (n + 0). Is y != s?
True
Let s = 2 - -4. Let a = -6 + s. Is a less than 0.01?
True
Let f = 5 - 9. Let b be (15/2)/5*f. Let r be ((-1)/(-2))/(b/4). Are -1/2 and r nonequal?
True
Suppose 2*i - 4*i - 28 = 4*d, -2*d = 5*i + 22. Suppose 4 = v + 3*p, -2*p + 16 = v + 3*v. Let a = v + d. Which is greater: -1 or a?
-1
Suppose -3*r + 70 = 4*u + 29, 2*r - 34 = 4*u. Which is smaller: r or 16?
r
Let q = 1.7 - 1.4. Let j = 11.9 + -13. Let a = 1 + j. Is q <= a?
False
Suppose 8 = 5*o - o + 5*g, 0 = -5*o - 2*g + 10. Suppose -2*u - 4 = -o. Are 1 and u unequal?
True
Let i = 4/41 + -134/533. Is 13 less than i?
False
Suppose -41 = -4*i - 5*w, -5*i - 2 = -5*w + 3. Let p be ((-9)/(-4))/((-1)/i). Let b be -1 - (-1 - 6/p). Which is smaller: b or -2?
-2
Let r = -9 - -4. Let m(t) = t + 7. Let y be m(r). Suppose -15 = 3*v + y*v. Which is greater: -2 or v?
-2
Suppose -2*y + 2*j + j = -27, -5*j = 25. Let c be ((-4)/(-35))/(y/15). Let v = -4.1 - -4. Is c less than v?
False
Let p be -5*(37/35 - 1). Let z = 8 - 6. Suppose -z = -2*q - 4. Which is smaller: p or q?
q
Let c = -7 - 3. Let p = c + 7. Which is smaller: p or -1?
p
Let u = 319/85 + -40/17. Does 1 = u?
False
Let q be (-16)/(-6) - (-1)/(-1). Which is greater: 1 or q?
q
Let y = 0 + 0. Suppose y = -4*t - 1 - 3. Let d(p) = -p**2 - 12*p - 21. Let m be d(-10). Does t = m?
True
Let d = 2/3427 - 311875/30843. Let m = d - -9. Does 0 = m?
False
Let b be (20/(-15))/((-1)/3). Suppose -2*x + b = -6. Which is smaller: x or 2?
2
Suppose 0*p = -3*p - 2*b + 8, 0 = 5*p - 5*b - 5. Is 5/9 not equal to p?
True
Let o be (4 - 1)*12/(-54). Which is bigger: 3 or o?
3
Suppose 5*s + 19 - 49 = 0. Do s and 6 have the same value?
True
Let j = 0 - -1. Let k = 112.53 - 113. Let s = k + 0.07. Which is smaller: j or s?
s
Let p = -7.88 + 8. Let z = p - 0.82. Are -0.1 and z non-equal?
True
Suppose 4*m + 15 = -57. Does m = -18?
True
Let y(f) = 62*f + 2. Let h be y(-4). Let n = h - -4180/17. Is n at least 0?
False
Let i(p) = -2*p + 0 - p**2 + 2*p + p + 2. Let r be i(-1). Is r less than -2/13?
False
Suppose 0 = 5*c - 5. Does -8 = c?
False
Let n = 1.1 + 1.7. Let c = -3 + n. Let y = -0.7 + 0.6. Which is smaller: c or y?
c
Suppose 2*f = 5*f. Let g be (-6 + 6)/(-1 - f). Let r(a) = -a**2 - 2. Let y be r(g). Which is greater: -2/3 or y?
-2/3
Suppose -9 = -4*x - x + 2*p, 0 = x + 5*p + 9. Does x = -10?
False
Let n be 3/(-1)*8/48. Is 0.4 != n?
True
Let m be (-2)/(-13) - 0 - (-63)/(-156). Let b be 2 + (-2)/(1 + 0). Is b at most m?
False
Let d = -13 - -22. Suppose 4*w = w - d. Let o be ((-2)/8)/(w/4). Which is smaller: -1 or o?
-1
Let l(t) = 24 - t**2 - 2*t + 8*t - 33. Let x be l(4). Is 3/14 >= x?
True
Let o = 1961/13 - 151. Is o greater than or equal to 0.3?
False
Let y(p) = p + 0*p + 0 - 3. Let z be y(5). Let r(w) = -w**3 + 3*w**2 - 3