 25. Let t be (3/9)/(i/12). Suppose s = -3*g + 8, g = 4*g + 2*s - 13. Are g and t unequal?
True
Let h = 41 + -47.8. Let d = -1.2 + h. Let b = -7 - d. Which is bigger: b or 0.5?
b
Let r be (1*2)/((-16)/(-56)). Suppose -4*b + r*b = 0. Is b bigger than 1/2?
False
Let l(g) = g**3 - 9*g**2 + 8*g. Let u be l(8). Which is smaller: u or -2?
-2
Let w be (-4)/(-3 - (-21)/6). Which is smaller: w or 1?
w
Let q = 2 + 1. Which is greater: -2/5 or q?
q
Let z = -39 + 37. Is z at most as big as 9?
True
Let n = -2 - -2. Let s be n/2*(-3)/6. Let q be 24/(-18)*(-18)/(-20). Which is bigger: s or q?
s
Let m = -306/7 - -44. Let x(l) be the first derivative of l**3/3 + l**2 - 4*l - 1. Let f be x(-3). Which is bigger: m or f?
m
Let x = 5.2 - 3.2. Let w = 0 - 0. Is x bigger than w?
True
Let y = 21/5737 - 19924874/74581. Let t = 267 + y. Do t and -1 have the same value?
False
Let h = 0.1 - -1.9. Which is bigger: h or -0.1?
h
Suppose -m = 2*m - 9. Let b be (-1)/m + (-4)/(-30). Is -1 at least as big as b?
False
Let f be (-1)/2*(1 + -6 + 3). Which is smaller: -6/13 or f?
-6/13
Let w = 0.12 + -0.02. Are w and 0 equal?
False
Let m = 38.1 - 0.1. Which is smaller: m or 1?
1
Suppose -2*k + 8*k = 6. Are 0.39 and k non-equal?
True
Let c = -133 + 382/3. Is c at most 0?
True
Let l = 14.9 + -15. Let r = l - -0.28. Is r at least -0.1?
True
Let w = 0.03 - -0.02. Let i = w + -0.05. Which is greater: i or -2/7?
i
Let y = 8 - 9. Let s be (y/(-15))/(8/(-6)). Is 1 < s?
False
Let p(n) = -n**3 - 18*n**2 - 17*n + 1. Let z be p(-17). Is 0 smaller than z?
True
Suppose 5*d + 0*d = 0, -3*k + 57 = d. Which is greater: k or 18?
k
Let f = -0.06 - 1.54. Let p = f - -2.8. Let x = p + -1. Which is greater: 0.4 or x?
0.4
Let i be (-3)/3 + 6/(-5). Is -1 at least i?
True
Suppose -4*l + 8*l = -16. Let m(z) = -z**3 - 5*z**2 - 4*z - 3. Let x be m(l). Suppose -6 = -q + 3*q. Is q at least x?
True
Let n be 0 - 2/(-3)*1. Let j = -3.9 + -0.1. Let o = -5 - j. Is o at most n?
True
Let f be 4 + (-2555)/(-100) + (-8)/10. Which is smaller: 30 or f?
f
Let w(m) = -m**3 + 5*m**2 - 5*m - 2. Let x be w(3). Which is smaller: 3/43 or x?
3/43
Suppose 3*j - 5*z = 10, z + 0 = -4*j - 2. Is -4/7 at least j?
False
Let w = 16.1 + -16. Let d = 0 - -0.1. Are w and d equal?
True
Let r = 0.5 + -2. Let g = r - -0.5. Do g and -1 have the same value?
True
Suppose 0*d - 5*d = 0. Which is greater: 1.7 or d?
1.7
Let q = 1.055 - 0.055. Let k = 1325/7 + -189. Which is smaller: k or q?
k
Let w be 22/(-187) + (-49)/(-272). Which is bigger: -1 or w?
w
Let x = 84 + -86. Is x > -2?
False
Let p = -13 - -17. Is p greater than 3?
True
Suppose k + 0*d - 5*d - 19 = 0, 0 = -2*k - 4*d - 4. Suppose 0 = k*m - m - 9. Suppose -2*q + 3*y - 7 = 0, -q - m*y - 2 = -3. Are q and 1 equal?
False
Suppose 0 = -3*k + 46 - 49. Is 19/7 at most as big as k?
False
Let i be (7/((-14)/(-24)))/(-1). Let p be (-2)/i*22 - 3. Is 0 at least as big as p?
False
Suppose 0*q = -2*q. Suppose -5*w + 7*c - 2*c + 45 = 0, -2*w = -c - 14. Let m be 25/30*1/w. Is q not equal to m?
True
Suppose 9 - 1 = 4*q + 5*o, -5*o = 5*q - 15. Suppose -5*g + 2*g = -24. Which is smaller: q or g?
q
Let q(s) = 3*s + 1. Let a be ((-32)/48)/((-4)/(-6)). Let m be q(a). Is m smaller than -2?
False
Let m = -23 + 23.9. Let o = m + -0.2. Is -1 greater than or equal to o?
False
Let w(n) = n**3 - 9*n**2 + 7*n + 8. Let q be w(8). Let v be ((-2)/(-2))/((-157)/1). Let g = 466/785 - v. Which is bigger: q or g?
g
Let p = 23 + 6. Is -2 at least p?
False
Let l be (-6)/24 - (-2)/8. Let k = -3 + 8. Is k at most l?
False
Let t = -3 + 3.2. Is -0.3 smaller than t?
True
Suppose 0 = -5*m - i + 26, 9*m - 2*i - 38 = 4*m. Which is smaller: m or 5?
5
Let l be 4/(-27)*(-180)/(-96). Is l less than 1/2?
True
Let x = -1 + 3. Let w be (0 - x)/8*2. Are w and 0 unequal?
True
Let p = -27/4 + 33/4. Which is smaller: 0.01 or p?
0.01
Let k be 13/3 + (-8)/(-12). Suppose -4*c = 4*y - 28, 0 = 3*c - k - 1. Suppose d - 21 = -d - y*v, -2*d + v + 3 = 0. Are 3 and d equal?
True
Let z = -14 + 7. Are z and -7 equal?
True
Let o(s) = 9*s**2 - 89*s - 10. Let f be o(10). Let a = -5233/21 - -249. Which is greater: a or f?
f
Let f = -14 + 8.4. Let b = 0.6 + f. Is b >= -1/3?
False
Let a = 1339/7 + -191. Let n(i) = i**2 - 5*i + 3. Let b be n(4). Which is bigger: b or a?
a
Let b be (6/4)/((-9)/(-12)). Suppose 3*g - 4 = 2. Let z be g/3*(-6)/(-4). Which is bigger: z or b?
b
Suppose 3*p = 5*x - 9 - 14, 7 = -3*p + x. Which is smaller: 4/33 or p?
p
Let s be (((-14)/(-6))/7)/1. Which is bigger: s or -0.13?
s
Suppose -4*a = 2*l - 3 - 3, -3*l - a + 9 = 0. Let m be 2/(-9) - (-32)/(-18). Is m bigger than l?
False
Suppose -5*l + 24 = -l. Let q(a) = -a**2 + 7*a - 5. Let n be q(l). Let o(k) = 27*k - 108. Let h be o(4). Which is smaller: n or h?
h
Suppose -4*o + o - 12 = 0. Let v = 3 + o. Is -1 < v?
False
Suppose -7*z = -2*z - 10. Let t = z + -2. Which is smaller: t or 2/3?
t
Suppose 2*d + 3*d + 3*q - 50 = 0, 3*q - 36 = -3*d. Suppose -3*l - d = 2. Is 0 < l?
False
Let l = 366 - 4755/13. Is -1 equal to l?
False
Suppose -2*b + b = 21. Let j be b/(-6)*3/7. Which is greater: 0.2 or j?
j
Let d = -5.2 + 5.4. Let a = 20 + -18.7. Let f = a + -0.3. Is d equal to f?
False
Let s(j) = -2*j - 6. Let y be s(-4). Suppose 3*a = y*r + 4, 0*r - r = -a + 3. Let q be 4/(-2) + a/2. Which is greater: q or -2?
-2
Let g = -31/10 + 237/70. Which is greater: -14 or g?
g
Let s(j) = 5*j + 5. Let l be s(-1). Which is bigger: -9 or l?
l
Let w be ((-6)/(-12))/((-3)/(-78)). Does 12 = w?
False
Let y be (1*-2 - -1)/1. Let n be 6/2 - 8/2. Is n greater than y?
False
Let v(x) = x**3 + 11*x**2 - 11*x + 11. Suppose 4*d - 4*b + 56 = 0, -20 = 5*d - 3*d + 2*b. Let y be v(d). Which is smaller: -7/5 or y?
-7/5
Let f be 4 + (-25)/15 - 3. Which is bigger: -1 or f?
f
Let a = 27 + -25. Is 3/4 at most a?
True
Suppose 10*x = 13*x. Is -1/7 greater than or equal to x?
False
Let k = 433.89 + -430. Let p = 0.11 + k. Let i = p - 6. Which is smaller: i or -1/2?
i
Let d(i) = -37*i - 1. Let k be d(-3). Let h be (-75)/k - (-2)/11. Which is smaller: h or -1?
-1
Let m(x) = 2*x - 19. Let i be m(14). Is 9 less than i?
False
Suppose -5*h - 4*o - 26 = 0, 14 = -2*h - 2*o + 2. Let p = 1533 + -29115/19. Let x = -117/95 + p. Are x and h non-equal?
True
Suppose s - 4*s + 15 = 0. Let u be 10 + -7 - (s + 0). Is u greater than 0.1?
False
Let d be -2 + 0 + 0 + 5. Suppose -5*z + d*z = 30. Let q be (2/(-2))/(z/(-6)). Are 1 and q nonequal?
True
Let q(y) = -y**3 + 5*y**2 + 5*y + 8. Let n be q(6). Let p(v) = v**3 - 2*v**2 - 2. Let j be p(n). Which is smaller: j or 0.2?
j
Let i(w) = 6*w - 17. Let j be i(3). Which is bigger: j or 9/13?
j
Suppose -5*n = -i - 16, -2*i - 2*n + 6 - 2 = 0. Is i > -1/3?
False
Let s(b) = -b**2 + 4*b. Let k be s(3). Let f be (k/2)/(9/(-4)). Let u = -24/7 + 202/63. Are f and u non-equal?
True
Let g = 127 - 132. Which is smaller: -6 or g?
-6
Let h = -31 - -28. Let c be (-9)/h - (-6)/9. Which is bigger: c or 3?
c
Let j = -0.3 - -0.2. Let z = 0.3 + j. Let n = -0.32 - -0.22. Which is bigger: z or n?
z
Let y be (-364)/48*1/(-6). Let u = 8/9 - y. Is -1 greater than or equal to u?
False
Let l = -9 - -6. Do l and -8 have different values?
True
Let n be (-2)/(-4) - 23/(-2). Suppose 2*r + 0*r = n. Let s = r + -9. Are -2 and s nonequal?
True
Let q = -8.5 - -7. Let a = -2.4 + q. Let b = a + 4. Are -3 and b equal?
False
Let j = 18.515 + 0.485. Let l = -2 + 2. Which is greater: l or j?
j
Let q = -601 - -2986/5. Which is greater: q or -5?
q
Let a(w) = w - 1. Suppose 6 = -2*q + 3*q - 3*t, 0 = 2*q + 4*t + 18. Let f(c) = -c + 1. Let n(y) = q*a(y) - 2*f(y). Let u be n(2). Which is bigger: u or -2/3?
-2/3
Let c be -2*(-1)/2*1. Is 14 > c?
True
Let o be ((-1)/12)/(39/1976). Do o and -5 have different values?
True
Suppose -22 = -2*c + 2*v, 3*c - 23 = -v + 2*v. Suppose i = 2*r - c, -r + i + i + 9 = 0. Which is smaller: r or -2/9?
-2/9
Suppose 0 = 3*r - 0*r + 3, -5*r = 5*b. Let z(a) = -2*a**2. Let t be z(b). Are -0.1 and t unequal?
True
Let v = 129 - 105. Which is smaller: 23 or v?
23
Suppose 4*t + 38 = 2*s - 4*s, -s = 5. Is t >= -6?
False
Suppose 2*s - 71 = -5*a, -5*a + 23 = s - 20. Let m be (6/s)/(3/(-8)). Is 0.2 greater than m?
True
Let g = 0.2 - 0. Let d = g + -0.2. Let q be 12/(-20) + (-42)/(-45). Which is smaller: d or q?
d
Let b = 14 - -19. Which 