aller: f or 0?
f
Let v be (4/18)/(2 - 1). Which is smaller: -3 or v?
-3
Suppose 4*d = 2*s - 2, 4*d + d + 5 = 3*s. Suppose -5*n = -3*j - 7, -d*n = -4*n - 2. Is j at least -5?
True
Suppose 0*m = 8*m + 8. Is m smaller than 4?
True
Let z(s) = s - 3. Let w be z(3). Suppose w*a = -3*a. Suppose 2*h = -a*h - 4. Is -2 at most as big as h?
True
Let x = -5 - -8. Suppose 0 = -t + x*t - 10. Which is greater: t or 4?
t
Let u be 23/4 + 2/8. Suppose -u*f - 4*r - 8 = -2*f, 4*r = 3*f + 13. Is -3 at most as big as f?
True
Let r be -6 - 2/(4/(-2)). Let p be (-4)/r + (-216)/70. Do p and -2 have different values?
True
Let r be (-32)/(-6) + (-1)/3. Let y = -3 - -4. Suppose -r = -2*g - y. Which is smaller: 3 or g?
g
Let o = -0.6 + 1. Is 7 equal to o?
False
Let k be 2/7 - (-220)/(-35). Let n = 7 + k. Let r = 2 + n. Do 4 and r have the same value?
False
Let u(w) = -w + 8. Let q be u(0). Let z = q - 7. Which is smaller: z or 2?
z
Let v(p) = p**2 + 6*p - 8. Let f be v(-7). Let l = -1/8 + -5/24. Which is bigger: f or l?
l
Let r(c) = 2*c**2 + 2*c. Let i be r(-2). Suppose 36*u - 140 = 16*u. Is u at most i?
False
Let d = 4 + -7. Let a = 2 + d. Let q = -53 - -52.7. Is q greater than a?
True
Let j(v) = -v**2 - 9*v - 4. Let z be j(-13). Let y be 2*(z/(-12) + -4). Which is greater: 1 or y?
y
Let b = 83 + -82.99. Which is smaller: b or 2?
b
Let f = 109 + -7083/65. Which is smaller: f or 0?
0
Suppose 4*k = k. Let j be 18/(-10) + (-16)/80. Let w be j - (-2 - 2/2). Which is bigger: k or w?
w
Let q = 9 + -9. Suppose q*t = 2*t. Let c be 4/42 + (-2)/(-6). Is c at most t?
False
Suppose -65*j + 2 = 4*o - 64*j, 5*o + 3*j + 1 = 0. Let s be ((-6)/(-20))/(21/(-4)). Which is smaller: s or o?
s
Let h = 82 - 83. Let d = 5.02 - 0.02. Is d equal to h?
False
Let g be (-6)/(-86)*4/(-6). Which is smaller: g or 1?
g
Suppose -12 = -3*l + 6*l. Let f = -4 - l. Let d be (-12)/(-28)*(f - 1). Are d and 0 equal?
False
Let k be (-2)/(-12) + (-2)/6. Let s be (4/(-2))/((-4)/(-6)). Let w(p) = -p**2 - 4*p - 2. Let q be w(s). Which is smaller: k or q?
k
Let u(a) = a + 7. Let i be u(-7). Is i >= 2/45?
False
Let h be (-16)/6*42/14. Let j = 0 - h. Which is greater: j or 7?
j
Let j = -85/3 + 28. Which is greater: -1 or j?
j
Let z = 4 - -3. Does 28/5 = z?
False
Suppose p - 5 = -5*r - 0*p, 5*p = -3*r + 3. Which is smaller: -2/73 or r?
-2/73
Suppose 3*w = w + 8, 0 = -4*q - 4*w + 8. Let r = -1 + 6. Suppose 0 = r*y + 9 + 6. Which is greater: q or y?
q
Let s = -19.7 + 21. Let v = s + -0.3. Suppose 5 = 4*i + i. Are i and v unequal?
False
Let t = -3 + -6. Let w = -7 - t. Are w and 2 unequal?
False
Suppose -4*u + 4 = -0. Suppose -a = 3*a - 8. Which is greater: u or a?
a
Let i = 10 - 2. Suppose -3*h - 4*a + 6 = -a, h + 4*a = i. Let p = -0.3 - -0.2. Is h bigger than p?
True
Suppose -8 - 104 = -14*t. Let f = -11 - -18. Is f at least t?
False
Let y = 9/100 + 4/25. Which is smaller: y or 37?
y
Suppose -5*y + 2*p = 21, 2*y + 2*y - 5*p + 10 = 0. Suppose 3*v - k = -6, 6*v - 3 = 4*v + 3*k. Which is smaller: v or y?
y
Let z(f) = -f**3 - 11*f**2 - 3*f - 25. Let m be z(-11). Let h be (-1 - -2) + -1 + 7. Which is greater: m or h?
m
Let p(b) = -b**3 - 7*b**2 - 6*b - 4. Let q = 0 + -6. Let a be p(q). Is -2 >= a?
True
Let g = 67 - 66.9. Let d(z) = -2*z + 9. Let x be d(6). Is x at least as big as g?
False
Let z be (-2)/((-4)/32*-4). Does z = -3?
False
Let p = 0.07 - -7.93. Let l = -10 + p. Which is bigger: 2/5 or l?
2/5
Let r be 80/2 - 3/1. Are r and -2/5 equal?
False
Let j(g) = g**2 + 9*g - 4. Let v be j(-9). Let k be (v/6)/(6/9). Is k less than -1/2?
True
Let x = 11.8 - 12. Suppose 5*r - 400 = 3*o, -o - 4*o - r - 676 = 0. Let i = 1217/9 + o. Does x = i?
False
Let u(j) = j**3 - 6*j**2 + 7*j - 7. Let g be u(5). Suppose 0 = 2*c - 4*r + 4, 2*c = g*r - 0 + 1. Let h = c + -11. Which is smaller: -2 or h?
h
Let j(a) = a**2 - a + 1. Let r be (-1)/(3/(-5 - 1)). Let i be j(r). Let d be (-2)/7 + (-4)/(-14). Is d at least i?
False
Let q = 0 - -1. Let b be (q/4)/((-15)/20). Let t(h) = 3*h**3 + 8*h**2 - 4*h - 2. Let g be t(-3). Which is greater: g or b?
g
Let j = -7 + 10. Is j < 2?
False
Let z = -16 - -15. Which is smaller: z or -2/11?
z
Suppose 13*h = 8*h + 40. Are h and 1 non-equal?
True
Suppose -2*h + 0*v - 3*v + 16 = 0, 3*v = 2*h + 8. Suppose -h*m - 2*q = -q, -5*m = 2*q. Which is smaller: 1/2 or m?
m
Suppose 4*h - 4 = -3*t + 9, 2*t - 18 = -4*h. Let b(y) = -y**3 + 5*y**2 + 7*y. Let s be b(6). Which is bigger: s or h?
h
Let d = -2.1 - 11.9. Let i = -15 - d. Which is bigger: 0.3 or i?
0.3
Let x be (-1 - -171)*5/2. Let c = x + -3829/9. Are c and 0 unequal?
True
Let g = -9 + 10. Is 1 at least as big as g?
True
Let f(d) = 7*d + 1. Let r be (0 - 1)*(-1 - -2). Let q be f(r). Suppose 2*z + 8 = -4. Is q at least as big as z?
True
Let y be (1 - -2)/3 + 5. Let u = 3 - y. Which is smaller: -2 or u?
u
Let h be ((-4)/12)/(10/12). Let j be (1/3)/((-5)/15). Are h and j nonequal?
True
Let r(s) = -s**3 + 14*s**2 - s + 2. Let u(d) = 6*d - 4. Let w be u(3). Let c be r(w). Is -13 >= c?
False
Let h = -11.8 - -12. Let l = -1 + 1. Which is bigger: h or l?
h
Let f = -0.9 - -0.852. Let b = f - -2.948. Let q = -3 + b. Which is smaller: -3 or q?
-3
Let w be ((-6)/(-8))/((-5)/(-60)). Which is smaller: 8 or w?
8
Suppose 4*c - g = -0*g + 17, 3*c = 4*g + 3. Let l = -29/4 + 211/28. Which is smaller: l or c?
l
Suppose 4*f - 5*c + 18 = 0, 5*f + 16 = 4*c - c. Let s = 3 - 4. Let t be 1 - s - (2 + 2). Is f smaller than t?
False
Suppose 0*c - 4 = 2*c. Let m = c + -6. Does -9 = m?
False
Let x(g) = g**2 - 3*g. Let i be x(3). Let z = 161/246 + 1/82. Which is smaller: i or z?
i
Let y be (0/(-1) + 1)/193. Do y and 1 have different values?
True
Let s(t) = -t**2 - 7*t - 1. Let v be s(-6). Let x = v + -8. Which is smaller: x or -4?
-4
Suppose 0 = -2*v - v + 3. Which is smaller: v or 7?
v
Let x(l) be the second derivative of l**3/3 + 3*l**2/2 - 3*l. Let z be x(-5). Let j = 9 + z. Are 2 and j non-equal?
False
Let s = -5 + 4. Which is bigger: s or 11?
11
Suppose 8 = 4*g + 5*i, 2*g - 33 = -g + 3*i. Suppose 4 = -n + g. Are n and 2 non-equal?
True
Let b be 1/((-8)/3 - (7 + -10)). Are -3 and b unequal?
True
Suppose 2*f = -0*f - 6. Let i be f - (2 - (-74)/(-16)). Which is greater: i or 1?
1
Suppose n = q + 18 - 3, -5*q = 0. Let p = -11 + n. Let d be 0/((-4)/(p/2)). Is -2/3 >= d?
False
Suppose 19*y + 92 = 21*y. Which is greater: y or 45?
y
Suppose 0 = -6*o + o. Are o and 1/140 equal?
False
Let h be (-4)/(-10) + (-7)/5. Let y = 1 + h. Let p be (-6)/(-15) - (-23)/(-45). Which is smaller: p or y?
p
Let u = -201 + 1403/7. Is u smaller than 0?
True
Let g(h) = -h**2 + 6*h - 4. Let w be g(4). Let k(i) = 9*i - 4. Let q be k(2). Suppose y = -q + 17. Are w and y equal?
False
Suppose -3*d = -5*m - 7, -4*d - 4*m - 13 = d. Let t = 36 + -18. Let a = 18.1 - t. Is a equal to d?
False
Let b be (-2*3)/(-1*12/(-16)). Which is greater: -7 or b?
-7
Suppose 2*a = 7*a + 20. Let k be -4 - -1 - (-5 - a). Which is smaller: k or -2/3?
k
Suppose -5*z = 1 - 21. Suppose -z*w = y + 4, -4*y + 3*w + 2 = 37. Which is smaller: -6 or y?
y
Let o = -4 - -3. Is o at least -6?
True
Suppose -85*x = -83*x - 2. Let v = -3 + 2. Let n be 2/v - 28/(-11). Which is greater: n or x?
x
Let n = 45 - 63. Which is smaller: -17 or n?
n
Let m be 12/(-24)*(-2)/(-9). Which is smaller: m or -1?
-1
Let s be ((-6)/(-12))/((-2)/(-16)). Suppose 0 + s = -4*y. Which is bigger: 2/25 or y?
2/25
Let b = 24.6 - -0.3. Let i = b - 27. Let u = i - -0.1. Are u and 1/2 nonequal?
True
Let y = -28 + 19. Which is greater: y or -8?
-8
Let h(n) = -n**2 + 5*n + 13. Let r be h(8). Suppose 7 = i + 2*v, -2*i - 2*v - 1 = -23. Let s = r + i. Is 5 less than s?
False
Let q be (-24)/63 - 2/(-3). Is q > 0?
True
Let h(q) = 2*q + 2. Let j be h(5). Let l be 5/j - (-8)/(-48). Suppose 2*c + 6 = 2*s, -4*c - 16 = -4*s + c. Is s smaller than l?
True
Let i be (-52)/(-10) + (-2)/10. Suppose -i = -6*h + h. Let l be 0 - 0 - (-1)/4. Which is smaller: l or h?
l
Let t be ((-4)/(-54))/((-20)/(-60)). Suppose -8*y - 1 = -7*y. Is t at most y?
False
Let m = -12 - -12.11. Let v = -4.89 - m. Is v at most as big as -2/3?
True
Let d = 4 + 4. Let k(p) = p + 3 - 2*p - 13 + 18. Let x be k(d). Which is greater: 1/6 or x?
1/6
Let g(i) = i**3 - 12*i**2 + 11*i. Let x be g(11). Are 2/15 and x nonequal?
True
Let v = 52.9