ue
Let l(g) = -g**2 - 18*g - 25. Let z be l(-17). Is -5 < z?
False
Let w = 175504/75 - 2340. Let r = w - -26/75. Is r at most as big as -1?
False
Suppose -252*f + 1 = -253*f. Let k(t) = -t**3 + t**2 + t + 1. Let o be k(2). Let i be o*1/7*f. Is i > 0?
True
Let w be (-5)/(-3) + 2 + -3. Let m be ((-8)/1)/(4/(-6)). Suppose -4*u + 0 - m = 0. Is w at least as big as u?
True
Let f be (8/(-6))/((-4)/(-12)). Let w = -3 - f. Which is smaller: -1/9 or w?
-1/9
Let y be -3 + 8 - 5 - -16. Are 12 and y unequal?
True
Let l = -148/21 - -40/7. Suppose -c - 3 - 1 = 2*p, 4*c + 2*p = -4. Is c at most l?
False
Let h(o) = -2*o. Let x be h(-6). Which is greater: x or 13?
13
Suppose 5*y - 20 = 3*z + 44, -2*z = 2*y - 16. Which is greater: 10 or y?
y
Let f = 3 - 3. Suppose 0 + 8 = 4*h + 3*t, f = -2*t. Let n = 1 - 0. Which is smaller: n or h?
n
Suppose -8 = k - 3*k. Let n be ((k - 0)/(-4))/1. Which is smaller: n or -2?
-2
Let f = -0.27 + -6.73. Is -1 at least f?
True
Let b(f) = -f**3 + 4*f**2 - 7*f + 5. Let r be b(2). Is r > 14?
False
Let t be ((-6)/(-12))/(2/12). Let v = -1/7 + 23/14. Which is smaller: t or v?
v
Let t = 7 - 9. Suppose 2*k = -3*p - 10, -k - 5 = -2*p - 0*p. Let q be (-14)/8 - p - -1. Which is greater: t or q?
q
Let j be 10/4*(-4)/5. Let h be 4 + 0 + (j - 1). Let t = -5/17 - -105/68. Is t bigger than h?
True
Let d(i) = i + 11. Let z be d(0). Is z less than or equal to 10?
False
Let y = -28/3 - -9. Is y at least as big as -1?
True
Let p = 26.2 + -1.2. Which is smaller: p or 3?
3
Suppose 11 = -2*f + 3. Let x be 12/f*(-6)/9. Suppose -6 = 4*t - x*k + 6, 0 = 4*k. Which is smaller: t or 1?
t
Let h = -1.71 - -1.61. Which is greater: 0.089 or h?
0.089
Let r be (-4)/((-12)/9) - 1. Let s be r/(-4) + (-3)/(-12). Which is smaller: s or -1/2?
-1/2
Suppose -2*b - 10 = -5*p, -b - 5 = -4*p + 6. Suppose b*c - 4*i = -9, 4*c + i + 3 + 0 = 0. Do c and -1 have the same value?
True
Let r be (1 + -2)/(77/42). Let y = -2 - -4. Let g be 3 + (3 - y) + -6. Which is smaller: r or g?
g
Let y be (-3)/(-2)*(-224)/126. Is 2/3 <= y?
False
Let p be (1/7)/((-2)/6). Suppose -2 = 4*s - r, -15*r + 12*r = 6. Which is greater: s or p?
p
Let k be 0 - (-3)/12*3. Is -1 > k?
False
Let a = 15 - 9. Let d(v) = v - 5. Let j be d(a). Which is smaller: -2/11 or j?
-2/11
Let k = 0.04 + -9.04. Let m = k - -8.9. Which is smaller: -1/13 or m?
m
Let f(a) = a**3 - 11*a**2 - 11*a - 5. Suppose 0 = u - 5, 5*j - 68 = u - 13. Let c be f(j). Which is smaller: 6 or c?
6
Let v = -1 - -1.4. Let f = -8 + 7.4. Let x = f - v. Which is smaller: 2 or x?
x
Suppose 6*w - 3*w - 2 = -4*m, -14 = 4*w + 2*m. Is w less than or equal to -6?
True
Let b = -0.4 + 0.3. Is 16 less than b?
False
Let m be 6/(-27) + (-18)/(-81). Which is smaller: -1 or m?
-1
Let y(b) = b**2 - 5*b + 4. Let d be y(5). Suppose 7*t = d*t. Let c be (4 + -2)/(1/(-1)). Is c greater than t?
False
Let t = 13763 - 9730443/707. Let o = t - 1380/12019. Let m be (0 - 0) + (-1)/2. Is m less than or equal to o?
True
Let z = 23 + -22. Are z and 2/19 unequal?
True
Let a = 97 - 97. Which is smaller: 5/6 or a?
a
Suppose 0 = 5*s + 5*b, -4*s + 5*b + 46 = 1. Suppose -4 = 4*f - 28. Which is bigger: f or s?
f
Suppose -4*f = -5*o + 10, -2 = 3*o - f - 8. Suppose 4*g = o + 6. Let h(a) = a**2 - a - 3. Let j be h(3). Is j at most as big as g?
False
Let f(x) = -x**2 + 7*x + 3. Let u be f(6). Suppose 0 = t - 2*t - 3*r + u, -2*t - 2*r = -10. Suppose 5*c - 5*a = 15, -5*a = -2*a + 3. Which is greater: t or c?
t
Let q be 72/(-7) - 16/(-56). Let u be (-21)/30 - 15/q. Is u smaller than 0?
False
Let y = -16 + 17. Is 2/11 > y?
False
Let a = -4 - -4. Suppose a = -4*z + 5*z + 4. Let j = -7 + 5. Is j less than or equal to z?
False
Let a(z) = -15*z + 15. Let u be a(4). Which is smaller: -46 or u?
-46
Let n be 1/12*-2*2. Suppose -18 = -j + 5*x, -3*j - 8 = -4*j + 3*x. Let f = j + 9. Which is smaller: n or f?
n
Let t = -41 - -21. Let o be (-24)/t*20/6. Which is greater: o or 5?
5
Let w = -3/22 - -7/11. Suppose 3*o - 7*o - 5*x = -25, -3*x - 2 = -o. Suppose 3*q = -o*a + 12 - 4, q - 4 = -3*a. Are w and a equal?
False
Suppose 9*b = -9 + 144. Which is smaller: 16 or b?
b
Let p be (-2)/14*-4*(-91)/(-13). Which is smaller: p or 2?
2
Let i = -4 - -1. Let o = i + -1. Suppose 4*b + 7 = -5, -3 = 2*m + b. Which is bigger: m or o?
m
Suppose 4*k + k - 5*s = -10, -5*k - 2 = -s. Suppose y - 1 - 2 = 0. Suppose -2*m - m = -y. Is m greater than k?
True
Let z be (-4 - -1) + 6896/2304. Is z less than 0?
True
Let m = 8 + -10. Is 0.3 smaller than m?
False
Let y be 45/(-75)*2/6. Which is smaller: y or -1?
-1
Let k = -4 + 4. Suppose -19 = -3*p - 91. Let w be (3/p)/((-9)/12). Which is smaller: k or w?
k
Let p = 7121/21 - 339. Do 1 and p have the same value?
False
Suppose -g + 0*g = -1. Let x(k) = 9*k. Let f be x(g). Is f > 8?
True
Let k be (12/105)/(8/(-20)). Suppose 3*d - 3 = 0, -m = -5*d + 3*d + 2. Which is smaller: m or k?
k
Let k(o) = -o**3 + o**2 - 1. Let t be k(0). Which is smaller: -4/31 or t?
t
Let g = 167 + -280. Which is smaller: -112 or g?
g
Let i(x) = -2*x**2 + x - 1. Let t be i(1). Let h be 1/t + 1/(-2). Let z = 9 - 28/3. Is z equal to h?
False
Let g be (4/3)/((-18)/(-243)). Let v = 20 - g. Do -1 and v have different values?
True
Suppose 5*o + 4*r = -28, -o + 0 - 2 = -r. Let a be ((-1)/(-21))/(2/o). Is 0 bigger than a?
True
Let r = -1.37 - -2.37. Which is smaller: r or 2.5?
r
Suppose 12 = -4*t - 4. Let n = -3 + t. Let b = 6 + n. Is b at least as big as 3/8?
False
Let r = -1 + 0. Let b be (-1*(r - -2))/1. Suppose 19*y = 4*y - 15. Is y <= b?
True
Suppose 4*v - 4 = 3*t, -v + 1 = -0*v - t. Let q be -1 - (2 - 1) - 4888/(-2350). Do q and v have the same value?
False
Let n = -6 + 0. Let z = n - -7. Let b = -0.06 - -0.46. Which is greater: b or z?
z
Suppose -r - 5 + 4 = 4*n, 0 = -n + 2*r - 7. Let q be 2/(-6)*(-9)/n. Does q = 0?
False
Suppose -3*t = -8*t + 680. Let l = t - 2175/16. Which is bigger: 0 or l?
l
Suppose 4*p - 54 = 3*w, -p + 5*w - 2*w + 9 = 0. Let t be ((-10)/p)/(6/9). Let y(r) = -r + 1. Let c be y(0). Which is bigger: t or c?
c
Let h be (-8 - -8 - -1*1) + 3. Which is bigger: h or 0.08?
h
Let b = -122 - -612/5. Let f be (-7)/(-14) - (-4)/(-8). Is b greater than f?
True
Let p = -37.1 - -37.1326. Let w = 7.9626 - p. Let a = w - 8. Which is greater: a or 0?
0
Let l = -14/19 - -4/57. Let t(b) = -b - 5. Let i be t(-4). Is i at least as big as l?
False
Let c(w) = -2*w**2 + 2*w. Suppose -5*j - 4*s + 43 = -8*s, -3*j = -2*s - 25. Let p be c(j). Let i be 45/p + 4/14. Is i at most as big as 1?
True
Let m(s) be the third derivative of -s**4/24 + 11*s**3/6 + 2*s**2. Let w be m(0). Suppose -w = -5*d - 1. Is 1 != d?
True
Suppose 0 = 2*q - x + 12, 5*q + 2*x + 21 = -0*q. Is q > -1/2?
False
Let g(n) = -n**2 + 12*n - 5. Let m be g(9). Let l be (-4)/m - 250/(-528). Let w = -1/24 - l. Is 1 at least w?
True
Let n = 20 + -2. Let u be (-1)/(-4) + n/(-8). Let i = 2.8 + -3. Are u and i unequal?
True
Suppose -5*g = -2*p - 21 + 5, 2 = 3*g - 5*p. Suppose -18 = -2*a - g*q, 0 = 5*a - 3*q - 0*q + 7. Is a smaller than -2/7?
False
Let i = 2 - -6. Let o = -4 + i. Which is smaller: -1 or o?
-1
Let m = -0.25 - 0.25. Let b = 9 + -7. Is m less than or equal to b?
True
Let l be -2 - -6 - 0/(-2). Suppose l*c + 81 = c. Let f = c - -133/5. Is -0.4 at least as big as f?
True
Let s = 0 - -0.1. Let h = 545/6 + -91. Let i = h + 1/2. Which is smaller: s or i?
s
Suppose -o = -2*o. Suppose d = -o*d. Let s be 1/6*6/(-8). Is s <= d?
True
Let w be 1 - 3945/(-3213) - 2. Let j = -2/357 + w. Suppose -7*s + 2 = -5*s. Is s smaller than j?
False
Let a = 46 - 599/13. Are a and 0 equal?
False
Let a = 109 + -75. Is a at least 35?
False
Let w be 2/(-2*2 - (-374)/85). Is 4 at least as big as w?
False
Let r(a) = a + 1. Let d be r(-1). Do d and 0 have the same value?
True
Let h be (-1)/(-2)*20/(-30). Let b = 6 - 4. Which is bigger: b or h?
b
Let l = 61 + -62. Which is smaller: 2/3 or l?
l
Let i be (-6)/4*(-2)/3. Let u be (-9)/2 + 3/6. Let l be (-2)/u + -1 + i. Which is smaller: -2 or l?
-2
Let j = -3.3 + 3.2. Which is smaller: j or 7/13?
j
Let y = 19361/315 + -307/5. Are 1 and y equal?
False
Suppose -5*b - 1 = -26. Let h = -2 + b. Let v be 1 + 0*h/9. Which is smaller: v or 1/2?
1/2
Suppose b = -2*b. Suppose 4*g - i - i + 18 = b, -2*i + 8 = g. Which is smaller: -8/3 or g?
-