k smaller than i?
False
Suppose 2*p = 17 - 15. Is 3 at most p?
False
Let u(h) = h**2 - 3*h + 1. Let y be u(4). Let n be y/33 - (-3)/(-9). Let l be 1/(-1 + (-1 - -1)). Which is bigger: l or n?
n
Let z = -12.6 + 13. Let f = 0 + 0. Which is smaller: z or f?
f
Let m = -1.1 + 0.1. Let n = -14 + 9. Which is bigger: m or n?
m
Let g be 1329/585 + -3 - 2/(-3). Are 0 and g unequal?
True
Suppose -14*w + 11*w - 93 = 0. Which is greater: w or 0.1?
0.1
Let o(g) = g**2 - 7*g - 19. Let m be o(8). Is -11 < m?
False
Let r = -0.8 + 7.8. Let j = r - 7.2. Which is smaller: j or -1/4?
-1/4
Let y = 1 - 2. Let a = -0.9 - -0.81. Let l = a - 3.91. Which is greater: y or l?
y
Let r = -0.99 + -0.61. Which is bigger: r or 0.04?
0.04
Suppose -5*o + 5 = -5*d, 2*o = 2*d + 3*d + 8. Let s be 0/5*d/(-6). Is 0 at least as big as s?
True
Let w = 37.8 + -35. Let p = w - 3. Is 1 at least as big as p?
True
Let h = 4 - -5. Do 9 and h have different values?
False
Let p be (-2)/6 - 1469/156. Is -10 < p?
True
Let c = -14 + 15. Which is greater: -2/49 or c?
c
Let a be 13/3*(-6)/(-4). Which is smaller: 6 or a?
6
Let j = 33 + 175. Let r be 6/j - 4/26. Does r = 0?
False
Let g = -22 + 2. Let y = 20.3 + g. Is 5 < y?
False
Suppose 0 = -o + 5*c + 27, 0 = 3*o + 5*c - 1. Is 7 bigger than o?
False
Suppose -5*d + 5*j = 4*j - 9, d + 3*j = 5. Suppose 4*i + 3 = 2*f - 15, -i = -4*f + 22. Let u = d + i. Which is smaller: 2/5 or u?
u
Let i = -161 - -2577/16. Is 0 != i?
True
Let d be ((-12)/10)/((-6)/20). Let o = -11/3 + d. Suppose 0 = 3*a - 9 + 6. Is a < o?
False
Suppose 5*j + 4*b = 74, 2*b + 5 + 3 = 0. Let p = -7 - -25. Let k be 4/j - (-14)/p. Which is smaller: 2 or k?
k
Let y be 9*(30/(-9) - -3). Let z be y/(-15)*5/12. Which is bigger: 0 or z?
z
Let h be (1/1)/(9/(-36)). Suppose -4*o + 0 - 4 = 0. Which is bigger: h or o?
o
Let y = -1.1 + 1. Let n = -0.1 - y. Let z = n + -0.1. Is -2/7 < z?
True
Let b = -92 + 91. Which is smaller: 2/31 or b?
b
Suppose -z - 24 - 51 = 0. Is -76 != z?
True
Let a(g) = -3*g - 3. Let w be a(-3). Is 5 != w?
True
Let q = -1/14 - 3/7. Suppose 0 = -v - 5*n + 25, 4*n = 4*v + 5 + 15. Which is smaller: q or v?
q
Let l = -3.1 - -3. Let x = l - -0.3. Is -2 > x?
False
Let z(r) = r**2 + 6*r + 8. Let s be z(-5). Which is smaller: s or 1?
1
Let q = -3 + 5. Suppose -3*b - 11 = -5*y + 1, -4*y + 15 = 3*b. Let s = 1 - b. Which is smaller: s or q?
s
Let c(w) = -w**3 - w**2 + w + 3. Let i be c(0). Let j be ((-1)/i)/(3/99). Which is greater: j or -10?
-10
Let f(s) = -24*s - 3. Let d be f(1). Let i be 3*(-6)/d + 1. Which is bigger: 3 or i?
3
Let t(g) = -4*g + 10. Let j be t(4). Let x(u) = 4*u + 8. Let c(y) = 9*y + 16. Let o(m) = -2*c(m) + 5*x(m). Let d be o(-7). Does d = j?
True
Suppose -2*t = -7*t. Do t and -1/9 have the same value?
False
Suppose 0 = 5*j - 3*r - 59, 2*r = -j + 7*r + 3. Which is bigger: j or 12?
j
Let n be (8/14)/(-2)*(-1)/38. Which is smaller: 0 or n?
0
Let r be 1/(-2) - (-3)/2. Suppose 0 = -2*n - 3*w + 3 - r, -w - 6 = -n. Are 5 and n non-equal?
True
Let v = -13.09 + 9.2. Let x = v + -0.11. Which is greater: -1/2 or x?
-1/2
Let f(g) = -8*g - 3. Let b be (-1)/(-2 + 3) - 1. Let i be f(b). Suppose 0 = k + 3*p - 14, 2*k = -0*k - 3*p + i. Is k equal to -2?
False
Let j = -3 - -3. Suppose j = -b + 4*b. Which is smaller: b or -1?
-1
Let w(u) = -u**3 - 3*u**2 - 3*u. Let d be w(-2). Let l be -3*(0 + (d - 1)). Is l bigger than -2?
False
Let v = -0.029 - 0.271. Are v and -0.02 non-equal?
True
Suppose 3*d + 21 = -3*x, -34 + 12 = x + 4*d. Which is smaller: x or 1?
x
Let u(z) = -9*z**3 - 27*z**2 - 25*z - 27. Let p(m) = -5*m**3 - 14*m**2 - 13*m - 14. Let b(k) = 7*p(k) - 4*u(k). Let f be b(-9). Which is smaller: 9 or f?
9
Let o = -14 - -23. Which is smaller: 7 or o?
7
Let p be (-5)/((-10)/8) - 11. Let q(k) = -k**3 - 7*k**2 + 4. Let d be q(p). Do d and 5 have different values?
True
Let b(z) = -z**3 + 15*z**2 - 27*z + 12. Let a be b(13). Is 14/31 at most a?
False
Suppose -3*z + 26 = 2. Suppose 0*p - p = -z. Is 10 != p?
True
Let z = -1 - -0.7. Let n = -0.2 - z. Let t(k) = -k**3 - 6*k**2 - 3*k + 8. Let w be t(-5). Is w != n?
True
Let h = 5.6 + -6. Let y = 126 - 125.8. Let x = h + y. Do -1 and x have different values?
True
Suppose 2*h + 39 = -i, 38 = -0*h - 2*h - 2*i. Suppose 0 = -w + 6*w + 95. Is w not equal to h?
True
Let a be 165/(-22)*(-5)/(-3). Is -14 > a?
False
Let q be 3 + 32*(-14)/4. Let l = q - -649/6. Is 0 equal to l?
False
Let h be 3/2*8/(-30). Which is smaller: -3/2 or h?
-3/2
Let p = 0.5 - 0.3. Let j = -10 - -10.1. Let y = j - p. Is y bigger than 2/7?
False
Let s(u) = -u**2 + 10*u - 2. Let l be s(10). Let d = -6 - -4. Let c = d + 1.9. Is c bigger than l?
True
Let q(h) = h**3 - 9*h**2 + 2*h - 10. Let m be q(9). Let x be m/(-12) + 62/30. Which is bigger: x or 0?
x
Let t(a) = a**2 - 17*a - 2. Let m be t(17). Suppose -4*h - 55 = h. Let y be (-2)/h - (-19)/(-44). Which is greater: m or y?
y
Let x be 26/12 - (-8)/(-4). Let r(d) = 2*d**2 - 2*d - 1. Let b be r(-1). Suppose 0 = -7*p + b*p. Are x and p unequal?
True
Suppose -f + 3*f + 8 = 0. Let r be 372/(-15) - 3/15. Let d = 20 + r. Which is smaller: d or f?
d
Let h = -18/47 + -163/188. Is -2 less than h?
True
Suppose 2*d - 33 = -d + 3*k, 5*k + 25 = 0. Suppose 0 = -l + d*l - 10. Let g be -1*(1 + 0)*-1. Is l >= g?
True
Suppose -2*s = -1 - 21. Let i = s - 15. Suppose -4*m + 1 = -4*q + 9, m - 2*q + 1 = 0. Which is smaller: i or m?
i
Let b be (-2)/(-3) - -4*(-66)/450. Is b greater than -1?
True
Suppose 3*l = -12*l + 360. Are l and 24 equal?
True
Let g = 9 - 4. Let u be (12/g)/(2/5). Suppose -4*o = 5*w + 25, -2*o = u*w - 4*w + 10. Is -1/5 less than or equal to o?
True
Let q = 8 + -15. Do 1 and q have the same value?
False
Let i = -8 + 11. Suppose -g + i*g - 8 = 0. Suppose j = -j - u - 4, 0 = g*j - 5*u + 36. Which is smaller: j or -5?
-5
Let p be 7/((-35)/(-16)) + -2. Do -0.3 and p have different values?
True
Let h = 206/819 + 4/117. Let f be 3/(2 - (2 - 1)). Suppose 0 = t + f*t. Is h at least t?
True
Let j = -6 + -14. Let i be (-10)/j - 18/32. Which is bigger: 1 or i?
1
Let t = 0.5 - 0.5. Let u = t + -0.5. Let k = u - 1.5. Which is bigger: k or -0.1?
-0.1
Let l(y) = -y**3 - 12*y**2 + 12*y - 11. Let u be l(-13). Suppose -4 = -0*a - 2*a. Suppose 2*q = 4, 4*x - 7*q + 6 = -a*q. Is x greater than u?
False
Let u = -24 - -25. Is u < 7?
True
Let u be 1/7*(-8 - 7). Is -3 at least as big as u?
False
Let z = -1 + 2.2. Let s = -6 + z. Let j = 5 + s. Which is smaller: j or -2?
-2
Let r = -408 + 1204/3. Which is greater: -6 or r?
-6
Suppose 4*n = -5*u - 15, -12 = 2*n + 4*u - 0*u. Suppose n = -s + 2*s - b + 2, s = -2*b + 7. Is 2/7 greater than s?
False
Let v = -5 + 5.1. Which is smaller: 2/9 or v?
v
Suppose 0 = 5*v - 0*v. Let b be 2*(-99)/(-1 - 0). Let a be (-2)/9 + 80/b. Is v less than or equal to a?
True
Let l = 2/153 + 443/1224. Suppose -2*f + 18 = -5*k, 6 = -2*k - 2. Which is smaller: l or f?
f
Suppose -4*n = -6 + 14. Let f(o) be the third derivative of o**4/24 + o**3 + o**2. Let m be f(-9). Which is greater: n or m?
n
Suppose -3*l - l + 44 = 0. Which is bigger: 5 or l?
l
Let m = 87 + -263/3. Which is smaller: m or -0.146?
m
Let y = -2039/7 - -292. Let z be ((-1)/(-28))/(1/6). Let l = y - z. Is 0 != l?
True
Let s = -7.4 + 7.5. Is s smaller than 49?
True
Let y = -3.9 + 3.7. Which is smaller: y or -7?
-7
Let d = 14.3 + -14. Which is smaller: d or 0?
0
Suppose 3*q - 2000 = 8*q. Let o = 3605/9 + q. Is 2 greater than o?
True
Suppose 2*c - 197 - 19 = 0. Is c greater than 109?
False
Let l(z) = z**2 + 19*z + 33. Let u be l(-17). Is -1/18 < u?
False
Let k = 0 - -3. Suppose -26 = 4*d - 38. Is d != k?
False
Let b be 2*1/4*2. Let r be (0 + 3)*b/(-4). Suppose 0 = -k + 2*z + 8, -3*z = -k + 7 + 5. Which is bigger: k or r?
k
Suppose 0*q + 6 = 3*q. Let k = 4 - 7. Let r be q - ((-15)/k - -1). Do -3 and r have different values?
True
Suppose -2*o = -2*x - 4, -3*o + 5 = -3*x - x. Let h be 110/25 + (-4)/10. Suppose -2*i = -h*i + 8. Is o greater than i?
False
Let w(k) = k**2 + 10*k. Let g be w(-9). Let h(j) = -j**3 - 9*j**2 + 2*j + 13. Let y be h(g). Which is smaller: y or -3?
y
Let k = 17 - 12. Suppose 5*w = -4*o + 5*o - 5, -k*o - 5*w = 35. Which is greater: o or -0.1?
-0.1
Let g be 16/12 - 3/9. Let y be g/4 + (-9)/(-12). Which is smaller: y or 2/3?
2/3
Let c(p) = 5*p**2 - p - 2 