25?
False
Let d be 25*-4 + 1*(-4 - -5). Is d less than -101?
False
Let w(a) = -a**3 - 11*a**2 - 10*a + 9. Let x be w(-10). Suppose 0 = -x*m + 6*m + 6. Suppose m = 2*v + s, 2*v + 3*s = -s + 8. Which is smaller: 2 or v?
v
Let g(a) = -a - 25. Let c be g(0). Which is greater: -2 or c?
-2
Let n(m) = 4*m**2 + 2*m + 1. Let u be n(-3). Is 29 less than u?
True
Let w be ((2 + -3)*-4)/((-9)/(-36)). Suppose -a = a + w. Which is smaller: a or 0?
a
Let o be (5 + -9)/((-4)/6). Suppose -o = y + 5*s, 3*y - s + 4*s = -30. Which is bigger: y or -12?
y
Let q be 10/(-3)*-3*(-12)/10. Let h be (-44)/48 + (-3)/q. Which is bigger: h or 6/13?
6/13
Let x(t) = -4*t + 1. Let f be x(-2). Let y be ((f - 2) + -2)/(-6). Suppose -13*a = -10*a - 3*c + 21, -4*a - 5*c + 26 = 0. Which is smaller: y or a?
a
Suppose 2*d - d - 7 = 0. Suppose -2*s = 4*l - 22, 3*s + d = 3*l - l. Suppose z - l*h = 2*z + 7, -h = -2*z + 8. Which is smaller: 12/7 or z?
12/7
Suppose 0 = 4*x - 2*h - 6, -5*x + 5*h = -3*x + 17. Let r be (2 - (2 - 1))*-2. Let u be (r + (x - 3))/(-1). Does u = 14/9?
False
Let a(z) = z**3 + 40*z**2 + 120*z - 50. Let t be a(-38). Is t smaller than -1723?
False
Let l(h) = 3*h - 10. Let k be l(4). Suppose 0 = -3*a - k*b + 40, 67 = 5*a - 0*a + 3*b. Suppose 2*x = 5*t - 34, -4*x - a = 3*t + 2. Is -7 > x?
False
Let w be 905/(-612) - 5/(-4). Let l = w + 2/17. Are -0.1 and l equal?
False
Let s(l) = -2*l + 7. Let a be s(-4). Let d be (-294)/30 - 3/a. Is d at least as big as -10?
True
Let t = 13 - 14. Let o be 1 + 4*(4 + -3). Let z = o - 5. Which is greater: z or t?
z
Let r = -760/9 + 85. Let y(w) = w**3 - 20*w**2 + 33*w + 54. Let p be y(18). Which is smaller: p or r?
p
Let l be ((-17)/(255/10))/(1696/18). Is 0 bigger than l?
True
Let m = 1339 - 1338.28. Which is smaller: -0.02 or m?
-0.02
Let i = -6/3217 + -1520/2634723. Is 1 smaller than i?
False
Let d = 427.1 + -427. Which is smaller: d or -180/19?
-180/19
Let a = -12 + 22. Let o = 82 - 122. Let n = -32 - o. Which is greater: n or a?
a
Suppose 5*u - 75 - 25 = 0. Let z be ((-4)/u)/((-9)/10*4). Is z <= -7?
False
Suppose 0 = -f + 4*f - 2*o + 10, 2*o + 2 = 0. Suppose 5*y = 4*n + 45, 0*y - 3*y - 4*n - 5 = 0. Let a = y + f. Is a <= -4/9?
False
Let o = -14 + 13.5. Let a = o + 2.1. Let x = a - 2.8. Which is smaller: x or 0?
x
Let t = -0.703 - -0.703. Suppose -5*q + 3*k - 34 = 0, k - 9 = q - 1. Let f = 7 - q. Which is bigger: f or t?
f
Let s(l) be the second derivative of l**4/12 - 11*l**3/6 - 13*l. Let z be s(11). Let o(v) = -16*v**3 - v**2 - 2*v - 1. Let n be o(-1). Which is smaller: n or z?
z
Suppose 0 = 2*y - y. Let h be y + (-30)/(-8) + -3. Suppose -4*c + 3*m - 3 = 0, -2*m = -c - 0*m - 2. Is h smaller than c?
False
Let i = 14.09 - 14. Let u = 0.91 + i. Let k = 1.1 - u. Which is bigger: k or -5?
k
Suppose 1494*x = 1490*x - 72. Is x at least as big as -22?
True
Let x(z) = z**2 - 2*z - 4. Let p be x(3). Let c(w) = w. Let i be c(2). Let s be 228/(-44) + 3 + i. Are p and s nonequal?
True
Suppose -7 = d - 2*w - 0*w, -3*d = w - 7. Let z = 12 + -13. Let y be (z/(-2))/(21/(-6)). Is y less than d?
True
Suppose -192 = -71*b + 103*b. Which is bigger: b or -94?
b
Let m(a) = 3*a**2 + 12*a - 13. Let x be m(9). Let t be 2/(-7) + x/(-91). Let c = 14 + t. Which is smaller: 9 or c?
9
Let h be (-6)/27 - (-909)/7371. Is h smaller than 1?
True
Let n = 1738/15 - 116. Suppose 4*j - j + 3 = 0. Let u = 1 + j. Is n equal to u?
False
Let g = 1 + -1. Let x be 5/(-2) - (-1808)/672. Is g at most as big as x?
True
Let f = 0.2 + -4.2. Let w = -630 + 17014/27. Let c = 35/54 - w. Are f and c equal?
False
Let v = 38 + -37.908. Let o = v + -2.092. Which is greater: 2.4 or o?
2.4
Let j be (30 - 32)*-17*2/4. Let o = 18 - j. Which is smaller: -3/22 or o?
-3/22
Let w(a) = 23*a + 161. Let f be w(-7). Which is greater: 2/1601 or f?
2/1601
Let l = -69 + 70. Let q be (l/1)/(3*(-5)/135). Which is smaller: q or 3?
q
Let f(t) = -110*t + 13. Let o be f(-4). Suppose -13*a + o + 795 = 0. Which is greater: a or 95?
a
Let w = -239 + 519. Which is smaller: 279 or w?
279
Suppose 7*u + 36 = 10*u. Let g be 2*((-18)/u - -1). Which is greater: g or 3/32?
3/32
Suppose -y - 3*y = 0. Let n = 286/9 + -6614/207. Is y <= n?
False
Let k be (4/36)/((-2)/(-3)). Suppose 5*u = -4*m + 18, 4*u + 2*m + 2*m - 16 = 0. Suppose -3*d = u*d. Which is smaller: k or d?
d
Let j(o) = -o**2 + 8*o + 2. Let s be j(6). Suppose 3*a = -4*v - s, 8 = -v + 3. Let w = -809/12 + 212/3. Is w bigger than a?
True
Let a = 9 + -5. Suppose 3*s + 5*n + 14 = s, a*n + 16 = -4*s. Which is smaller: s or 0?
s
Let a = 8777/41 + -214. Which is smaller: a or 1?
a
Let s be 2 - (47/(-2))/(3/6). Let o be (-12)/7 + (-14)/s. Is -24/7 at least o?
False
Let l = 111.6 - 121. Let a = -5.4 - l. Is a > 0.5?
True
Let p = -8 - -5. Let o be (1 - 0) + (-13)/1. Let q be 2/p*o - -2. Which is bigger: 11 or q?
11
Let m = 84.5 + -15.5. Is m greater than 2?
True
Let v be (-564)/15 - (-6)/(-15). Which is smaller: 0 or v?
v
Let w = -231 - -231.2. Let b = -0.7 - 0.3. Let m = 1 + b. Which is smaller: w or m?
m
Suppose 644 = -4*y + 2*y - 2*f, 4*f = -2*y - 640. Are -325 and y unequal?
True
Let u = -36 - -22. Let l = u - -17. Suppose -i + 3*m = 7, 0*m = 2*i - l*m + 8. Do i and -1 have different values?
False
Let v(b) = 2*b - 86. Let k be v(-21). Is -128 smaller than k?
False
Let g = -822/5 - -163. Which is greater: 1 or g?
1
Suppose 34467 = -9*b + 7494. Let c = 56967/19 + b. Is 0 bigger than c?
False
Let o = 81098 + -245638/3. Let l = o + 774. Is -8 smaller than l?
True
Let f(i) = -2*i - 52. Let d be f(-26). Suppose d = -0*t + 5*t - 0*t. Which is greater: t or 2/53?
2/53
Let w = -1/40 + -71/360. Suppose 0 = -r + 8*r + 7. Which is smaller: w or r?
r
Let a = -61/2695 + -1/55. Is -0.3 greater than or equal to a?
False
Let f be ((-56)/70)/((-2)/(-4)). Is 5/7 greater than or equal to f?
True
Suppose -944*h + 392 = -951*h. Which is greater: h or -61?
h
Let y be 4*((-20)/(-8) + -3). Let z = 0 - -12. Let h be 3/3 - z/8. Is h smaller than y?
False
Let u = 29/30 - -38/15. Which is smaller: u or 5?
u
Let h = -758 + 761. Is 1/49 not equal to h?
True
Let w = -501 - -97. Which is greater: -1 or w?
-1
Suppose 6*x = -3*p + 4*x - 4, -2*x = -5*p - 12. Let b be p/9 - 13/(-54). Which is smaller: b or 0?
0
Let r = -1765 - -12358/7. Is r bigger than -8?
True
Let b(x) = -x**3 - 32*x**2 + 66*x + 72. Let r be b(-34). Are -2/7 and r unequal?
True
Let w = 967 - 908. Are w and 59 nonequal?
False
Let x = 78.7 + -79.7. Let a = -17/4 + 13/3. Which is smaller: x or a?
x
Let k = 285 - 284. Which is smaller: k or 325?
k
Let t = 251 - 237. Is t >= 115/9?
True
Let x = -304 - -300. Let k = -32 - -32. Which is bigger: k or x?
k
Let f = 1.1 + -1. Let k = 10.9 - 10.82. Is f bigger than k?
True
Let g = 284 - 5962/21. Which is smaller: g or 3?
g
Let a = -37.6 + 17.6. Let d = -4.5 - -24.7. Let t = d + a. Is t at least 1/4?
False
Let k be (14/(-42))/((3 + 0)/(-333)). Is 0 < k?
True
Suppose -2*w - w = -5*r + 27, -4*w - 22 = -2*r. Suppose -4*f + r*i = -55, -3*f - 2*i = -2*f. Let k = 20 - 10. Is f less than or equal to k?
True
Let c be (-3 - 1)*38/(-8). Let l(j) = 3*j**3 + 20*j**2 + 20*j - 5. Let f be l(-5). Is c less than f?
True
Let l(p) = -2*p + 7. Let g be l(5). Let n be (9/3)/3 + g*1. Is n bigger than -4?
True
Let s(n) = n**3 + 4*n**2 - 4*n - 11. Let h be s(-4). Let u be ((19 + h)/4)/23. Suppose 9*k + 3*c = 4*k + 4, 0 = -2*k + 2*c - 8. Which is smaller: u or k?
k
Suppose -m - 3*v = 2, -1 = 3*m + 5*v + 17. Which is greater: m or -37/3?
m
Let y = -5614/5 + 1122. Do y and -9/5 have the same value?
False
Let q = 72 + -62. Let y be 35/(-100) + 6/q. Is y < 1?
True
Suppose 5*z = 4*v + 19, 4*z - 7 = 2*v + z. Let j = 7 + v. Let b be j/(-16) - 39/60. Which is bigger: b or -4?
b
Let d be 18 + (-2)/(-21)*3*14. Let w be (0/(-1) - 1)*(-22)/d. Do w and -76 have the same value?
False
Let i be 11 - 9 - (1 - 0). Which is greater: i or -3/41?
i
Suppose 0 = -13*q + 10*q. Let h(l) = l**3 + 9. Let t be h(q). Let a = t - 4. Is 3 bigger than a?
False
Suppose 12 = 4*i - 0*i, -5*i = 3*x - 27. Let y be (1/x)/(4/8). Let h = 123.2 - 123. Is h not equal to y?
True
Suppose 0 = -p - 2*d + 1, 2*p + 2*d - 2 = 0. Let g be 175/(-15)*p/5. Do g and -1 have the same value?
False
Let v be ((-159)/(-12))/((-3)/(-24)). Suppose -3*p - n = v, 4*p + 5*n = 