st as big as k?
True
Let m = -3.7 + -0.3. Let p = 8 + -15. Let b = m - p. Is -1 at most as big as b?
True
Let c = 9 + -9. Suppose -3*k + c = 3. Let s be 2 + -2 + 2/(-7). Which is bigger: s or k?
s
Suppose -j + 4*j + 3*x = -3, -j - 7 = 3*x. Let o be (-1)/((-1)/3) + j. Is o >= 5?
True
Let a be (6/(-28))/(1/(-2)). Let x be (0/1 + -1)*0. Is a bigger than x?
True
Let u be (-2)/4 + 273/(-126). Is u less than or equal to 2/7?
True
Let j be 6/(-12)*53/1. Let v = j + 27. Let z = -14.93 + 15. Which is greater: z or v?
v
Let r(q) = -q**2. Let u be r(0). Suppose u = 3*w - 15 - 48. Suppose c + c - 14 = -3*z, -c + w = 5*z. Is 3 <= c?
False
Let u = 28 + -29. Does 5/6 = u?
False
Let q be (-2)/7 + (-36)/21. Let i be ((-2)/(-22))/((-1)/q). Suppose 0 = -3*t + 3*g + 9, 4*g = -5*t - 0*g - 12. Which is bigger: i or t?
i
Let v be 64/16 - (-2 - -10). Which is smaller: v or -6?
-6
Let k = -15 + 35. Suppose 0 = 4*w - 9*w - k. Let s(i) = -i**3 - 4*i**2 + 2*i + 2. Let o be s(w). Which is smaller: o or -5?
o
Let d = -171/68 + 13/17. Which is smaller: 2/3 or d?
d
Suppose 0 = -5*f - y + 120, -8*y - 44 = -3*f - 3*y. Suppose -3*i - 25 = -5*u, -4*u + 2*i = -i - f. Suppose -3*n = -1 - u. Is n bigger than 2?
False
Let l be (2/(-5))/(2/(-10)). Let v be 3 + (-3 - l/(-3)). Let q = 0.03 - -3.97. Which is bigger: v or q?
q
Let t = 0.09 - 0.29. Is t at most as big as 7?
True
Let j = 85 - 40. Which is greater: 44 or j?
j
Suppose -2*z + 5*b = 2*z + 16, -4*b = -5*z - 11. Is 4/7 > z?
False
Let f be (8/(-3)*-2)/(22/6). Is f less than or equal to 0?
False
Let j(h) be the second derivative of -h**3/3 - 9*h**2/2 + 3*h. Let a be j(-7). Suppose -a*d + 5 = -5. Is 5/4 less than d?
True
Suppose 0 = 5*o + 4*u - 7, 0 = -2*o - u + 5*u - 14. Suppose -q + 10 - 3 = 0. Does q = o?
False
Let p = -1.2 - -1. Let i be 13/6 + -5 + 3. Are p and i equal?
False
Let y(p) be the first derivative of 2*p**3/3 - p**2/2 - 27. Suppose -l - 1 = -6, 3*g + 3*l = 18. Let z be y(g). Which is smaller: 2 or z?
z
Let q(l) be the second derivative of l**3/6 + 3*l**2/2 + 2*l. Let w be q(-3). Which is smaller: 3/7 or w?
w
Let c = 5 - 4.85. Let k = 0.45 - c. Is k smaller than -0.2?
False
Let y(u) = -u**2 - 32*u - 32. Let x be y(-31). Do -8/33 and x have different values?
True
Suppose -594 = -3*y + 6*y. Let t be 2/(-11) - 80/y. Suppose 0 = -4*g - 4*b - 20, 4*g + 25 - 1 = -5*b. Is t <= g?
False
Suppose -6*a + 24 = -0*a. Let w be (2/a)/(2 + -6). Is w at least as big as 0?
False
Suppose -5*l + 1 = 31. Which is greater: l or -0.1?
-0.1
Let i = -770 - -8476/11. Suppose -3*x + 15 = -5*j, x - 1 = -3*j - 10. Which is greater: x or i?
i
Let a = -8 + 5. Let o = -9 + 6. Let f be 0/((12 + o)/(-3)). Which is greater: a or f?
f
Let b = 66881379/1375 + -48641. Let q = 49779/1375 - b. Let i = q - 36. Which is bigger: i or 0?
i
Let d = -3 - -3. Suppose -4*h = -20, -26 = -2*q - 4*h - d. Suppose 0 = q*r - 6*r. Which is smaller: 1 or r?
r
Let y be 0*3/(2 - -7). Let w = -6 + y. Let i be 1/w + (-1)/6. Which is bigger: -2/3 or i?
i
Suppose 19*y = 10 + 9. Let k be 1/(-2) - 3/(-2). Is y at most as big as k?
True
Let s(j) = -j**2 + 8*j + 13. Let c be s(9). Is 4 less than c?
False
Suppose -3*x + 4*o = 7*o + 6, 2*x - 2 = 4*o. Suppose 5*i - 4*i + 7*i = 0. Which is smaller: x or i?
x
Let m be ((-33)/(-18) - 2)*-8. Which is smaller: 0 or m?
0
Let d = 0.9 - 2.5. Is 0.1 smaller than d?
False
Let k = -1 - -1. Which is bigger: 2 or k?
2
Let i = -1 - -3. Suppose -3*r - i = b, 1 = 4*r + 5. Which is greater: b or 1/2?
b
Let b(p) = p**2 - 5*p - 3. Let g be b(4). Are g and -7 unequal?
False
Suppose -3*r + 16 = -7*r. Is -2 <= r?
False
Suppose 0 = 3*t - 4*l + 18, -t - t - 12 = -3*l. Let n = t + 10. Let o = n + -6. Which is smaller: o or 1/2?
o
Suppose 9*d - 21 = 16*d. Which is bigger: d or 2?
2
Let p be (36/(-16) - -2) + 141/(-12). Which is smaller: -13 or p?
-13
Let k be ((-25)/60 + 6/8)*-3. Which is greater: k or -7/4?
k
Let h = 3 + 1. Suppose 4*b - h = -0*b. Which is greater: b or 0?
b
Let v = 64 + -44. Suppose 0 = -8*r + 12*r - v. Is r less than or equal to 4?
False
Suppose -2*m = 2*y - 50, -5*m = 5*y - y - 104. Suppose h + 3*s - 2 = 0, 5*s - y = 4*h + 22. Which is smaller: h or -8?
-8
Let x be -2 + 2 + (1 - 1). Let u be 2 - (-5)/(10/(-4)). Suppose -2*t + 3*t - 1 = u. Is x bigger than t?
False
Let v = -33 + 49. Which is smaller: v or 2?
2
Let l(y) = -y**3 + 5*y**2 - 2*y + 4. Let j be l(4). Let q = -10 + j. Let f be 3/(-6)*(0 + 0). Which is bigger: q or f?
q
Let m(l) = -l + 5. Let w be m(-4). Which is bigger: w or 11?
11
Let n = 4.8 + -5. Is n bigger than 1?
False
Let p = -502/7 + 72. Which is bigger: p or -0.002?
p
Suppose -2 - 2 = -2*g. Suppose f = -3, 2*q - 2*f = -g*q + 10. Which is bigger: q or 2?
2
Suppose 35*y = 40*y + 80. Which is greater: -14 or y?
-14
Suppose o - 3 = 5. Let s be o/14*3/(-6). Let p(z) = z**3 + 3*z**2 + 2*z. Let w be p(-2). Which is greater: s or w?
w
Let c = -18.645 + -0.455. Let q = c + 18. Let b = -1.1 - q. Which is smaller: b or 6?
b
Let t be (-10)/25*(2 + -27). Suppose 0 = -3*s + 5*a - 0*a - t, -a - 26 = 5*s. Which is smaller: -4 or s?
s
Let q be (1 - 0)*(1 + (-63)/60). Which is bigger: 3/2 or q?
3/2
Let g be ((284/(-26))/(-1))/84. Let r = g + 1/42. Let j be (-4 - -1) + -11 + 14. Does r = j?
False
Suppose -2*f = f + 120. Let t be (-14)/30 - 24/f. Let p = 0 - -1. Which is smaller: p or t?
t
Let f(y) = y + 6. Let r be f(0). Let s(g) = g**3 - 7*g**2 + 7*g - 4. Let n be s(r). Which is smaller: 2/3 or n?
2/3
Let d = 0.043 + 14.957. Which is bigger: d or 2/17?
d
Let c = -4 - -3. Let p = -7 - -6. Is c > p?
False
Let a = 6 - 4. Let w be 8/(-42)*(-1)/a. Is -1 less than w?
True
Let g = -2 + -1. Let v = 3.1 + g. Suppose d - 3*a - 6 = -4*d, -5*d - 4*a = 8. Does d = v?
False
Let v = -0.01 - 3.99. Let j(t) = t + 9. Let i(r) = 4*r + 4. Let z be i(-3). Let p be j(z). Which is smaller: p or v?
v
Suppose 0 = -4*i + 69 + 31. Suppose -5 = -2*m - 0*m - p, p + i = 4*m. Suppose -2*u + 12 = -m*v, -5*v - 9 = u - 0*v. Which is bigger: u or 1/5?
u
Let j be ((-329)/(-49) - 7) + (-2)/(-56). Which is smaller: -20 or j?
-20
Let n be (-39)/5 - (-4)/(-20). Let t be 18*(-2 + (-18)/n). Let f = 5 - t. Which is smaller: 0 or f?
0
Let g = 5 - -8. Suppose -7 = m - 2*v, -4*m + g + 4 = v. Is 2 smaller than m?
True
Let l(d) = d**3 - d**2 + d + 5. Let z be l(0). Suppose 4*w = -2*o + 86, -4*w + 8 = z*o - 87. Let x = w + -81/4. Which is greater: 1 or x?
1
Let r(t) = t + 5. Let k be r(-5). Let m be (k - 0)/2 - -1. Let v be 0 + m/1*0. Which is smaller: -2/3 or v?
-2/3
Suppose 0 = -n + 5*l, -3 = -n + l + 1. Suppose -n*i + 3*i = -w + 1, 5*w + 3*i + 8 = 0. Is w bigger than -2/15?
False
Let t = -7 - 0. Let n = t - -8. Is -3 smaller than n?
True
Let q be 4/(3/(495/6)). Suppose -4*x + 3*l - 41 - 49 = 0, 5*l = 5*x + q. Let h be 44/x - 2/(-6). Are h and -3 equal?
False
Let f be 5*(-2)/(-2)*-4. Which is smaller: -19 or f?
f
Let r be 33/(-44) - (-1)/136*-58. Which is smaller: r or -2?
-2
Suppose 0 = -c - 0*c. Suppose c*h = h. Is 1/18 at most h?
False
Suppose 0*u = -4*a + u - 24, a + 6 = -u. Let v = a - -31/5. Let l be (-2 + (-14)/(-6))*-3. Which is bigger: l or v?
v
Let j be (912/(-44))/3 + 0. Which is greater: -8 or j?
j
Let z = -67/4 + 18. Which is smaller: z or 0?
0
Let f = 0.19 - 0.01. Let k = 1.82 + f. Which is smaller: k or 1?
1
Let s be 0 + -1 + 11/7. Let h = -17 + 14. Let r(n) = -n**2 - 4*n - 2. Let k be r(h). Is k less than s?
False
Suppose -10 = -7*d + 2*d. Is d at most as big as 12/7?
False
Let x = 2 + 21. Which is smaller: 22 or x?
22
Let h be (28/(-2 + -2))/(-1). Suppose 5*u = h*u + 2. Is -7 greater than u?
False
Let c = 0.03 + 4.97. Is c less than 0?
False
Let p = -13.6 + -0.3. Let t = p - -14. Which is bigger: -5 or t?
t
Let z be ((-2)/18)/(1/(-12)). Which is greater: z or -0.2?
z
Let h be (36/(-42))/(1/(-7)). Let r = -13/3 + h. Is r < 1?
False
Let q(a) = a**3 - 6*a**2 - 7*a. Let l be q(7). Let g = 4 - 15. Which is greater: l or g?
l
Let c be (-6)/4*4/(-6). Is 2 bigger than c?
True
Let m = -5 - -1. Let l = -0.6 - -0.5. Which is smaller: m or l?
m
Let w = 54.9 - 55. Is 8 > w?
True
Let b = 0.12 + 0.58. Let m = -2.3 - b. Is 2 at most as big as m?
False
Let d be (2/(-6))/(8/(-6)). Let y(i) = 11 - 5 - 12 + 2*i - 9. Let l be y(9). Which is greater: l or d?
l
Let o = -3 - -2.9. Which 