s 3 greater than or equal to r?
True
Let r be 25/(-10)*(-8)/(-10). Let i = r - -1. Which is smaller: i or -3?
-3
Suppose l - u = 6, -4*l + 2*u + 17 = -9. Let r = 11 - 8. Suppose 10 = n + 2*n - 2*m, 3*n = r*m + 6. Is l <= n?
False
Let l(n) = -n**2 - 7*n + 8. Suppose -2*w + 3*w + 8 = 0. Let t be l(w). Is -2 smaller than t?
True
Let p = -21.12 + 21. Let r = 0.22 + p. Is r bigger than 0.3?
False
Let t be ((-15)/12)/((-2)/8). Suppose 10*h - t*h - 5 = 0. Let p be (h + -2)/(-1 - 2). Are 1 and p non-equal?
True
Let h be (250 - 1)*21/(-36). Let a(z) = -z**3 + 10*z**2 + 5*z - 6. Let c be a(5). Let u = h + c. Which is smaller: u or 0?
u
Let d = -65 + 64. Let r = -16.06 - -0.06. Is d less than r?
False
Suppose 0 = -9*a + 4*a - 10. Which is bigger: a or -4?
a
Suppose -2*p = p. Suppose p = r + 2*r. Which is smaller: r or 2/11?
r
Let r = 0.36 - 0.4. Let w = -0.06 + r. Which is smaller: w or 0?
w
Let d = -58/195 + -9653/195. Let s = -50 - d. Is s < 0?
True
Let z = 1 + -0.7. Let u = -0.4 + z. Which is bigger: 4 or u?
4
Suppose -13 = s + 3*y, y = 4*s + s - 15. Suppose 40 = s*r + 3*r. Which is smaller: 9 or r?
r
Let n be ((-1)/9)/(6/9). Let o = 5/3 + n. Which is smaller: o or 2?
o
Let f = -1 - -5. Suppose b - 3*b - 4*i - 94 = 0, f*i = 5*b + 179. Let z = 83/2 + b. Which is smaller: z or 4?
z
Suppose -3*b - 93 = 4*i + 6, 0 = b + 5. Let m be (-1040)/i*9/6. Let k = m - 74. Which is smaller: 1 or k?
k
Let n be (-3 - -4)*0/1. Let c be -15 + (6 - 2)/4. Let d be (-3 + 5)*(-2)/c. Is d bigger than n?
True
Let a = 10 + -7. Suppose -2*m + 3 = -3*m - 5*s, 5*s - a = m. Which is smaller: m or 0?
m
Let d(f) = f**2 - 2*f + 1. Let w be d(1). Suppose w = -3*a - 5 - 10. Let b be 4/(4 + -2) + (-36)/9. Is a greater than or equal to b?
False
Suppose 0*d = o + 4*d + 11, 5*d = 4*o - 19. Let y be -1 - 43/39 - -2. Let t = 137/195 + y. Which is bigger: o or t?
o
Let k be 2 + 58*(-2)/56. Is -1 smaller than k?
True
Suppose 7*h = 9*h + 2. Is 2/33 less than or equal to h?
False
Let f = 39 - 155/4. Is f <= -14?
False
Let u = -14 - -11. Let w be (1 - (1 - 3)) + u. Which is bigger: w or 2/61?
2/61
Let b(u) = u + 4. Let l be b(-5). Suppose -5*j + 1 = -4. Suppose f - c = -j, -4*f + 3 = -5*c + 6. Do f and l have the same value?
False
Suppose 13*w - 29 = 12*w. Is 28 greater than or equal to w?
False
Suppose -f - 3*f = 4*b - 24, f - 21 = -4*b. Is 7 >= f?
True
Let n(m) = -2*m**2 + 3*m - 2. Let p be n(1). Suppose c - 3*o - 3 = 0, c + 3*c = -5*o - 5. Is p smaller than c?
True
Suppose 12 = 3*u - 0*u. Is 5 >= u?
True
Let a = 444/35 - 67/5. Which is smaller: a or 0?
a
Let c be 330/(-12) + 3 - 5. Is c smaller than -31?
False
Let r = -24 - -19. Which is bigger: -1 or r?
-1
Let a(x) = x**3 + 11*x**2 - x + 1. Let o be a(-11). Suppose 4*i = o + 8. Is i < 1?
False
Let a = 48 + -78. Which is smaller: a or -28?
a
Let j be (-24)/15 + 0/(-5). Which is smaller: -1 or j?
j
Let z be (-12 + -1)/(-1) + 1. Suppose -z = -3*i + i. Suppose u + 7 = -3*c, -4*u - 2*c - i = -u. Does u = -3/5?
False
Suppose 2*z = 9 - 1. Let k be z*((-20)/16)/(-5). Is k greater than 2/3?
True
Suppose 2*z - 30 = 5*t, 0 = -4*t - 3*z - 0 - 1. Let w = t - -3. Let a(h) = -h**2 - 3*h + 3. Let f be a(-4). Do w and f have the same value?
True
Let v = 149/6 + -51/2. Which is greater: v or 2/9?
2/9
Suppose -4*m - 5 = 2*g + 7, 4*g = -5*m - 21. Is m bigger than 0.03?
False
Suppose 4*k - 4*o - 104 = 0, 4*k - 53 = 2*k + o. Let d be 276/k - 2/9. Let g = -6 + d. Which is smaller: 1 or g?
1
Let m(k) = -k**2 + 3*k + 69. Let j be m(10). Are -6/7 and j nonequal?
True
Let h(b) = -b**3 - 9*b**2 - 18*b + 8. Let o be h(-7). Which is greater: 38 or o?
38
Suppose 0 = 14*u - 17*u + 6. Suppose 21 = 2*z - 3*z - 4*p, u*p = -z - 13. Which is smaller: z or -3?
z
Let y = 1 + 3. Suppose y*t = 28 - 0. Suppose t = -4*h - 9. Is -3 greater than h?
True
Let p be (-1*3)/(6/(-4)). Suppose 0 = p*r - 7*r + 5. Is -1/4 > r?
False
Let h(t) = t + 1. Let r(y) = y**3 - 4*y**2 - 3*y - 6. Let n(d) = 5*h(d) + r(d). Let q be n(3). Let p = -11 + 6. Does q = p?
False
Let v = -1442/9 - -160. Which is smaller: v or -3/34?
v
Let f = 1 + -1. Let t = 0.247 - 1.247. Do f and t have different values?
True
Suppose -j - 3*j + 18*j = 0. Which is bigger: -2/15 or j?
j
Let l = 40/33 + -6/11. Are 0 and l equal?
False
Let l = 25 - 31. Is l bigger than -6?
False
Let x be ((-2)/4)/(2/(-16)). Let r(s) = -5 + 2 + x + s. Let o be r(-3). Which is bigger: o or -1?
-1
Suppose 0 = -3*m + m. Suppose 3*x - 3*w + 80 = 491, 2*x - 4*w = 264. Let a = x - 713/5. Which is smaller: m or a?
a
Let o = 5/3 + -11/6. Let u = 7 - 8. Are u and o equal?
False
Let m be 6/4*16/120. Are m and 0.2 unequal?
False
Suppose 4*q - q = -9. Is -5 less than or equal to q?
True
Let l = -8 + 2. Let k = 6.2 + l. Let s = -0.1 + k. Which is smaller: s or -3?
-3
Let q = -1.3 + 0.7. Let v = q - -0.5. Which is smaller: 1 or v?
v
Let o = 85 - 76. Is o bigger than 3?
True
Let j = 0 + 0.1. Let p = j - -0.1. Let v = 0.115 - 0.015. Is v <= p?
True
Suppose -4*a = -4 - 12. Let d be ((-4)/(-6))/(a/18). Suppose -5*o = -5*r, -r - 4*o = d*r + 8. Which is smaller: 1/5 or r?
r
Let t = 16 + -17.4. Let w = 0 + -0.4. Let m = t - w. Which is bigger: -0.1 or m?
-0.1
Let i be 1/4 + (-13)/44. Let s = i + 31/198. Which is smaller: 2 or s?
s
Let a = -1/16 + 469/80. Is a greater than 7?
False
Let l = -46/387 + -14/43. Is 0 greater than l?
True
Let o = 0.08 + -0.04. Let d = 0.04 - o. Which is bigger: d or -1?
d
Let d be 91/(-147) - 1/(-3). Is 0 < d?
False
Let i(l) = 3*l - 3. Let s(u) = u + 1. Let d(g) = -i(g) + 4*s(g). Let x be d(-6). Is x > -2/5?
True
Suppose -3*u = 2*s - 9, 4*u - s + 8 = 3*s. Which is smaller: u or 4?
u
Let u(h) = -h**2 - 4*h + 15. Let k be u(-6). Which is bigger: k or 24/7?
24/7
Let z(m) = 7*m + 1. Let v be z(-1). Let c be (-3)/6 - v/4. Which is smaller: -1/3 or c?
-1/3
Suppose 0*t + 4*i + 27 = -3*t, 14 = -4*t + 2*i. Let u = t + 5. Let w be (u - 0)*(-5)/5. Is w smaller than 2?
True
Let n = 0.029 - -2.171. Do -0.2 and n have the same value?
False
Let b = -0.2 - 0. Let y = -0.3 - b. Let g = 55 + -387/7. Is y not equal to g?
True
Let r = -2 - -2.3. Let o = -0.7 - r. Which is smaller: 1/4 or o?
o
Suppose -t - g + 2 = 0, t + 4*g - 2 = -0*t. Suppose 5*f = -2*d - 298, -3*d + 63 = t*f - 3*f. Let x = 424/7 + f. Which is smaller: x or 0?
0
Suppose z + 2*y - 6 = 0, -4*z - 2*y + 2 = -10. Which is bigger: z or -2/11?
z
Let m be 7016/44*(-3)/(-2). Let d = -239 + m. Let g = -4 - -4. Is g greater than d?
False
Let g = 16.8 + -15. Let i = g + 0.2. Let f be 8/(-70) - 6/(-15). Which is greater: i or f?
i
Let r = -1411/9 - -157. Let m be -3*(15/(-9))/5. Let k be 3 - (1 + (2 - m)). Which is smaller: k or r?
r
Suppose 4*s - 33 = -5*u, 3 = 3*u - 5*s - 2. Suppose -10*w = -u*w. Which is smaller: 3/7 or w?
w
Let g be ((-2)/6)/((-8)/6). Suppose -24*w = -19*w. Is w greater than or equal to g?
False
Let q(s) = s**3 - 10*s**2 - 11*s + 6. Let l be q(11). Let u(d) = d + 6. Let g be u(-3). Let c = l - g. Is 4 bigger than c?
True
Let h = 0.02 - -1.98. Let q = 123/208 - 7/16. Which is greater: h or q?
h
Let v be (-25743)/(-84) + 0 + 1. Let u = v - 307. Let x = 1/28 + u. Is 0.1 greater than or equal to x?
False
Let o = 0.8 + -0.7. Which is bigger: 2 or o?
2
Let u = 20 + -19. Are -1 and u unequal?
True
Let x(u) = u + 3. Let v be x(0). Suppose 5*y + v = -7. Is -2 bigger than y?
False
Let k(y) = -2*y - 3. Let w be k(-4). Suppose n = 1 - w. Is 0 < n?
False
Let p be 6/(3 + (-3)/2). Is p not equal to 2?
True
Suppose -4*g + 8*g + 41 = 5*o, -4*g - 36 = -4*o. Suppose -2*d - 8 = -0*d - 2*m, -o*m + 20 = 0. Which is greater: -1/9 or d?
d
Suppose h - 3*h + 2 = 0. Suppose -4*t = -5*z + 6, 5*t = 3*z - 0 - h. Let n(b) = -4*b - 14. Let c be n(-4). Is c <= z?
True
Let t = 92 - 91.96. Is t greater than -9?
True
Let l(y) = y**2 + 6*y + 5. Let f be l(-6). Suppose 0*o - f = 5*o. Let j = -4 - -4.4. Do j and o have the same value?
False
Let t = -457/5 - -91. Is t at least as big as 67?
False
Suppose 0 = 4*c - s + 5, 4 = 5*s - 21. Is 5/9 greater than c?
True
Let f be ((-2)/87)/(164/(-36) + 5). Is f >= -1?
True
Let g(y) = y + 7. Let h be g(-7). Suppose 3*b - a - 1 = 0, -4*b + h*b + 2*a + 2 = 0. Are 0 and b nonequal?
False
Let o(x) = -x**3 - 9*x**2 - 4*x. Let c be o(-9). Suppose 0*s = -5*y - 4*s + c, 12 = -2*y + 5*s. Whic