se 11 = -5*o - b. Let q be o/8*(-2)/6. Which is smaller: q or -1?
-1
Suppose 15*g = 14*g - 4. Which is bigger: g or -1?
-1
Let i(m) = m - 25. Let o be i(17). Let t be 22/o + (-3)/(-4). Let v = 0 - 0. Is v less than t?
False
Let j = 0.05 + 1.95. Let f = j + 2. Is f less than -2?
False
Let l be (1 - -1) + -4 + (-498)/(-246). Which is greater: -1 or l?
l
Suppose -6*c - 4*c - 80 = 0. Which is smaller: c or -6?
c
Suppose -4 = z - 3. Let s = z - -1. Let y be 0 + 2 + 13/(-5). Which is smaller: y or s?
y
Suppose -2*w + 252 = -6*w. Let k be (-1)/21 + 18/w. Which is bigger: k or 0.1?
0.1
Suppose -6*c = -4*c - 30. Is c less than 15?
False
Suppose -10*o - 474 - 236 = 0. Is o < -71?
False
Let o = 8.9 + -14. Let i = -11 + 6. Let m = i - o. Which is smaller: m or 3?
m
Let l = -16 + 35. Which is smaller: l or 1?
1
Let i = -10123/29 - -349. Are i and 0 equal?
False
Let u = 31 + -43. Which is smaller: -13 or u?
-13
Let q be 4/(3 + 34/(-10)). Let a = q - -11. Let c = -1 - 0. Is a >= c?
True
Let l be ((-6)/(-35))/(3/40). Let u = -675/14 + 48. Let o = l - u. Is o > 1?
True
Let v be 14*(52/8 + -3). Which is smaller: 50 or v?
v
Let n be 5/((-15)/(-2)) + 33/(-9). Is n <= 0.6?
True
Suppose -9 = 2*t + t. Let h be 22/(-12) + 2/6. Is t > h?
False
Let m = -5 + 9. Suppose -7 = -m*n - 3. Is 1/5 smaller than n?
True
Let k be (12/1)/4 - -6. Is 9 smaller than k?
False
Let j = 2/7139 - -85634/121363. Which is greater: 2 or j?
2
Let t = -16.9 - -17. Is t > 0.01?
True
Let v be 4*(-2 - (-5)/2). Suppose 5*p = v*p + n + 2, -3*n = -p + 14. Is p < -6/11?
True
Let r(z) = -6*z - 7. Let d be r(-5). Let n = d + -112/5. Which is smaller: 0 or n?
0
Let t = 20 + -20.26. Is t at most as big as 0.1?
True
Let x = -0.11 + 5.11. Let i = -5 + x. Let a = -1 - -1.2. Which is smaller: i or a?
i
Let n = 0.3 + -0.5. Let h = 18 - 31. Let i = h - -12.8. Are i and n nonequal?
False
Let z be (2 + -2)/((-3)/3). Suppose -3*b - 1 = -4*b. Which is smaller: z or b?
z
Suppose 3*u + 4 = -20. Suppose -4*j - 3*s - 34 = 0, -s - 18 = -j + 3*j. Is u at least j?
True
Let w be 115/(-2)*(-8)/70. Let f = 258/35 - w. Which is smaller: f or 0?
0
Let g(t) be the third derivative of -t**6/120 - t**5/15 - 5*t**4/24 - t**3/3 + t**2. Let k be g(-3). Let x be (-6)/(1*-2) + 0. Is x at most k?
True
Suppose -3*m - 5*x = -34, 32 = 5*m + 4*x - 16. Let r be (-1)/(m/(-6) + 1). Suppose -2*n = -2*k + n + 9, 15 = r*k - 5*n. Is 3 greater than k?
True
Let y be 12/(-9)*(-3)/22. Which is bigger: -2 or y?
y
Let c = 13 + -16. Which is bigger: 0.06 or c?
0.06
Let n = -13 - -23. Suppose 0 = -5*y - n, -4*b - 1 + 31 = -3*y. Is b not equal to 0.1?
True
Let m(u) = -6*u + 156. Let c be m(0). Are 155 and c nonequal?
True
Let i(g) = -1 - 4 + 6 - g. Let y be i(0). Let k be (-16)/108*(-2 - 1). Is y at least as big as k?
True
Let g be ((-2)/(-3))/((-10)/(-15)). Let v(k) = -3*k + 1. Let f be v(g). Let j = 1 + f. Which is smaller: -2 or j?
-2
Let y be 0/((3 - 9)/(-3)). Let l be 1/(y - (3 + -2)). Let k = -53/423 + 2/141. Which is smaller: k or l?
l
Let x = 14 - -10. Let c = x - 24.07. Let w = -1.9 - -2. Is c bigger than w?
False
Let h = -0.3 + -0.5. Which is bigger: -2/3 or h?
-2/3
Let w = -2 - -3. Let j be ((-12)/(-10))/(6/(-15)). Let k be (-2)/j - (-80)/(-102). Is k not equal to w?
True
Let b = -25/3 + 205/21. Is b > 1?
True
Let g(s) = -3*s - 1. Let j be g(-1). Which is greater: j or 4/5?
j
Let q = -13 - -14. Suppose -5*m + 1 = -4*m. Is m <= q?
True
Let x = -11 + 11. Suppose x = 2*i + 4 - 0. Let n = -109 + 542/5. Is i at least as big as n?
False
Let g be ((-3)/(-22))/((-174)/(-8)). Let t = -676/6061 + g. Which is bigger: t or 0?
0
Let h(x) = x**3 - 9*x**2 + 9*x - 3. Let b be h(8). Suppose -2*k = 3*k + 2*q - 30, b*q - 33 = -2*k. Is k >= 2?
True
Let d be ((-6)/5)/((-21)/(-3510)). Let y = 1513/7 + d. Let z = 16 - y. Which is greater: 1 or z?
1
Suppose -2*d - 2*d = -8. Suppose a - 5 = 0, 7*s - 4*s + 2*a - 13 = 0. Let g = d - s. Does -2/21 = g?
False
Suppose 11*k - 4*k = 0. Are 2/101 and k non-equal?
True
Let i be 3*1/(9/6). Let y be 12/(-6) + (5 - i). Is 1/8 not equal to y?
True
Let k = 22 - 18. Suppose 0 = 3*b + k + 2. Which is smaller: -1 or b?
b
Let n be -1*1*(1 - 3). Let j = -2 - -2. Let w be j + -2 + (3 - 0). Is n less than w?
False
Suppose 5*x - 15 = -5*p, 5*x - 21 = -2*p - 6. Suppose p*q = -2*q. Which is greater: q or 1/6?
1/6
Let i(c) = c**2 - 3*c + 1. Let l be i(4). Let h be -2 - ((-22)/l)/2. Which is greater: h or 1?
1
Let h = -4 - -3. Let z(a) = a**2 + 4*a - 4. Suppose -2*b = 5 + 5. Let i be z(b). Which is greater: i or h?
i
Let r = -0.18 - 8.82. Let i = 10 + r. Is i at most -3?
False
Let z(t) = -5*t + 27. Let k be z(5). Which is smaller: 0 or k?
0
Let r(o) = -2*o**2 - 2*o - 588. Let q be r(0). Let c be ((-3)/2)/(63/q). Is 15 less than c?
False
Let f = -6 - -1. Let y(g) = g**3 - 9*g**2 + 2*g. Let q be y(0). Is f at least as big as q?
False
Let c be ((-12)/10)/(189/70). Is 2 at least as big as c?
True
Let t = 34 + -8. Are -0.1 and t unequal?
True
Let y be ((-1)/(-3))/((-2)/12). Is -5 at most as big as y?
True
Let f = -6 - -8. Suppose 0 = 4*b - f*a + 6 + 2, 2*a - 8 = 2*b. Which is greater: 7/6 or b?
7/6
Suppose -8 = -5*m + 4*m. Suppose 0*c = 2*c - m. Suppose n - 5*u = -14, -3*u + 3 = -c*n - 2. Is 2 smaller than n?
False
Let c = -6 + 6. Which is greater: 2/7 or c?
2/7
Let n = -703/246 - -42/41. Is n at least as big as -2?
True
Let a = -24 - -40. Let i = -22 + a. Is i less than -6?
False
Let a be (-22)/(-12) - 9/27. Let u = a + -1. Which is bigger: u or 1?
1
Let v be 2/(-5)*80/(-2). Let j be v/(-40) + (-38)/(-70). Let z = 0 - 1. Is j < z?
False
Let q(k) = k**3 + k**2 - 4*k - 3. Let v be q(-2). Suppose -v = -4*b - 21. Let l = -5 - b. Which is smaller: l or 3/7?
l
Let c be (-9)/(-21) + (-198)/21. Is -9 at most c?
True
Let n = -7.1 + 36.1. Which is smaller: n or 2?
2
Suppose 43 - 33 = 2*a. Which is bigger: a or 2?
a
Let l(i) = -i + 10. Let b be l(8). Suppose 3 = b*q - 3*q. Is -2 greater than q?
True
Let p(v) = 2*v - 9. Let o be p(8). Is o > 9?
False
Let a be 99/(-44) + 1*2. Is 0 bigger than a?
True
Let f(a) be the second derivative of a**5/20 + 7*a**4/12 - a**3/6 - 3*a**2 - 2*a. Let k = -21 - -14. Let q be f(k). Is q at least 1?
True
Let x(g) = g**2 - 5*g + 4. Let w be x(4). Suppose r - 8 = 2*v, w*r = -4*v - r - 28. Which is smaller: -5 or v?
v
Let p = 1/19 + -24/95. Which is bigger: 1 or p?
1
Let f = -5/14 + 3/28. Suppose -k - 1 = 5*s + 3, 5*s = -5*k. Is s at least as big as f?
False
Suppose 5*i - 6*i = 0. Do 2/67 and i have the same value?
False
Let u = -23 + 23. Is 0 != u?
False
Suppose r = 4*r + 3. Let w be (2/(-36))/(r/(-2)). Which is greater: w or 0.1?
0.1
Let f = -7 + 7. Suppose -2*p + z = -4*z - 9, -2*p + 2*z + 6 = f. Is p greater than 10/7?
True
Let g be (-2)/(-2)*(-2)/26. Let i = -17 - -18. Is g at least i?
False
Suppose 5*s - s = 0. Let c be 32/14*1 - 2. Which is smaller: s or c?
s
Let m(t) = 8*t - 1. Suppose -3*k - 10 = 2*k. Let g be m(k). Is g >= -16?
False
Let n = 0.02 - -0.28. Let w = n - -0.7. Let c = 53/5 - 11. Is c smaller than w?
True
Let t = -10 + 8. Does -7/5 = t?
False
Let o = 0.3 - -5.7. Let y = o - 6. Which is greater: 1/8 or y?
1/8
Let c be 3/9 - 22/48. Suppose 0 = z - 8 + 7. Which is bigger: z or c?
z
Let b(z) = -1775*z - 1. Let n be b(-1). Let g be n/2860 + 4/(-22). Let l = 1/26 - g. Is l equal to -1?
False
Suppose -2*l + 5*u = u - 18, 3*u - 45 = -3*l. Suppose 0 = -0*z + 5*z. Suppose -3*n - l = -z*n - 4*m, -4*n + m = 0. Is n greater than -0.2?
True
Let i(o) = o**2 - 4*o - 4. Let p be i(5). Let w be -6*(p + (-4)/3). Let j be w + (0 - (7 + -2)). Which is smaller: j or 1?
j
Let c(g) = 14*g**3 + g**2 + g - 1. Let w be c(1). Let d = -11 + w. Are d and 4 nonequal?
False
Let y = 1292 - 19388/15. Which is bigger: y or -2?
y
Suppose u = 2*u + 6. Let m be u/5*(-2)/30. Which is smaller: m or -1?
-1
Let q be (-926)/(-16) + (1/8)/1. Do 2 and q have different values?
True
Let s = -6 + 8. Suppose -2*r + 0*w + 32 = s*w, -w + 2 = 0. Let c be r/189*(-1 - 5). Are 1 and c nonequal?
True
Let a = -2 - -3.4. Let g = a + -2.4. Let p = 0 - -0.1. Which is greater: g or p?
p
Let v = -7 - -6. Which is greater: -1/13 or v?
-1/13
Suppose 0 = s - 6*s + 10. Is s != 3?
True
Let n = -193/5 - -39. Let p = -0.2 - -1.2. Is p greater than or equal to n?
True
Suppo