 o?
2
Let t = 241 + -253.9. Let l = t + 13. Is l equal to -2/19?
False
Let n = 15 + -14. Let f = 0.02 + 0.38. Is f at least as big as n?
False
Let c(f) = f + 3. Let s be c(3). Suppose -k = 3*q - s*q + 10, 0 = -k + 4*q - 14. Suppose -5*p = 5*w - 3 + 23, 0 = -5*p + w - k. Are p and 0 unequal?
True
Let i = -21 + 7. Let v = 8 + i. Let r(w) = -w - 2. Let h be r(v). Does 5 = h?
False
Let u be 25/(-30) + 1 + 2/(-9). Is u smaller than 0?
True
Suppose 4*n - 6 - 6 = 0. Suppose 28 = n*a - a + 5*y, 2*a + 3*y - 36 = 0. Suppose -d + 4*d + g = -17, 0 = d + 4*g + a. Is d at least as big as -1?
False
Let t = 1.56 + -1.26. Is 30 at least as big as t?
True
Let w(g) = g + 4. Let m be w(-6). Let i be 2/(m/1*-1). Is 6 smaller than i?
False
Let j be ((-3)/(-6))/((-2)/(-392)). Let o be (-2)/(-9) - j/(-693). Are o and 0 nonequal?
True
Let u = 4454/55 - 81. Is u at most as big as 1?
True
Let b be 3*(-3)/(-21)*-1. Let g(t) = t**3 + 13*t**2 - 15*t - 15. Let c be g(-14). Which is smaller: b or c?
c
Let a = -76 + 305/4. Is a <= 24?
True
Let k = -17 + 18.1. Let w = k - 6.1. Which is greater: -1/3 or w?
-1/3
Let u = 54 - 14. Let c be 4/10 - 336/u. Which is greater: -1 or c?
-1
Suppose -2*u - 3 = -t - 18, 3*u - 19 = t. Let m = -6 - t. Are -5/6 and m equal?
False
Suppose 2*b = 2 + 4. Suppose b*x = s + 18, -8 = -x - 4*s - 2. Is 5 less than or equal to x?
True
Suppose 2*v + 4 = -2*a - 0*v, 0 = a - v + 10. Let n(g) = -g**2 - 5*g + 6. Let d be n(a). Let t = -3 - -2. Which is smaller: t or d?
t
Let y = -5/8 + 31/24. Let t = 5 - 3. Which is greater: y or t?
t
Let a = -161 - -2897/18. Which is smaller: a or 0?
a
Let l = -85 - -74. Which is smaller: -8 or l?
l
Suppose 0 = 3*x - 7*x - 4. Let c be (-1 - (1 + x))/(-1). Let m = -6 + 8. Is m <= c?
False
Let c be ((-46)/(-70) + -1)/(33/(-220)). Is c at most as big as 2?
False
Let d be (-12)/10 + (-2)/(-10). Let g(f) = f**2 + 6*f + 1. Let b be g(-4). Let m be 1/b + (-2)/(-7). Is m at least d?
True
Let q = -1357 + 39349/29. Which is smaller: q or -1?
-1
Let i = -1 + -1. Let m = 1 + i. Let d = -24 + 27. Which is smaller: d or m?
m
Let z = -865/102 - -11/17. Let n = -8 - z. Which is smaller: n or 0.1?
n
Suppose -3*i = 4*l - 46 + 14, -3*l + 7 = -2*i. Let y be 12/i - 2*-1. Suppose 15 = 5*v + y. Is 1 < v?
True
Suppose -3*j - 5*p + 6 = 71, -4*j - 4*p - 76 = 0. Let w be (j/(-20))/((-45)/(-16)). Let g = 1/60 - w. Which is greater: -1 or g?
g
Let v = -4 + 2. Let y = v - -2. Suppose 2*z - z + 1 = 0. Is y < z?
False
Let n be ((10/3 - 0) + -3)*3. Suppose -75 = -k - 4*k. Suppose -5*h = -3*c - k, 0*c + c = 3*h - 5. Are h and n nonequal?
True
Let s = 57.3 - 52.228. Let o = s - -0.028. Let t = -5 + o. Is t < 1?
True
Let k be ((-17)/(-85))/((-1)/3). Let b(f) = -f**3 - f**2 - 2*f - 2. Let i be b(-2). Suppose r = i*r. Is r at most k?
False
Let q be -2 + (-1 - (0 + -4)). Let d be (-2)/q - 13/(-5). Let f be 1*-3*(-3)/9. Is d <= f?
True
Let y be 5*(-16)/(-40) - 4/2. Which is greater: -7 or y?
y
Let j(z) = z**3 - 6*z**2 + 4*z + 7. Let k be j(5). Let b be (-1)/k*12/10. Which is smaller: b or 0.2?
b
Let c(r) = -4*r - 9. Let f be c(-5). Which is bigger: f or 12?
12
Let y = -7 - -11. Let p(g) = g**2 + 4*g - 9. Let t be p(-6). Let a = t + 0. Which is smaller: a or y?
a
Suppose 4*v - h + 60 = 0, 5*v - 2*h + 0*h + 78 = 0. Let x = v + 10. Let b be (-6)/(-9) + (x - -2). Is 0 <= b?
False
Let b(t) = t**2 + 8*t + 8. Let q be b(-7). Let f = q - 1. Let z be (-30)/22 + -4 + 5. Is z <= f?
True
Let b be -1*2*(6 + -4). Let n be 19/b + (-4)/16. Let d = 4.1 + -3.9. Does d = n?
False
Suppose 14*y = 20*y. Is 9 >= y?
True
Let v = 60 + -53. Let l = -3 + 4. Which is smaller: v or l?
l
Suppose 0 = -o + 6 + 22. Which is bigger: o or 29?
29
Let j be (-2 - 1) + (-4)/(-1). Let m = 11342/17 - 667. Which is bigger: j or m?
j
Let z be 18/15 + 4/(-20). Which is smaller: -4/11 or z?
-4/11
Let g = 3064/177 - -4/177. Let s = g - 17. Is s > 1?
False
Let j = -47 + 95. Let x be (-6)/(-21) + j/(-21). Is x equal to -6?
False
Let a be (-23)/7 - (-2)/7. Let o be 2*((-3 - -8) + a). Is 7 <= o?
False
Let t be (-4)/8 - 2/(-4). Suppose 3*z - 5*g + 5 = 2*z, -5*z + 4*g - 4 = 0. Suppose z = 4*a - 7*a. Is a greater than t?
False
Let u be 8/117 - ((-204)/54 + 4). Is u less than or equal to -1?
False
Suppose -4*q = -2*t - 28, 3*q = -6*t + 2*t - 56. Let m be ((-135)/(-12))/3*-4. Which is smaller: t or m?
m
Let o be (-6)/28 + 2/4. Suppose -17 + 2 = 3*g, -3*s = 2*g - 50. Suppose 0 = -4*l - 20, -5*w + 4*l + s = -2*w. Is w < o?
True
Let z(n) = -n**2 + n + 498. Let k be z(0). Let w = -273 + k. Let a = w - 2477/11. Which is greater: -1 or a?
a
Let y = -99/5 + 18. Which is smaller: -3 or y?
-3
Let q be (-2)/(-3)*(-3)/2. Let h(o) = o**3 - 2*o**2 - 2*o - 3. Let s be h(-2). Let c be ((-4)/18)/((-5)/s). Is q != c?
True
Let s = 3 + -3. Let q = -2.92 + -0.08. Is s >= q?
True
Let q(l) be the first derivative of 5*l**2/2 - 7*l - 3. Let v be q(11). Let j be v/(-210) + 2/(-10). Which is greater: 1 or j?
1
Suppose -3*p + 17 + 43 = 0. Which is greater: p or 21?
21
Let x = -2 + 2.3. Let y = -47 - -48. Which is greater: y or x?
y
Suppose 5*j - 15 = 50. Suppose -5*v - x = -75, 0 = 5*v + 34*x - 35*x - 65. Is v greater than j?
True
Let r(n) = n - 7. Let c be r(8). Let h be 0 + c - 21/28. Which is smaller: 0 or h?
0
Suppose u + 30 - 3 = -3*o, 0 = 5*u - 15. Let t be (-2)/o + (-2)/10. Suppose t*q - 3*q + 6 = 0. Is 2 < q?
False
Let t = 4 - 5. Let n = t - -3. Suppose 2*j + n*j = 0. Is j at most as big as -1/5?
False
Let x = -224/45 - -26/5. Suppose 4*l = s - 1, 3*s - 12 - 5 = -2*l. Suppose 5*j + 10 = 4*i - 10, 4*j - i = -s. Which is smaller: x or j?
j
Suppose -3*n = -140 - 16. Suppose 5*t = -2*d + 27, 3*d + t = n - 18. Which is smaller: d or 10?
10
Let j = 11 + -12. Let y be ((-6)/(-10))/((-8)/(-5)). Is y <= j?
False
Let f = -9 - -11. Let y = f + -1. Let p = 0.5 + 0. Which is smaller: p or y?
p
Let w be ((-9)/54)/(1*3). Which is smaller: 0 or w?
w
Suppose -156 = 13*w - 7*w. Which is bigger: w or -27?
w
Let s(k) = 3*k**2 - k + 1. Let a be s(2). Are a and 11 nonequal?
False
Let x = 17.4 - 20. Let d = 1.4 - x. Is d < -0.1?
False
Let k be 3*(-3)/(-27)*9/(-3). Which is bigger: 2.2 or k?
2.2
Let v = 34 + -373/11. Which is greater: v or -1?
v
Suppose -6*c - c = -49. Is 8 <= c?
False
Suppose 9 = -o + 5*o - 5*k, 13 = -2*o - k. Let n(y) = -y**2 - 6*y - 9. Let z be n(-6). Let h = z - -5. Is o at least as big as h?
True
Suppose 0 = -u - 2*b + 4*b + 4, 4 = u + 2*b. Suppose u = n + 12. Let x be 8/(-20) + n/(-10). Is x smaller than 0.4?
False
Let g = -1.5 + 9.5. Let w = -8.1 + g. Is w != -2?
True
Suppose 11 = -3*n + 2*n - 5*j, 0 = -3*n - 5*j - 3. Let x = n + -3. Let s be (0/3*-1)/x. Is 2/15 less than s?
False
Let n be (-2)/(-11) + (-435)/33. Which is greater: n or -12?
-12
Let r(m) = m**2 - 6*m + 3. Suppose -2 = -g + 6. Suppose -g = -b - 2. Let x be r(b). Is 3 <= x?
True
Let m = 102.6 + -103. Is m < 1?
True
Let j = -0.42 - -0.02. Let h = -0.3 - j. Let r = h + -0.3. Which is greater: 2/3 or r?
2/3
Let d(p) = p**2 - p + 1. Let k be d(1). Let q be 0 + (-2 - -6 - k). Suppose 7*b - 4 = q*b. Which is smaller: 2 or b?
b
Let m = -8/3 + 29/12. Which is smaller: m or 11?
m
Suppose 0 = 2*h + 2*k + 2*k - 22, -2*h - 3*k = -17. Suppose 0 = -0*m - 3*m + 12, 3*u + h = m. Which is smaller: u or 0?
0
Let b(z) = z + 1. Let h be b(5). Let i(s) = s**3 + 12*s**2 + 9*s - 16. Let o be i(-11). Is o < h?
False
Let a(c) = c + 3. Let z be a(-7). Let u be 2/z - (-6)/4. Which is smaller: 2/21 or u?
2/21
Let l be 2/6 + 174/18. Let d be l/75 - 1/(-5). Which is greater: 0 or d?
d
Suppose 0 = -v + 12 + 3. Let m be v/10*12/(-9). Is m equal to -2?
True
Let l = 1/34 + -87/646. Is l smaller than -1?
False
Let j = 14 + -13.8. Which is smaller: -2 or j?
-2
Suppose z = -2*z + 6. Let d be z/11 + 9/(-231). Which is smaller: d or -1?
-1
Let y(v) = v + 11. Let t be y(-11). Let u(i) = i**3 + 4. Let m be u(t). Suppose 2 + 8 = 2*h. Which is bigger: h or m?
h
Let n be 2 + (-2)/((-2)/(-3)). Which is greater: -2 or n?
n
Let o = 9/4 - 3/2. Let t = 3 + -1. Is t at least o?
True
Let r = 2 + -2.1. Let g = 0.08 - 0.1. Which is bigger: g or r?
g
Suppose -14 = -2*o + 2*b, o - 2*b = -2*o + 17. Suppose -5*a + 1 = o*m + 5, 5*a - 11 = 2*m. Let w be ((-6)/m)/2*-1. Which is smaller: 2/5 or w?
w
Let p = 0.13 + 0.27. Let m