0.3. Which is smaller: j or s?
s
Let f(z) = z**2 + 8*z + 7. Let u be f(-7). Which is smaller: 2 or u?
u
Let t = 0.58 + -0.6. Which is bigger: t or 1?
1
Suppose 0 = u + 1 - 0. Let z be (1/42)/(6/(-4)). Let w = -5/9 + z. Which is smaller: u or w?
u
Let l(c) = -c**2 + 10*c - 2. Let w be l(6). Is w != 21?
True
Let j = 10 + -17. Let o be (1 - 5) + (-9)/6. Is j equal to o?
False
Suppose 0 = 2*y + 8, -4*v - y = -0*v - 8. Is 4 smaller than v?
False
Let s = 2 - 1.9. Let h = -9 + 10.9. Let f = 2 - h. Are f and s nonequal?
False
Suppose -4*x - 4 = 4. Let z be 51/15 + x/5. Does 4 = z?
False
Let x = -6 + 8. Let t be (-13)/(-20) - x/8. Is t greater than 0?
True
Let o(n) = -n**3 + 6*n**2 - 4*n - 4. Let m be (-8)/3 + (-5)/15. Let j be -2 + -7*(m - -2). Let g be o(j). Is 1 less than or equal to g?
True
Suppose 4*h + 16 = -4*n, -13 = -0*h + 4*h + 3*n. Let d be (-2)/6*(-2)/2. Which is greater: h or d?
d
Let y = 13 + -6. Let p(j) = j**3 - 8*j**2 + 8*j - 10. Let a be p(y). Which is greater: a or -2?
-2
Suppose -3*g + j + 8 = -j, j = -4*g - 4. Let r = -2 + -3. Let x be -2 + (-2 - 21/r). Is x at least as big as g?
True
Let m = -3 - -4. Suppose -2*n + m = -1. Let l = 2 - n. Which is smaller: l or 1/5?
1/5
Let t = 0.007 + -5.007. Which is bigger: t or -7/5?
-7/5
Suppose 0 = -c - 3*c - 144. Let h be (-8)/c + 68/18. Is 5 bigger than h?
True
Let a(z) = -z**3 + 4*z**2 + 2. Let i be a(2). Let s be (4 + -9)*4/i. Which is smaller: s or 0?
s
Let m = 98.9 + -108. Let i = 9 + m. Which is greater: -1/7 or i?
i
Let b = -9 + 14. Let f = b + 0. Are -0.1 and f nonequal?
True
Suppose 2*d = -4*b + 36, -2*b = -d - 12 - 6. Does b = 23/3?
False
Let f be ((-2)/4)/(185/10). Let o = f - -409/74. Which is smaller: o or 6?
o
Let z = 9 + -10. Suppose 8*g = 6*g. Is g less than z?
False
Let q(v) = -4*v**3 - v**2 - v - 1. Let w be q(-1). Let a be w/15 - (-76)/(-430). Which is smaller: 1 or a?
a
Let g = -2919 + 347363/119. Is g greater than or equal to -1?
True
Suppose -2 = 2*y + 4. Which is smaller: y or -17/5?
-17/5
Let r(t) = 5*t**2 + 2*t + 2. Let a be r(-1). Which is smaller: a or -1?
-1
Suppose 2*o + 1 = o, -12 = 2*h + 4*o. Let b be ((-3)/(-6))/(2/8). Suppose -b*g = 4 + 6. Which is smaller: g or h?
g
Let u(p) = -p**2 + 2*p. Let t be u(2). Let r be 0/1*(-3 - (-16)/6). Are r and t non-equal?
False
Let c be (-45)/84*(3 - 51/15). Let l = 2 + -3. Which is greater: l or c?
c
Let q = -0.7 - 9.3. Let b = 0.9 + -1. Which is smaller: q or b?
q
Suppose 0*g = 4*g - 8. Suppose -s - g*s = 0. Suppose s = i + m, 3*m + 4 = -i - 0*m. Does i = 2?
True
Let u be (-14)/6 - (-17 + 19). Which is bigger: u or -3?
-3
Let j = 2 - 3. Let z be 111/(-246) - 4/(-6). Let f = z - 2/41. Is j <= f?
True
Suppose 4*y - 2 = -2*s, s + 4 = y + 2*y. Which is greater: y or -4/43?
y
Let m = -2.1 - -2.03. Is 1 equal to m?
False
Let x = 5380/9 - 594. Which is smaller: x or 5?
x
Let a be ((-14)/10)/((-60)/(-50)). Is a <= -1?
True
Let n be (2 + -3)/(1/(-3)). Let p(s) = s**3 - 2*s**2 - 4*s + 2. Let m be p(n). Is m greater than or equal to -2/3?
False
Suppose -3*g + j + j = -8, 2*g = -2*j - 8. Which is smaller: -1/4 or g?
-1/4
Suppose 0*r + r = 3. Suppose 3 + 13 = 4*j. Let k = j + -2. Is k bigger than r?
False
Let g(t) = -t**3 - 9*t**2 - 8*t - 9. Let v be g(-6). Is v greater than -69?
False
Let t = -0.02 + 0.52. Let d = 7.8 + 0.2. Let z = d - 8. Which is smaller: z or t?
z
Let c = 195 + -2533/13. Suppose -3*j - 5*o + 12 = 0, -2*o + 1 = 4*j - 1. Which is smaller: c or j?
j
Suppose 2*x + j - 5 = 0, -2*x + 3*j - 11 = -4*x. Is x greater than or equal to -2/183?
True
Let j = -279 + 847/3. Which is bigger: 3 or j?
j
Let p be (7/7 + (0 - -1))/(-7). Is p less than 0.62?
True
Let p(h) = -h. Let i be p(-1). Let x be i - 0 - (-5 - -4). Let r be 1*(x/2 - -6). Which is greater: 8 or r?
8
Suppose 3*n + 2*n + 6 = p, -5*n = 3*p + 2. Which is bigger: -0.4 or n?
-0.4
Let y = 20 - 20. Suppose -n + 40 = -0*n. Let t be (-10)/(-12)*6/n. Is t at least as big as y?
True
Suppose 3*g + 3*w + w + 12 = 0, 3*g = 2*w + 6. Suppose 5*u + g = 15. Let m be 2/(-4) + (-7)/14. Which is bigger: m or u?
u
Let d = -71 - -499/7. Let i = -72 - -354/5. Which is smaller: d or i?
i
Let b be 3 + (7 - 11) + (13 - 1). Is b bigger than 31/3?
True
Suppose -3*u = -n, -3*u = n + 4*n + 18. Let b = 1.5 + -1.41. Which is smaller: b or u?
u
Let b = 0.3 - 0.3. Let z = -0.06 - -1.06. Let w = b + z. Is w at most 2/9?
False
Let g be ((-36)/24)/((-6)/40). Which is smaller: g or 12?
g
Let a = -163031/30 - -10855/2. Let w = 61/5 + a. Let z = 5 - w. Which is bigger: z or 1/3?
1/3
Let l = -35/3 - -12. Let w(p) = -p**2 - 6*p - 2. Let c be w(-6). Is c equal to l?
False
Let u = 4277 + -29741/7. Let q = -28 + u. Is q greater than or equal to 0?
True
Let d(k) = 2*k**2 - 2*k + 1. Let z be d(1). Let u(c) = 2*c. Let w(q) = q**3 - 2*q**2 + 2*q - 3. Let f be w(2). Let j be u(f). Which is smaller: j or z?
z
Let i(q) = q**2 - 8*q + 10. Suppose -3*r - 24 = r. Let h(d) = d**3 + 6*d**2 + 7. Let v be h(r). Let k be i(v). Is k less than or equal to 1?
False
Let p be (-3)/(15/(-2))*2. Let m = -54 + 53.9. Which is bigger: p or m?
p
Suppose -7*y = -10*y - 54. Is y at most as big as -17?
True
Suppose 21 = -2*o + 23. Is o smaller than 7/18?
False
Suppose 44 = -2*m - 2*m. Let n = -11 - m. Which is smaller: n or 3?
n
Let l = 7 + -7. Is l less than or equal to 2?
True
Let o(b) = -3*b - 2. Let c(t) = -4*t - 2. Let s(a) = -4*c(a) + 5*o(a). Let j be s(5). Suppose -2 + j = -m. Which is bigger: 0 or m?
0
Let m = -72 + 81. Do m and 9 have different values?
False
Let a be 4/2 - (-88)/(-55). Is a at most 0.07?
False
Let v be ((0/(-1))/3)/(-2). Let f(c) = c - 3. Let b be f(5). Is b greater than or equal to v?
True
Let t be 25/50*-2*4. Is t not equal to -9?
True
Let j = 3.1 - 8.1. Is 1 less than or equal to j?
False
Let m be 951/120 + 0 + 0. Let g = 39/5 - m. Let p(o) = o - 11. Let f be p(12). Are f and g equal?
False
Suppose 5*f + 3*m = 766, -5*m + m - 144 = -f. Is f less than or equal to 152?
True
Let n(t) be the third derivative of t**6/120 + t**5/15 + t**4/12 + t**3 + 2*t**2. Let a be n(-4). Let l = -5 - -2. Which is smaller: l or a?
l
Suppose 13 = -3*z - 2. Let n = z + 4. Which is greater: 1/4 or n?
1/4
Let d be ((-21)/(-210))/((-1)/2). Which is smaller: d or 2?
d
Let q = -10898/7 - -1560. Let f = 67/28 - q. Which is greater: f or -2?
f
Let o be (-2)/(-8)*52/39. Which is smaller: o or -5?
-5
Let z(r) = -r**3 + 3*r**2 + 4*r - 1. Let l be z(4). Let s(v) = v**3 + 6*v**2 + 6*v + 2. Let g be s(-5). Which is smaller: g or l?
g
Let w be 2/(-7) + (-620)/(-14). Suppose h - w = -h. Let y be 2/(-4) + 7/h. Is y <= -1?
False
Suppose 0*m + 16 = -3*o + m, -2*o - 12 = -2*m. Let q(c) = -c**2 - c + 2. Let t be q(-3). Is t >= o?
True
Let s(b) = -b**2 + b - 1. Let i(c) = c**2. Let j(v) = -i(v) - 2*s(v). Let x be j(2). Suppose -x*w + w - 2 = 0. Do w and 0 have different values?
True
Let f be 6/2 + -2 - 2. Let p be 1/2*(f + 1). Which is greater: -1 or p?
p
Suppose f + 2*p - 10 = -3*f, 5*p = 3*f + 12. Are 3/7 and f equal?
False
Suppose -x = -0*x - 6. Let s(v) = v**2 - 7*v + 5. Let d be s(x). Let q = -14/3 + 25/6. Which is smaller: d or q?
d
Let b = 11 - 6. Which is bigger: 6 or b?
6
Let q = 4 + -9. Suppose 0 = 2*v - 4*v - 2. Let o = v - 2. Which is smaller: q or o?
q
Let x = 6 + -6.4. Let l = -2.6 + x. Is l greater than -2?
False
Let t = 6 + -7. Let k be (t - -1) + (-3)/(-14). Is k at most -1?
False
Let o = 12 - 39. Which is bigger: o or -25?
-25
Suppose 0 = 14*j - 17*j - 21. Is j smaller than -8?
False
Let v be (-4)/14 - 4*6/504. Which is smaller: v or 0.1?
v
Suppose -24 = 3*q - 5*c - 87, 0 = 4*c. Suppose 5*m - q = 4*s, -3*s - 13 = -0*m - m. Are m and -1 nonequal?
True
Let w = 149 + -156. Which is bigger: -3 or w?
-3
Let y = -15 - -15.4. Let o = 14 + -11.4. Let d = o + y. Which is smaller: 1/2 or d?
1/2
Let c = -1908/5 + 386. Are 5 and c equal?
False
Suppose -5*i - 6*y + y = -110, -3*i - 4*y + 71 = 0. Suppose -k + 3*a + i = 0, 2*k = -2*k - 5*a - 17. Let n be 6/(-20)*-2*1. Is k greater than or equal to n?
True
Let g = 162 - 1131/7. Let y = -1 - -2. Is y at least as big as g?
True
Let c be 0 - (0/4 - 2). Let n = 1 - 1. Is n less than c?
True
Suppose 19 = g - 5*v, -5 = -3*g + 3*v - v. Let k = 0 - g. Suppose 0 = -4*i + 2*i. Which is bigger: k or i?
k
Let