- (-18)/63. Let x be (-1)/(-2)*-2 + 2. Which is greater: x or g?
x
Let v = -0.92 + 1.32. Is 0.2 equal to v?
False
Let z be 48/22 + (-2)/11. Let g(n) = -7*n + 0 + n**2 + 5 + z. Let d be g(6). Is d bigger than -4/9?
True
Let u = 2 + -3. Let b = 0.7 + u. Let p = b + 0.4. Is p smaller than -2/3?
False
Let m = 0.2 + -0.18. Let t = m + 1.98. Let i = 100 + -100. Which is greater: i or t?
t
Suppose 0 = 3*j + 6, -5*v - j - 1 = 26. Let d = -3 - v. Which is smaller: d or 4?
d
Let o(d) = -d**3 + 8*d**2 - 13*d - 8. Let t be o(6). Which is smaller: t or -12?
t
Suppose 0 = -o - a + 1, -2*a + 6 = 5*o - 11. Suppose 4*k = -4, m - 1 = o*k - 3. Are -6 and m non-equal?
True
Suppose -4*m + 0*m = -16. Suppose 0*v + m*v - 12 = 0. Suppose v*i = -i. Is -2/11 equal to i?
False
Let g = 0.2 + -0.4. Let o = -64 + 62.93. Let t = -0.07 - o. Is t at most as big as g?
False
Let b = -1.2 + 2. Let r = b - 2. Let k = r - -6.2. Which is smaller: -2/3 or k?
-2/3
Let d(k) = 6*k + 3 - k**2 - 4*k + 2*k + 0*k. Let n be d(4). Suppose 0 = o + n - 2. Which is greater: o or -2?
o
Let b = -6 - -5. Let y = -2/279 + -544/1953. Is b bigger than y?
False
Let a = 0.3 + -0.1. Let c = 2.41 - 0.21. Let v = c - a. Which is smaller: v or 2/5?
2/5
Let n = 16 - 15. Which is bigger: n or -1/48?
n
Let d = -6 - -11. Suppose 12 = -0*g + 4*g. Suppose 43 = g*j + 2*s + 3*s, 5*j + s = 35. Which is smaller: j or d?
d
Suppose -3*q = -7*q. Let x be q + (-3)/1*-1. Let d be (-8)/(-12) - 5/x. Which is bigger: 0 or d?
0
Suppose -f + 12 = 4*v, 3*v + 1 = 7. Suppose -f - 14 = 3*s. Is -7 at most as big as s?
True
Let o = -1121/98 + -3/49. Let s = -11 - o. Which is bigger: s or 2?
2
Let i = -105 - -3149/30. Which is smaller: 1 or i?
i
Suppose -2*u - 4 = u - 2*b, 4*b - 8 = 5*u. Let n be (5612/1050 - 3) + -3. Let x = n + -2/175. Which is bigger: x or u?
u
Let u be 10*1 + -3 + 0. Suppose -u + 31 = 4*x. Suppose -4*h + 5*h = 5. Which is bigger: x or h?
x
Suppose 0*l = 5*l + 15. Let s(f) = -f**3 - 3*f**2 + 5*f. Suppose v = -2*t + 2, 5*t - 19 = -4. Let z be s(v). Is z > l?
False
Suppose -3 - 3 = 6*f. Which is smaller: f or 19?
f
Let m = 0.11 - -0.09. Is -0.03 equal to m?
False
Let c(t) be the second derivative of -t**5/20 - 5*t**4/12 + 7*t**3/6 + 4*t**2 + 2*t. Let s be c(-6). Let x be -2 - 1*-3*s. Is 5 greater than x?
True
Let r(g) = 2*g**2 - 5*g - 7. Let c(q) = -q**2 + 4*q + 6. Let d(h) = 6*c(h) + 5*r(h). Let u be d(1). Is u equal to 4?
True
Let q be 12/(-3) + 8/(-2). Is -6 less than q?
False
Let r = -183/5 + 37. Let y = -20 + 22. Which is greater: y or r?
y
Let l be (-5)/(-5) - 1/2. Are l and -6 nonequal?
True
Let t be 29 + (-1 - -2) + 1. Is t at most 29?
False
Let m = -233 + 2099/9. Which is smaller: 0 or m?
0
Suppose 16*o = 5*o - 44. Is -11/3 > o?
True
Let u = -20 + 29. Suppose -30 = 4*c - u*c. Let f be (-4)/(-7) - c/21. Does 2/7 = f?
True
Let t = 0.004 - 6.704. Let q = 7 + t. Is -2/7 greater than q?
False
Suppose 4*w - 2*w = 0. Suppose w = -4*q - q - 10. Let t = -254/3 - -84. Which is smaller: t or q?
q
Suppose 0 = -3*c + 2*c. Suppose -5*d + c*b + b = 0, -d = 2*b - 11. Let r = 1 - d. Are r and 1/4 equal?
False
Suppose -d = -5*d - 4*v + 56, 0 = -5*d - v + 86. Suppose -n - 2*n - d = 0. Let c be (24/(-9))/(4/n). Which is smaller: c or 3?
3
Let h = 3/77 - -361/616. Which is bigger: -2/5 or h?
h
Let x = -132.04 + 135. Let f = x - 3. Let m = f - -0.14. Is m != 0.1?
False
Let h = 47 - 48. Is h >= -1/113?
False
Let f(i) = i + 1. Let n be f(-6). Let d = -18 - -12. Is d smaller than n?
True
Let h(n) = 2*n**3 + 5*n**2 - 3*n - 4. Let i be h(-3). Let w = 4 + -7. Which is smaller: w or i?
i
Suppose 0 = -0*p - 3*p + 18. Suppose -x - 25 = -p*x. Let i be (-6)/x + (-1)/(-5). Which is greater: -0.1 or i?
-0.1
Let g = -0.04 - -5.04. Let p = 1 - g. Let q = 6/11 + -40/33. Does q = p?
False
Let r = -5 + 9. Suppose 2*p + 4 = 3*p + r*l, -4*p = l - 1. Let t be 5/5*(p - -8). Is t less than or equal to 9?
True
Let p be 8/2 + 85/(-25). Let d = -2.04 - -2. Let h = d - 0.06. Which is bigger: h or p?
p
Suppose 4*a - a - 12 = 0. Suppose 2*p = j + 3 + 7, 0 = -4*p - 4*j + 20. Which is greater: a or p?
p
Let m = 41/5 - 8. Which is greater: m or -1/2?
m
Suppose -5 + 5 = -4*u. Is -3/29 not equal to u?
True
Let w = 42 + -459/11. Let f = w - 20/33. Which is smaller: f or 0?
f
Let h = -8.21 + 0.21. Which is greater: h or -1?
-1
Suppose 0 = p - 5*p + 20, -4*q = -p + 9. Which is greater: q or -3?
q
Let n = -7634 + 587771/77. Let x = n - -3/7. Which is bigger: x or 1?
1
Let m = -20 - -14. Suppose -3*q - 7 = o + 8, 15 = -5*q. Is o != m?
False
Let k(s) = -s**2 + 7*s + 9. Let n be k(7). Let u be 144/(-20)*(-30)/n. Let v = -122/5 + u. Which is bigger: v or -0.2?
-0.2
Let d be (6/(-4) + 1)*0. Suppose d = -4*k - 0*k + 8. Is -4 bigger than k?
False
Let q be 1/5 - 4/20. Let o = 31/2 - 15. Is o != q?
True
Let z be 10/(-25) + 0/(-1). Let g = 9/68 + 2/17. Which is smaller: g or z?
z
Suppose 2*d = -4 - 4, 20 = 4*i - 5*d. Is 4 at most i?
False
Let b be (-1)/2 + (-5)/2. Suppose 5*j - 23 = 77. Suppose -5*i + j = 0, 0*g = -3*g + 2*i - 17. Is g < b?
False
Let k(f) be the first derivative of f**3/3 + 3*f**2 + f - 2. Let c be k(-4). Let w be ((-3)/(-4))/((-2)/16). Does w = c?
False
Suppose 90 = -0*w - 5*w. Let b be 2/(w*3/(-6)). Are 0.2 and b equal?
False
Let t = 6 + -10. Let p be (-129)/(-27) - t/18. Suppose -5*h + 0*q = 4*q - 5, 0 = p*q. Is 2/9 > h?
False
Let s be 2/7 - (0 + 0). Let l = 3 + -6. Let m = l + 2.8. Is m less than or equal to s?
True
Let i be (-6)/(-46)*8/(-12). Is -5 < i?
True
Let l = -4.02 + 5. Let k = -0.02 - l. Let y = k + 1.1. Which is bigger: y or 7?
7
Let q be 1*14/(-6)*-3. Is 7 at most q?
True
Suppose 0 = -2*u + 5*o - 7, -3*o - 1 = -u + 5*u. Let i be u - (36/(-4))/3. Which is smaller: i or 2/3?
2/3
Suppose -2 = 4*s - 10. Is s at most -19?
False
Let o = -22.8 + 78.9. Let c = o - 53. Let a = -3 + c. Which is greater: -0.3 or a?
a
Let r(c) = -10*c + 1. Let n be r(-3). Let g = n - 63/2. Which is bigger: -0.1 or g?
-0.1
Let q be 0/(-1 - (-3 + 4)). Suppose 0 = -4*a - q*a - 3*w, -5*w = a. Are -5/4 and a unequal?
True
Suppose 1 = h - 2*h. Let v(p) be the second derivative of -p**3 - p**2/2 + p. Let d be v(h). Which is bigger: 2 or d?
d
Let s = -128 + 261/2. Do 2/3 and s have different values?
True
Suppose -5*l - a - 15 = 0, l + l - 12 = -4*a. Let q be 5*(-1)/2*2. Is l equal to q?
False
Suppose -7*s = -5*s. Suppose s = -l - l. Which is smaller: l or 3/11?
l
Let v = 6 - 4. Let b be 18/15 + v/(-10). Is b at least 4/7?
True
Let n = 341/2 + -164. Let b = 5 - n. Which is greater: b or 2/7?
2/7
Let x = -10 + 5. Let t = x - -6. Is t != 0?
True
Let b = 65 - -1. Which is smaller: b or 67?
b
Suppose 0 = -2*c + c. Let u = -2 - -7. Suppose -4*z - u*p + 11 + 4 = c, -3*z + 4*p = 12. Which is smaller: z or 2/9?
z
Let i = 6 - 12. Does -6 = i?
True
Suppose -2*o = -4*o. Suppose 5*v - 2*v = o. Let y be 1/(-3) - (-2)/(-3). Which is bigger: y or v?
v
Let n be 3/(-7) - 93/(-21). Let f be (2/3)/(n/3). Is f equal to 1/4?
False
Let x be 20/5*(-1)/(-2). Is 8/7 greater than or equal to x?
False
Suppose -440 = 9*o + o. Which is smaller: -45 or o?
-45
Let t = 23 + -14. Let w = -20 + 28. Let m = w - t. Is m < 1?
True
Let h(y) = y + 3. Let q = -11 + 8. Let k be h(q). Is 0 greater than k?
False
Let d = -30 - -92/3. Let b(a) = a**3 + 5*a**2 - a - 3. Let t be b(-5). Let m be ((-1)/((-3)/9))/t. Which is smaller: d or m?
d
Suppose -14 = 4*m + 2. Let i be m/6 + (-4)/(-12). Is i <= -1?
False
Let m be -1 + (0 + 4)/24. Which is bigger: m or 0?
0
Suppose 4*g = -30 - 322. Which is greater: -89 or g?
g
Suppose 2 = -7*r - 5. Which is greater: r or 2/13?
2/13
Let x be 2/(-4) - (-3)/12. Let k be (-16)/6 - (-2)/(-6). Let m be 14/6 - (-1)/k. Which is smaller: m or x?
x
Let f be (0 + (-10)/12)*237/(-790). Let r = 2 - 3. Which is greater: f or r?
f
Suppose -24 = w + 5*w. Is w less than or equal to -13/4?
True
Let p be (-4)/(-18) - (-41)/18. Let f(n) = n**2 + 11*n + 14. Suppose 2*r - 3*r - 10 = 0. Let v be f(r). Which is smaller: v or p?
p
Let c be (-9 - -22) + (1 - 3). Suppose -c = 6*o + 1. Is -1 bigger than o?
True
Let a(s) = -3*s - 3. Let i be a(-4). Suppose -f = -4, -d = d - 2*f + 70. Let u be d/(-9) + i/(-3). Is u not equal to 1?
True
Let g be 4/(-1) + 1 + 4. Is g at most as big as 1?
True
Let v = -100.9 + 101. W