l = 130 + 24. Let z be (-2)/11 + (-16)/l. Which is greater: z or p?
p
Suppose -5 = -5*k + 5. Suppose -k*u = -2 - 2. Let h be (-6)/(-20) - 1/u. Which is greater: -1 or h?
h
Suppose -93*k = -96*k + 225. Is 75 less than k?
False
Let u = 20/299 + 2/23. Does 1 = u?
False
Let g = -8 - -3. Let p = g + 5.7. Which is greater: -1 or p?
p
Let g(y) = -y**2 + 9*y + 10. Let z be g(10). Let l be z - ((-3 - -2) + 0). Which is greater: 2 or l?
2
Let q = 9106/3 - 3068. Let t = q + 33. Let z = 3 + -3. Is t greater than or equal to z?
True
Suppose 5*y - 6 = -1. Let n be 5 + 4*(-30)/22. Which is greater: n or y?
y
Suppose -7 = 5*t - 2. Let o be 1 + 0*(-2)/(-4). Let h = -1 - o. Is h greater than or equal to t?
False
Let v = -8 - -11. Suppose 4*z + v*j + 1 = -12, -4*j = 4*z + 16. Let a = z + 2. Which is greater: a or 0?
a
Let v = -93 + 89. Which is bigger: 4 or v?
4
Suppose n + 3 = 4. Let v be n/1*(-2)/(-6). Let z = 40 - 40.1. Is z bigger than v?
False
Let i = 1.3 - 1.5. Let t = -0.5 - i. Is -1 equal to t?
False
Let c be 10*((-21)/6 - -3). Let o be 56/90 + 2/c. Which is smaller: -4 or o?
-4
Let b(m) = 3*m**2 + 9*m + 1. Let u be b(-3). Let v(k) = k**2 - k + 1. Let w be v(0). Is w equal to u?
True
Suppose 0*q = 2*q + 4. Let c = -14 + 10. Let v be (3/4)/(1/c). Is v at most as big as q?
True
Let o = 2.107 - 0.107. Does -1/16 = o?
False
Let h(j) = 2*j - 2. Let n be h(1). Are -12 and n non-equal?
True
Let c be (-2)/(-2) + (-6)/5. Let w be 1 + -3 - (-4 + 7). Let y = -5 - w. Which is smaller: c or y?
c
Let x = -10 - -9. Is x > -6?
True
Let r = 3/13 + -25/221. Let u(n) = n - 1. Let y = 4 - 4. Let x be u(y). Are x and r equal?
False
Suppose 0*f = -f - 17. Let d = -13 - f. Is 4 at most as big as d?
True
Suppose -w + 17 = 3*u, -2*w + u + 3 = 2*w. Suppose w*r = -2*r + 8. Suppose 5 = r*i - i + v, -1 = -v. Are i and 3 non-equal?
True
Suppose 12 = -2*z + 4*z + d, 5*z + d = 30. Which is bigger: 5 or z?
z
Let y = -10.898 + -0.102. Which is smaller: y or 1?
y
Suppose 30 = a + a. Suppose -4*p + p + a = 0. Suppose 4 = -4*c, -p*c - 2 - 2 = w. Which is smaller: w or 3/10?
3/10
Suppose -15 = 4*n - 7. Is -2 <= n?
True
Let n = -10.6 - -10.6. Is 117 at least as big as n?
True
Let f = 0.22 - 0.02. Let r = -4 - -4. Let w = 1 + r. Are f and w non-equal?
True
Let v be 20/(-3)*(1 + 2). Suppose 0 = -3*m + a - 2*a - 33, -3*m = -4*a + 18. Let u be m/4*(-4)/v. Which is smaller: u or 0?
u
Let a(k) = k**3 + 10*k**2 + k + 9. Let p be a(-10). Let d be (-3 - -1) + 4/p. Let x be 21/(-12)*(-12)/(-3). Which is bigger: x or d?
d
Suppose 2*k + 6 = -2*t + 2, -2*k = 4*t + 14. Suppose -3*g = -3*l + 15, 4*g - 2*l = -k*l + 5. Which is bigger: g or -1/7?
g
Let a = 2.97 + 0.03. Let i = -13.9 + 14. Is a at most as big as i?
False
Let c be (-2 - -2)/1 + 8. Let r(i) = -i**3 + 7*i**2 + 9*i - 6. Let w be r(c). Which is bigger: w or 3?
3
Let z(c) be the second derivative of -1/6*c**3 + 0 + 2*c**2 - c. Let o be z(3). Which is bigger: o or 2?
2
Suppose t - 5*h - 22 = 3*t, h + 8 = -t. Let z = t - -8. Suppose 3 = -z*c - 1. Is c greater than 1/4?
False
Let q(k) = -k**3 + 2*k + 2. Let i be q(0). Suppose 17 = 2*y + 5*g, i*y - 4*g + 18 = -2*g. Is y <= -1?
True
Let y be 1 + (-155)/70 - -1. Is -0.1 bigger than y?
True
Let x(u) = -u**3 + 7*u**2 + 10*u - 10. Let q be x(8). Suppose -q*y = -2*y. Let l = 29 - 29.2. Which is bigger: y or l?
y
Let o = -0.66 + -0.04. Is o smaller than 0.6?
True
Let p be -1 - (-114)/110 - (-1 - -1). Which is smaller: 1 or p?
p
Let f be 435/58 - (-6)/4. Which is smaller: 66/7 or f?
f
Let q = -4.3 + 3. Is q < 0?
True
Let t be 5/(-6) - 2/4. Suppose -4*j - 4*y = -8, 2*j = -8*y + 5*y + 7. Which is bigger: j or t?
j
Let p = -1396 + -136. Let i be (-4)/6 + p/(-6813). Let w = i - 2/757. Is w > 1?
False
Suppose m + 1 - 3 = 0. Do m and 19/6 have different values?
True
Let m be (-6)/(-4) + 6/(-12). Let u = m + 0. Is 1/2 != u?
True
Suppose -3*i = -45 - 39. Are i and 57/2 nonequal?
True
Let w(k) = 5*k**2 + k. Let s be w(-1). Suppose 4*x - 16 = -s. Which is bigger: x or 1?
x
Suppose -6*l - 84 = 6*l. Which is bigger: l or -2?
-2
Suppose -6*x - 2 = -4*s - x, 5*x = 10. Suppose 2 + 1 = s*w. Let q be (-7)/(-3 - (-2)/w). Do 1 and q have the same value?
False
Let x = -16 + 10. Let z be 7/((-5)/((-5)/x)). Which is smaller: 1 or z?
z
Let c = 4 + -2. Let w be (-9)/c*(-72)/27. Which is bigger: w or 13?
13
Let d(s) = -s**2 - 14. Let a be d(0). Let l be (-10)/a*(-12)/(-15). Let i(h) = h - 3. Let t be i(5). Which is bigger: t or l?
t
Let x(k) = -11*k - 1. Let t be x(1). Let p = -10 - t. Do 4 and p have the same value?
False
Let y = -54 + 54. Let i = 0 - -2. Suppose 0*s + s - i = 0. Are y and s non-equal?
True
Let d = -5 - -2. Suppose 0 = -2*a - 0*a + 12. Suppose y = -9 + a. Are y and d equal?
True
Let t be (-14 - 1)*(-4 - -2). Let o be (8/t)/((-632)/(-20)). Let m = -962/1659 + o. Is -1 bigger than m?
False
Suppose 4*s + 5*r = 0, 0*r - 2*r + 33 = -5*s. Is s != -4?
True
Let r = 9289/2046 - 50/11. Let f = 121/558 - r. Which is bigger: 0 or f?
f
Let r = -0.41 - -0.31. Which is greater: 24 or r?
24
Let d = -12 - -80/7. Let a be 1/(-3) - 4/(-12). Is a bigger than d?
True
Let r be (-2)/(-4)*(0 - 1). Let q be (-2)/(5 + (-6)/2). Is q < r?
True
Let i = 6.3 - 1.3. Let x = -5 + i. Is -4 >= x?
False
Let c(s) = 2*s**3 + 3*s**2 + 3*s + 2. Let o be c(-2). Which is bigger: o or -11?
o
Let t = 0.04 - -16.96. Let l = 31 - t. Let r = 10 - l. Which is bigger: r or 1?
1
Let p be -3 - -2 - (-1)/1. Suppose p = -5*t + 14 + 1. Which is greater: 2 or t?
t
Let s = 3 - -1. Suppose -2*l = -s*l. Suppose -2*f = -6*f. Are l and f equal?
True
Let w(x) = 3*x + 2. Suppose -8 = 3*l + l. Let u be w(l). Which is smaller: -5 or u?
-5
Let b(v) = v**3 - 7*v**2 + 5*v + 4. Let w be b(6). Let h = -2 + w. Let k be (-3)/6 + (-1)/h. Which is smaller: 0 or k?
k
Let d = -49 - -111. Let t be 2/7 - 1751/28. Let o = d + t. Which is smaller: o or -2/3?
-2/3
Let g = -3 + -8. Let o = g + 10. Does o = -1/3?
False
Let o = 53/182 + 37/26. Which is smaller: 3 or o?
o
Let q be ((-1430)/(-160))/13 + 1/4. Does 0 = q?
False
Suppose 8 = 4*n - 0*n. Suppose -4*x + 6*x - n = 0. Is x bigger than 1?
False
Suppose z + z = 4. Suppose 2*u = 3*h + 93, -4*h - 4*u - 93 - 31 = 0. Let r = 63/2 + h. Which is smaller: r or z?
r
Let l be (5/65)/((-1)/509). Let n = 39 + l. Do n and -1 have the same value?
False
Let f(h) = -h**3 - 21*h**2 - 21*h - 19. Let s be f(-20). Let q be 17/(-6) + 2/(-3). Let i = -10/3 - q. Are i and s equal?
False
Let f be -6*(-2 - (-6)/4). Suppose -5*b = -3*t - 29, -f*t + 5 = 2*t + 5*b. Which is bigger: t or -4?
t
Let i be ((-2)/(-5))/(1/10). Suppose -3*b - 2*j + 0*j + 5 = 0, i*b = 5*j + 22. Suppose 2*a + b*a + 10 = 0. Is a < -1?
True
Suppose -8 = 6*q - 3*q + 5*d, 5*q + 6 = -d. Which is bigger: 4/27 or q?
4/27
Let l = -3 + 0. Let o be 4/((3/(-4))/l). Which is smaller: o or 0?
0
Suppose 0 = -0*z + 3*z + 15. Which is smaller: -3 or z?
z
Let h = 6 + -18. Let k = h - -20. Let q(g) = -g**2 + 9*g - 8. Let u be q(k). Which is bigger: u or 2/3?
2/3
Let j be (-8)/10*(3 - 8/(-4)). Let r = 7 + -12. Is r bigger than j?
False
Suppose 0 = 4*a + 5*x + 10, -4*a + 2*x - 3*x - 2 = 0. Let m = -195 - -1363/7. Is m at most a?
True
Let x be (-4)/63 - 4/(-14). Let k = -8 - -12. Suppose 4*z + 0*z + k = 0. Is x less than or equal to z?
False
Let s = -0.2 + 0.1. Let t = 62.1 + -62. Which is greater: t or s?
t
Let r be -4 - (-2 - 20/(-8))*-10. Let d = -975/4 + 245. Is d >= r?
True
Let d = 33 - 26. Are 3 and d equal?
False
Let r = 10725/8 - 1339. Which is smaller: r or 1?
1
Let v = 20 - 30. Let r = -10 - v. Which is smaller: -8 or r?
-8
Let k = 799/88 + -104/11. Let y be 3 - (2 - (-1 + 1)). Is k smaller than y?
True
Let x(z) = -16*z**3 + 2*z + 1. Let w be x(-1). Let d be (-6)/w - 7/(-5). Suppose -t - 2 = -d. Which is greater: t or 2/13?
2/13
Let f(t) = -4 + 3*t - t**2 - 3*t**2 + 2*t + 3*t**2. Let k be f(4). Is k at least -1/8?
True
Let k = 47 - 34. Let o = -10 + k. Does 0 = o?
False
Let b be 14/(-7)*(-2)/(-12). Let i = 8 + -7. Which is greater: i or b?
i
Let z(b) = b**3 + 4*b**2 - 5*b + 1. Let w be z(-5). Let x be (4/(-1650))/((-3)/(-535)). Let v = x + -2/165. Which is smaller: v or w?
v
Let l(v) = -v**3 - 18*v**2 + 19*v - 2. Let n be l(-19). Which is smaller: n or -11?
-11
Suppose -9*r = -4*r + 9*r. Let h(t) = -2*t