(25 - 26). Which is bigger: l or z?
l
Let q = 1.9505 + 0.0495. Is q smaller than -11?
False
Let a(k) = 28*k - 15. Let u be a(1). Which is bigger: 17 or u?
17
Let c be (1/(-3))/((-1)/(-3)). Let k be 1/(-4)*(-1)/25*5. Which is greater: k or c?
k
Let j(k) = 3*k + 10. Let l be j(-5). Let i be (-7)/l + (-12)/30. Is i >= -7?
True
Suppose -7*w + 48 = -3*g - 8*w, 0 = -5*w. Let x be 2/(-1) - (-138)/(-10). Which is smaller: x or g?
g
Let k = 20339 - 12671209/623. Which is smaller: 0 or k?
k
Let d(m) = -m**3 + 7*m**2 + m - 1. Let c be d(7). Suppose 0 = 3*k + c + 15. Is k at most -7?
True
Suppose -4*u = -3*r + 4*r + 294, 0 = u. Which is smaller: -293 or r?
r
Let r(t) = -85*t**2 + t - 1. Let v be r(1). Let j be (1/1)/1*(-34)/v. Which is smaller: -3/2 or j?
-3/2
Let o be 9/(-18)*(-3)/(-9)*0. Is o at most 2/153?
True
Let s(v) = v**2 + 33*v + 158. Let n be s(-36). Is n at most as big as 267?
True
Let i = -14 - -18. Suppose 0 = 5*y + 4*x - 3, -12 = i*x - 0*x. Suppose -5*t - 2 = -0*g + g, 0 = 2*t - y*g + 11. Is t >= -1?
True
Let v = -0.5 - -0.3. Let u = v - -0.1. Let q = 41.6 + -41.51. Which is greater: u or q?
q
Let s = 284 + -295. Which is greater: s or -13?
s
Let r = -646 - -647. Which is smaller: 0.35 or r?
0.35
Suppose q + 0 = 35. Let v be (-10)/q + (-24)/14. Suppose s + 3*b = 3, 57*s - 2 = 58*s - 2*b. Which is smaller: s or v?
v
Suppose -388 = -3*p - m, -4*p + 128 = -3*p - m. Is 125 at least p?
False
Let g = -37 - -36. Let m(z) = -16*z - 9. Let l be m(-7). Let h = l - 723/7. Is g > h?
False
Let z be (-1716)/(-168) - 2/(-7). Let w = -155/14 + z. Which is greater: w or 1/13?
1/13
Suppose 0 = -67*d + 74*d - 105. Is 15 at least d?
True
Suppose 5*t - p = -19, 0 = -4*t + 2*p - 1 - 13. Let h be (-348)/t - (-8 - (-2 - 2)). Which is smaller: 92 or h?
h
Suppose 24 = 5*u - 21. Suppose 6*o - u = -3. Which is smaller: o or -0.17?
-0.17
Suppose -5*g - 1 = -16. Let z be g/6 - (-6)/(-4). Let d be -1 + 2 + 3/(-2). Is d at least as big as z?
True
Suppose -4*p + 10 = -5*o, -o = 3*o - 3*p + 8. Suppose 0*w + 5*w = -5*k - 30, 4*w - k + 34 = 0. Let x = w + 9. Which is smaller: o or x?
o
Let u = -7 - -10. Let a be u - 2 - 47 - 0. Let s be 12/42 + a/14. Which is smaller: -5 or s?
-5
Let t = -81 - -67. Let o be ((-1)/(-2))/(-2*t/24). Which is greater: 1/3 or o?
o
Let t(v) = 2*v**3 + 45*v**2 + 24*v + 39. Let z be t(-22). Let n = 11 + -20. Do n and z have different values?
True
Let o = 858 - 873. Are -40 and o equal?
False
Suppose -15*p + 3*y = -18*p + 255, 5*p - 461 = 4*y. Which is smaller: p or 91?
p
Let y = 959 - 1025. Which is bigger: y or -323/5?
-323/5
Suppose 0 = -14*c + 21*c - 70. Which is smaller: c or 34/3?
c
Suppose 4*s + 6 = 2*s. Let g be (0/(3 - 4 - s))/3. Are g and 4/19 equal?
False
Let m(a) = -a**2 + 9*a - 15. Let k be m(7). Let z = k + -10. Let u = 14 + -16. Is z greater than or equal to u?
False
Let y be 9 + (-7)/(7/3). Let q be (120/(-18))/(-2)*24/10. Which is smaller: y or q?
y
Let m(p) = 2*p**3 - p**2 + 2*p. Let s be m(-2). Let a = -16 - s. Let g = 13 - a. Is 8 less than or equal to g?
False
Let v(w) = -w**3 + 7*w**2 - 8*w - 4. Let n be v(6). Let s = 47/3 + n. Is s at least as big as 7?
False
Suppose 5*y + 28 = 2*t, -4*y - 4 = -3*y. Let i be (-38)/12 - (-2)/t. Suppose 0 = -5*u - 18 - 2. Which is greater: u or i?
i
Let f = 0.227 - -4.773. Are f and -4 non-equal?
True
Suppose 33 = -3*a + 18. Let k(u) = 3*u**2 + 17*u + 11. Let j be k(a). Which is smaller: -1/11 or j?
-1/11
Let z(r) = r**3 - 10*r**2 + 10*r - 4. Let y be z(9). Suppose y*f - 131 = 2*f - 4*t, 0 = -2*f + 4*t + 74. Do 42 and f have the same value?
False
Let c = -114 + 113. Let n be -4 - c/(1*2/(-8)). Which is smaller: -2 or n?
n
Let t = -33 + -7. Let q = t + 39. Which is bigger: q or 2?
2
Suppose -3*c = -4*r + 1874, c - 3*r + 717 - 94 = 0. Do -625 and c have the same value?
False
Let r be 0/(2 + -5 + 1). Let v(d) = 7*d - 62. Let a be v(9). Which is smaller: a or r?
r
Let w(j) = 2*j**3 - 22*j**2 - 22*j - 39. Let t be w(12). Let k = -20 - -4. Are t and k unequal?
True
Suppose -1117*o + 105 = -1102*o. Let g = 343/5 + -69. Which is bigger: o or g?
o
Let c be 4 + (-92)/44*2. Let k = -1.9 + 0.9. Do k and c have the same value?
False
Suppose -109 + 17 = 4*r + u, 0 = -5*r + u - 115. Let l(o) = 3*o - 5. Let d be l(-6). Is d less than or equal to r?
True
Let q = 33 - 26. Suppose -q*d = 8*d - 45. Which is greater: -2 or d?
d
Let w = -29.1 - -38. Let b = -3.9 + 12.9. Let a = b - w. Is 1/3 >= a?
True
Let i = 65.43 - 65.23. Suppose v = f - 25, 5*f + 49 = -5*v + 214. Is i < f?
True
Let s be 6341/17 + (-2)/2. Let g be -2*(3/(-8))/(s/(-16)). Is g != -1?
True
Suppose 4*d = i - 6, -4*i + 13 - 7 = 2*d. Which is greater: -0.046 or d?
-0.046
Let u = 28 - 16. Let f(o) = -o**3 + 11*o**2 + 12*o - 8. Let s be f(u). Let t be 10/12 - (9 + s). Which is smaller: 1 or t?
t
Suppose 0 = 3*q + 2*q - 65. Suppose 0 = -14*y + y - q. Is 2/221 > y?
True
Let q be (6/4 + -1)*0. Let w = 5 + q. Suppose 2*n - w*n = 0. Is 0.1 != n?
True
Suppose -4*w = 5*d + 23, 67*d = 62*d + 25. Let p be (1/(-2))/(2/40). Which is bigger: p or w?
p
Let s = 11 - 8. Suppose 0 = s*b - 7*b. Let t = -1031/7 + 147. Which is smaller: t or b?
t
Suppose -2*n - 60 = n. Suppose -2*j = -3*g - 65 - 0, -3*j = g + 18. Which is greater: n or g?
n
Let l = -8 + 8. Suppose -2*b + l = -4. Let r = -5 + b. Is r at least as big as -3?
True
Let p = 1.6 + 4.4. Let z(g) = g**3 + 8*g**2 - 6*g + 29. Let w be z(-9). Suppose 5*d - 35 = w*h + 2*h, 2*h - 5 = -5*d. Is p != d?
True
Let n be (-78)/82 + 1 + 0. Suppose 5*f = -b + 22 - 11, 0 = b + 4*f - 9. Is b less than n?
False
Suppose 97 = -123*v + 35 - 61. Let t be ((-4)/(-326))/((-44)/1370). Let s = t - -3/163. Which is smaller: v or s?
v
Let g = -4 - 13. Let t = g - -17.13. Is t not equal to 1?
True
Suppose -3*j - 3*c = -3, -9 = 5*j - c - 38. Suppose -84*p + 87*p = 0. Suppose p = -3*h + j*h. Which is bigger: h or -1/7?
h
Let z = 44 - 44.5. Let b = -2.8 + 0.8. Let m = -2 - b. Which is smaller: m or z?
z
Let q = -222 + 216. Suppose -4*i + 25 = a, -3 = -i - a + 4*a. Let n be 3/i*(-2 - -3). Is q greater than n?
False
Let x = -38270 - -2219865/58. Let o be (-230)/58 + (5 - 1). Let k = x - o. Is 5 greater than or equal to k?
True
Let z be (2436/145)/(2/10). Is z bigger than 84?
False
Suppose 8 = -2*b, -2*b - 6 = -5*j + 7. Let a be -2 + j + 42/30. Let n = 0.06 - 0.12. Which is greater: a or n?
a
Let q(y) = -2*y**3 + 15*y**2 - 22*y - 1. Let v(t) = -t**3 - t**2 - t. Let c(a) = -q(a) + 3*v(a). Let w be c(-19). Which is bigger: w or 12/13?
w
Let n = 63 + -39. Suppose 0 = 2*a - n + 12. Let b = 6 - a. Which is smaller: b or 3/34?
b
Let o be (-255)/(-45) - ((-12)/9 - -2). Suppose -4*r + 84 = y - 11, 3*r + o*y = 50. Is r >= 26?
False
Let m = 0.1432 - -0.0568. Is m > 85?
False
Let z be (-3)/(-6)*(-6 - -7)*-30. Which is bigger: z or -32?
z
Let s(r) = -r**2 + 17*r + 122. Let y be s(22). Is -4 greater than or equal to y?
False
Suppose -2*z - u + 233 = 0, 4*z + 3*u - 222 = 249. Which is smaller: 118 or z?
z
Suppose -2 = -2*s - 22. Let w = s - -8. Which is bigger: -10/11 or w?
-10/11
Let c = 11 + -7. Let j be 3 + (-180)/175*5/2. Which is smaller: j or c?
j
Let g = 3 - 1. Let b = -4 - -13. Suppose 15*p + b = 18*p. Is g at least as big as p?
False
Let d be (-3)/12 - (-175)/28. Suppose -3*t = -2*t - d. Are 8 and t equal?
False
Let g = 1487/447 - -1/149. Let j be 3*1/((-12)/(-8)). Is g at most j?
False
Let k = -37 + 311/8. Let v = 1 - -1. Let a = v - 1. Is k equal to a?
False
Let t = -548430/13 + 42220. Are 33 and t non-equal?
True
Suppose -9*j + 90 - 54 = 0. Is 159 bigger than j?
True
Suppose -h + 7 + 18 = -4*g, 5*g + 5*h = -50. Let d be (-14)/g + -2*2. Let w = -512/665 + -4/133. Is d != w?
True
Suppose 3*j + 2*j + 20 = 0. Let p be (-10 + 7)*j/6. Suppose p*y = 3*y. Is 3/5 < y?
False
Let g = 18 + -8. Which is smaller: g or 6?
6
Suppose 0 = -8*d - 3*d + 33. Suppose -12 = 3*b, 3*b + 9 = s + 2*b. Is d <= s?
True
Let a(k) = k**2 - k - 4. Let y be a(3). Suppose 0 = 2*g + 4*s + 2, 3*s = 2*s - y. Let d be 2/g + 3/(-6). Which is greater: 0 or d?
d
Let p(i) = -3*i**3 + 3*i - 2. Let t(l) = 7*l**3 - l**2 - 7*l + 5. Let k(j) = 9*p(j) + 4*t(j). Let g be k(4). Is g > -3?
True
Let f(g) = 2*g**3 - 3*g**2 + 3*g - 2. Let z be f(2). Let q(k) = k**3 - 9*k**2 + 7*k - 7. Let l be q(z). Let