e
Let g be (-14)/6*(-8)/(-28). Which is smaller: 0 or g?
g
Let q = -0.13 - -0.03. Let g = -1 + 0. Is q < g?
False
Let k = -0.4 - 0. Which is smaller: k or -0.2?
k
Let r = -3 + 6. Is r greater than 1?
True
Let t be -4*(-6)/(-72) + -13. Is -13 at least as big as t?
True
Suppose 0 = 3*n - 0*n - 2*q + 19, q - 8 = n. Let s(b) = b**2 - 4. Let z be s(n). Let j = -6 + z. Is -1 smaller than j?
False
Let r(d) = -2*d. Let g = -3 - -2. Let u be r(g). Which is smaller: u or 2/3?
2/3
Let k(a) = -2*a**3 - 2*a**2 - a + 1. Let m be k(-1). Which is bigger: -1 or m?
m
Let k = -10.9 + 11. Let w = -0.2 - -0.4. Let h = k - w. Is -2/7 != h?
True
Let j = 192/5 - 38. Suppose l = -l + 14. Suppose 3*c = -0*c + 5*v + l, 4 = -2*c - v. Which is greater: c or j?
j
Let r = -24 - -24. Let h be ((-3)/(-12))/(2/(-4)). Is h > r?
False
Let k(m) = 6 + 1 + m + 1. Let x be k(-4). Suppose -2*z = -4*d + 20, 0*z = -d - x*z - 13. Which is bigger: d or -1?
d
Let z be (651/62)/((-2)/((-16)/(-6))). Which is smaller: -25/2 or z?
z
Let d be ((-3)/5)/((-64)/(-80)). Does d = 0.1?
False
Let f = 11/2 + -5. Which is greater: f or 0.59?
0.59
Let m(y) = -2*y - 2. Let h be m(-2). Let d be h/(-6) + -2 + 0. Which is bigger: -1 or d?
-1
Let l(t) = t - 1. Let p be l(2). Let y be (0/p)/(-2 - -3). Suppose 0 = -3*w + 2*b - 3 - 4, 5*w - b = y. Is 2/13 not equal to w?
True
Let w(r) = 39*r. Let u be w(2). Let l be u/(-10) + 3/(-15). Do l and -9 have different values?
True
Let k be (-2)/2 + (-6 - -1). Let a = k + 3. Let x be 12/a*(-2)/(-68). Is -1 at least x?
False
Let f(l) = l**3 - 8*l**2 - 8*l + 4. Let h be f(9). Which is greater: -1 or h?
h
Suppose -v = 3 - 5. Suppose p + 42 = 5*p - 2*m, p - 9 = v*m. Which is greater: p or 10?
p
Let w(y) = 5*y - 2. Let q be w(-1). Which is greater: -10 or q?
q
Suppose 4*m = -l + 16 - 44, 0 = 3*l + 12. Which is smaller: m or -7?
-7
Let w = 0.4 - -9.6. Let m = w - 6. Let x = m + -4. Is -2/5 less than x?
True
Let t be 6/2*(-1378)/48. Let j = 86 + t. Let k = 19/8 + j. Is k greater than 2?
True
Let c = 4 - 2. Suppose -3*a - 4 = c. Which is bigger: 1 or a?
1
Suppose -2 - 2 = -2*p. Let v be ((-4)/32*-4)/(1/6). Is p smaller than v?
True
Suppose -6*k - 4 = -4*k. Which is smaller: k or -4?
-4
Let b = -86/7 + 12. Let z = 1 + -1. Which is smaller: z or b?
b
Let j(o) = -o**3 + 11*o**2 - o + 10. Let x be j(11). Let t = 29/114 - -3/38. Is x at least t?
False
Let a be (-6)/(-4) + -1 + (-1)/(-12). Which is bigger: a or 0?
a
Let t = -4.7 - 1.3. Let x = t - -6.1. Which is greater: 0 or x?
x
Let w be (15/6 - 0)*2. Suppose w*n + 25 = -2*i, -5 = -3*i + n - 0. Let j be 4/(-10) - 12/(-105). Which is smaller: i or j?
j
Let l = 1.04 - 1.2. Let k = 0.84 - l. Let j = -1/32 - 57/224. Is k at least as big as j?
True
Let l = 0.1 + 2.9. Let m = -2.7 + 7.7. Let y = m - l. Is 1 at least y?
False
Let z(y) = -y**2 - 14*y + 2. Let s be z(-14). Is 3/5 >= s?
False
Let i = -11 + 18. Let p = i + -7.15. Let a = -0.05 - p. Is a less than or equal to -0.1?
False
Suppose 2*u + 10 = -2*p, 0*u + 13 = -5*p - u. Let n = p + 3. Let f = 74 - 73. Is f at least as big as n?
True
Let r = 238 + -520. Let h = r - -1970/7. Is h >= 0?
False
Suppose -n = 10*n. Is n equal to -1/102?
False
Let b = 143 - 1575/11. Are b and 1 equal?
False
Let p = 45/7 - 121/21. Let w = 16 + -31/2. Let y = w - 0. Which is greater: p or y?
p
Let j = 1457/8 - 183. Is j bigger than -2?
True
Let t = -6 + 3. Let a be (-13)/(-6) - (t + 5). Let f be 0/(-3 + (-1)/(-1)). Which is greater: f or a?
a
Let d = 25 + 67. Which is greater: d or 91?
d
Let k(w) = 4*w**2 + 3*w - 4. Let s be k(1). Let l be 27/5*2/6. Which is bigger: l or s?
s
Let v = 2/67 - 73/201. Which is smaller: v or 1/4?
v
Let k = 46 + -46. Let c = 508 - 16762/33. Which is smaller: c or k?
k
Suppose 5*l + 24 = d, -d - l - 11 = l. Which is smaller: 2/5 or d?
d
Let y = -4 + 11/4. Let w(u) be the third derivative of u**4/24 - 7*u**3/6 + u**2. Let d be w(6). Which is smaller: y or d?
y
Suppose -8 = q - 10. Let a be (1/(-3))/((-1)/3). Let j be (a + 1)/(6/2). Does j = q?
False
Let a = -89 - -92.7. Let m = 4 - a. Let o = -0.1 + 0.2. Is m at most o?
False
Let d = -7 + -4. Are -0.1 and d equal?
False
Suppose w = -2*m + 38, 3*w + 32 = -4*m + 136. Let y be w/(-6)*(-3)/10. Is y <= 1?
False
Let m be (-3)/(0 + -2 + 3). Let o be (-1)/m + 34/(-66). Which is bigger: 0 or o?
0
Let d = 70 - 70. Which is smaller: d or -3?
-3
Let m be (-3)/3 + (-32)/(-12). Which is smaller: m or 1?
1
Let w be ((-9)/45)/(8/35). Is -2 >= w?
False
Let d = -62 + 67. Let p(o) = -6 + o - 4*o + 6*o. Let n be p(4). Which is smaller: d or n?
d
Let p be 60/9*(-3)/(-2). Do 10 and p have different values?
False
Suppose w = -h + 1, -w = 4*h - 4*w - 39. Let i be 26/(-12) + 4/h. Let u = -1.26 + 1.16. Is i greater than or equal to u?
False
Suppose 4*q + 5 = 2*a + 17, -2*a - 2*q = -12. Let c be a*3/(-2) + 3. Is 5/7 >= c?
True
Suppose -12 = 4*l, 2*y + 0*l = -4*l - 14. Let s = 898 + -1863/2. Let d = -35 - s. Is d at most as big as y?
True
Suppose -6*m + 15 = -9*m. Let v = -5 - m. Is v smaller than 2/21?
True
Let b = -18.7 + 21. Let f = b + 0.7. Let k = 121/3 - 41. Which is smaller: f or k?
k
Let p be 0*(0 - 3/3). Suppose -x + 42 = -5*h + 2*x, 4*x - 16 = p. Let k be 4/(-8) - h/4. Which is bigger: k or 3?
3
Let s(a) = -a**2 - 2*a - 2. Let l be s(-2). Which is bigger: 1/10 or l?
1/10
Let n = 0.16 + -0.1. Let r = -0.16 + n. Which is bigger: 0.4 or r?
0.4
Let x = -8440/21 - -402. Is -1 != x?
True
Let f(s) = s + 4. Suppose -2*p - 23 = 5*r - 0*p, -r - 5*p = 0. Let q be f(r). Let n = -54/5 + 417/40. Which is bigger: n or q?
n
Let u be -2 - -11 - 2 - 3. Suppose -3*y + u*p = 5*p, -2*y + p = 0. Let l be 4/16 + y/(-2). Is l less than or equal to -1?
False
Let d = -43 + 42.83. Let t = d + 0.17. Which is bigger: 1 or t?
1
Let m = 0.4 - 0.2. Let a = 7 - 6.7. Let n = a - m. Which is bigger: n or 1?
1
Let j be (-2)/(-5) - (-43)/5. Let v be j/6 - 2/1. Which is smaller: -2 or v?
-2
Let z = 0 - -0.1. Let c = 14/3 + -25/6. Is z < c?
True
Let h = 3/299 - 5693/1196. Let k = 11/2 + h. Is 2/3 less than or equal to k?
True
Let y(m) = m**3 - 14*m**2 - 14*m + 1. Let o be y(15). Is 17 greater than or equal to o?
True
Let g = 548 + -11506/21. Is -1 <= g?
True
Let l(b) be the third derivative of -b**6/120 - 7*b**5/60 + b**4/24 + 3*b**3/2 - 3*b**2. Let f be l(-7). Suppose 0 = -f*a + 4*a. Is a > 2/7?
False
Let g be 3 - 3/(3/(-1)). Are 4 and g non-equal?
False
Let y be (8/6 + -1)/(20/16). Is y != -1?
True
Let g be (4/(-70))/(1/(-5)). Suppose 0 = -3*v + 2*v. Are v and g nonequal?
True
Let t(k) = 2*k - 5*k**3 + 2*k - k**3 - 3*k. Let f be t(-1). Are 5 and f nonequal?
False
Let t = 43 - 43. Let s = 422/5 - 84. Does t = s?
False
Suppose 5*u + 3*n - 6*n = -2, -4*n + 1 = -5*u. Which is smaller: u or -2/87?
u
Let m(o) = o - 1. Let g be m(3). Is 2 at least g?
True
Let b(y) = -2*y**2 + 4*y + 5. Let x be -4*(-3)/(-3) + 8. Let w be b(x). Are w and -11 nonequal?
False
Suppose 2*q - 4 = -0. Suppose 0 = -q*a - i + 8, -4*i - 6 = -4*a - i. Let d(b) = b**2 - 2*b - 3. Let n be d(a). Does 0 = n?
True
Suppose 0 = -r - 1, 0 = -o + 3*r - 2 + 12. Is 3 at most o?
True
Let j be 48/14 + 3 + -1. Is j at most 5?
False
Let f be 50438/(-712)*10/(-507). Let d = -3/15041 - f. Let w = 4/39 - d. Which is smaller: 0 or w?
0
Let s = -1.1 + 1.04. Which is bigger: s or 2/3?
2/3
Let k be (3 - 6) + 430/142. Let c = k + 136/213. Let r = -0.2 - 0. Which is smaller: c or r?
r
Let v(j) = 2*j - 9. Let g be v(6). Let b be (-3)/(-4 - (-9)/g). Suppose k - b*h = 2*k - 12, -k + 4*h - 16 = 0. Which is greater: k or -4/7?
k
Let h = 11 - 11.1. Which is smaller: h or -3?
-3
Let k be ((-2)/(-20))/((-1)/2). Let l = k - -1/15. Is l greater than 1?
False
Let p be 10/15*(-4)/(24/9). Let n = -3/110 - 1/44. Is n > p?
True
Let w = -17/10 + 177/110. Which is smaller: w or 0?
w
Suppose -3*j + z - 20 = 0, -5*j - 3*z - 38 = -0*z. Let k(y) = 6 + 4*y - 1 - 3*y + 5. Let g be k(j). Which is greater: 1 or g?
g
Suppose -8*f + 7 = -9*f. Which is bigger: -9 or f?
f
Let u = -27 - -29.9. Let l = -0.1 - u. Is l <= 0?
True
Let a(t) = 5*t**2 + 29*t + 2. Let d be a(-6). Which is greater: d or 0?
d
Let l = -13.04 + 13. Does -1 = l?
False
Let x = 11 + -8. Let a be ((-18)/15)/x - -1. Is a greater than 1?
False
Let u = 1.3 + -3.1. Let b = -1.81 - u. Are -0.2 and b non-