0*j + 7 = 2*o - j, 0 = 3*o - 3*j - 3. Suppose -o = -4*h + h. Which is smaller: -1 or h?
-1
Let k be ((-12)/15)/(366/(-45)). Is k smaller than 0?
False
Let g(x) = x**3 - 4*x**2 - 3. Let t be g(3). Let q be (-4)/t - (-4033)/(-15249). Let n = q + 4/221. Is -1 greater than or equal to n?
False
Suppose -4*r = -6*r + 2. Let j be (25/(-20))/(r/(-4)). Is 0 not equal to j?
True
Suppose -5*x = 4*h - 2 + 74, 0 = 4*x - h + 45. Is -12 bigger than x?
False
Let h be 2/8 + 2/8. Let v(p) = 6 + 3*p - 5 - p**2 + 3. Let o be v(4). Which is greater: h or o?
h
Let l = 0.003 + 55.997. Is -1 bigger than l?
False
Let l = -0.1 - -0.3. Let m = -1.8 - l. Let f = m - -1. Which is smaller: 0 or f?
f
Let x = 164 + -174.9. Let n = x - -9. Let u = n - -2. Which is bigger: -1/9 or u?
u
Let h(i) = i**3 + 6*i**2 + 5*i. Let l = 2 + 0. Let a(f) = -4*f + 3. Let n be a(l). Let u be h(n). Which is greater: 1/3 or u?
1/3
Let l = -0.035 - 0.065. Let h = 0.1 - 0.1. Let b = h + l. Which is smaller: 0.1 or b?
b
Let d(l) = -l**2 + 8*l + 3. Let n be d(8). Suppose b + 0*b + n*c + 1 = 0, -3*b = c - 5. Let a be ((-2)/b)/((-1)/1). Is -2/7 <= a?
True
Let p(o) = o**3 + 10*o**2 + 6*o - 3. Let i be p(-9). Let f be 28/30 - i/(-60). Which is smaller: 1 or f?
1
Let m be ((-976)/24)/((-8)/6). Let i = 30 - m. Which is smaller: 0.05 or i?
i
Let r be 5/20 + (-3)/(-20). Let b = 14 + -15. Is b > r?
False
Let c = 0 + -0.5. Let g = c - -2.5. Let w = g - 2.1. Are w and -2 equal?
False
Let n = -28 + 30. Let t be 1/(1/2) + 7. Let a be 3 - n - 15/t. Which is smaller: a or 0?
a
Suppose 90 = t + t. Let j = 3 + 6. Let i be ((-2)/5)/(j/t). Is i <= -2?
True
Let a = -24 - -25. Do a and -8/31 have different values?
True
Let v be (-3)/(-15) - (-1)/(-5). Let h = 7 - 4. Which is smaller: h or v?
v
Let j be (-57)/(-9) - 6/(-9). Suppose -3*o + 5*h = -j + 19, 3*o - h = 0. Let n be 1/(-2) - 20/(-16). Do o and n have different values?
True
Let x = -79/238 + 3/14. Which is bigger: 1 or x?
1
Let k = 0.29 - 0.49. Which is smaller: k or 4/13?
k
Suppose 0*o + 52 = -4*o. Let s = o - -11. Which is smaller: s or 0?
s
Let g = 1.3 - 0.8. Let j = g + 0.5. Which is smaller: 4 or j?
j
Let i be 50/(-180)*(-1 - 7/(-10)). Suppose 3*n - 5*z = 25, 3*z + 5 = -10. Which is smaller: i or n?
n
Let p = 3459 - 38013/11. Which is greater: 2 or p?
p
Let x = 5/8 - 1/2. Let z be (-10)/(-6)*((-32)/(-10))/(-8). Does x = z?
False
Let l = 8 - 8.7. Let u = 8 + -7.7. Let t = l - u. Is t < 2/3?
True
Let b be (-418)/(-56) - 10/(-35). Let r = -659/84 + b. Is r > 1?
False
Let j be ((-3)/(-6))/((-1)/10). Let f = j + 4. Let o be f/(-3) - (-1)/(-3). Is -3/2 >= o?
False
Let u(f) = -f**2 + 6*f + 10. Let q be u(8). Let l be 72/(-154) - q/21. Are 0.1 and l non-equal?
True
Let l be -5 + (-159)/(-40) - (1 + -2). Is l greater than 1?
False
Let g = -113/371 - -1/53. Suppose 2*w - 5*w - 5*x = 5, -4*w = -4*x - 36. Let b = w - 6. Is b greater than g?
False
Suppose 5*p = -6 - 19. Is p greater than -8?
True
Let b = -0.9 + -0.1. Let s = 4.2 - 4.2. Let l = s - b. Which is smaller: -1 or l?
-1
Let u = -1 - 6. Is u at least -6?
False
Let o = 0.07 + 0.05. Let c = o + -0.12. Which is smaller: 0.4 or c?
c
Suppose 3*b + 5 = 11. Let o(i) = i. Let h be o(1). Is b less than h?
False
Let p be (-4)/22 - 300/(-924). Which is smaller: -1 or p?
-1
Let h = -32 - -31. Suppose k - 6*k = -15. Let l be (-4)/3*k/10. Is l <= h?
False
Let c be (0 + -1 + 3)/17. Which is smaller: 0 or c?
0
Let u(t) = t**2 - 6*t + 8. Let s be u(7). Let x = 1397/2 + -717. Let o = s + x. Which is greater: o or -4?
o
Let p = -1.13 + 1.13. Are p and -67/3 nonequal?
True
Let a = -6 + 2. Let g be (-1 - a)/((-39)/26). Is -3 < g?
True
Let n = 3 + -3.1. Let w = n + 0.1. Which is smaller: w or 3?
w
Let k be 44/(-12) - 0 - -4. Let z be 2/(-4) - (-2)/4. Are z and k unequal?
True
Suppose 4*b = 2*b + 2. Let l be (-15)/85*(-2)/(-2). Is b != l?
True
Let j(n) = n**2 - 1. Let l be j(-1). Suppose 3*f + 6 = 3. Let d be (-2)/(-4)*(f + -1). Which is bigger: l or d?
l
Let i = 11 - 7. Let g be (-11)/(-12) - (-3)/i. Which is bigger: 2 or g?
2
Let b(y) = -y**3 + y**2 - y + 22. Let w be b(0). Let h be 3*(-8)/6*7. Let d be 3/6 + w/h. Is 4 equal to d?
False
Let v = -8.17 - -0.17. Let c = 14 + v. Let a = c + -6. Which is bigger: a or 3?
3
Let a be ((-15)/10)/(1/6). Let v = 8 + a. Which is bigger: 2/19 or v?
2/19
Let l = -2 + 1.8. Let o be (-12)/(-20)*50/45. Which is smaller: o or l?
l
Let s be -1 - -1*(2 - -1). Let a be (-49)/63 - s/9. Which is greater: 3/13 or a?
3/13
Let d(t) = t**3 + 9*t**2 - 12*t - 10. Let o be d(-10). Suppose l - 3*l = -o. Which is smaller: l or 4?
4
Let l be 6/14*(-368)/24. Let s = l - -216/35. Let d = 0.2 + 0. Which is greater: d or s?
d
Let v = 1708/17 + -101. Which is smaller: v or -2?
-2
Let y be (1/((-1)/2))/1. Is y less than -4/5?
True
Let c be 1 - -1 - -1 - -2. Suppose s - 2*s - 3*b - 4 = 0, -s + c*b = 20. Is s at least as big as -9?
False
Let w be (-6)/(-4)*3/(-9)*2. Are 1/46 and w non-equal?
True
Let r = -1 - 0. Which is smaller: r or -1/8?
r
Suppose 4*p + 8 = 28. Suppose 0 = 5*x - 15, 6*c - c - 10 = -p*x. Do c and 1/12 have the same value?
False
Let i = -21 - -19. Which is bigger: i or 0?
0
Suppose -5 - 5 = -2*t. Suppose -3*d + 3*h = -0*h, -t*h = -2*d - 3. Which is smaller: d or 0.1?
0.1
Let z(f) = 2*f**2 + 23*f + 1. Let u be z(-12). Are 13 and u nonequal?
False
Let p be -2 - 18/(3*-1). Let s be 4*(-2)/(p*-1). Suppose -z + s*u = u, 2*z - 2 = u. Are 2 and z nonequal?
False
Let a = -0.077 - -0.177. Is a greater than or equal to -1/13?
True
Suppose -p + 13 + 3 = 5*n, 4*n - 16 = 0. Let t be (-2 + 5)*p/(-6). Let m be t/(-8) - 45/140. Is -2 < m?
True
Let x be (-4 + 154/36)*2. Is 1 at most as big as x?
False
Let v(p) = -p + 11. Let b be v(7). Suppose -b*z - z = 0. Suppose 0 = -2*x + s - 10, -x - 8*s + 3*s - 16 = z. Are x and -6 nonequal?
False
Let q be (0 - -2) + (8 - 10). Which is greater: 3/50 or q?
3/50
Let j = -0.9 - -1. Let l = 53 + -44. Which is smaller: j or l?
j
Let z be 6/(-14) + (1 - 1). Is 1 less than or equal to z?
False
Let d = 0.9 + -1. Suppose -5*x + 2*a + 39 = 0, -3 = -x - x + 5*a. Let u be 3 - ((-3)/x - -3). Which is smaller: d or u?
d
Suppose 4*u + 28 = 208. Is u greater than 45?
False
Suppose 23 + 25 = -6*b. Is b at least as big as -7?
False
Let f = 53.3 + -49.3. Let t = -8 - -5. Is f bigger than t?
True
Let z = 178 + -182. Is z at most as big as -16?
False
Suppose w + 5 = 5*h + 3*w, -3*w = h - 14. Let x(y) = y**3 + 5*y**2 - 2*y - 4. Let q be x(-4). Let u = q - 21. Does h = u?
True
Let c be (-13)/3 + (-35)/(-7). Let d = 0.2 + -0.1. Let i = -0.2 + d. Which is smaller: i or c?
i
Let g = -0.9 - 0.1. Are 0.3 and g equal?
False
Suppose -v + 29 = -5*a - 1, 0 = 2*v - 4*a - 54. Suppose 7*b + v = 2*b. Is b <= -4?
True
Let d = 0.094 + -8.094. Is -1/5 at least d?
True
Suppose v - 282 = -5*n, -3*n - 106 = -5*n + 3*v. Let z be 11182/n + (-5)/20. Let c = -200 + z. Is c less than 0?
True
Let h = 0.02 - 0.22. Which is smaller: -0.5 or h?
-0.5
Let r = 19 + -27. Let c = r + 8. Suppose z + 3*b + 9 = 4*z, 0 = -3*z - 5*b - 23. Which is smaller: c or z?
z
Let y = -180.9 - -204. Let k = y - 23. Let v = 10 + -6. Which is smaller: k or v?
k
Let s = 35 - 103. Let n = s + 750/11. Let t = 79/12 + -25/4. Is t at least n?
True
Let p(k) = k**2 + 7*k + 6. Let n be p(-4). Which is smaller: n or -9?
-9
Let d = 79 + -715/9. Let b be (1 + 0)*1 - (-16)/(-16). Is d at least as big as b?
False
Let x be (3/(-2))/(-3)*-2. Which is smaller: 1 or x?
x
Let k be -6 + (4 - (-5 + 4)). Let d = -2 + 1/2. Is k at least d?
True
Let g = -2.1 - 4.9. Which is smaller: -1/2 or g?
g
Let t = -34 + 100/3. Which is smaller: 20 or t?
t
Suppose -6*p + 4*p - 10 = 0. Let h(d) = 8*d**2 + d**3 - 3*d**2 + 5 - 1 + d. Let b be h(p). Is b >= -1?
True
Let p(l) = l**2 + 6*l - 5. Let d be p(-7). Suppose 0 = -3*c - 3*f - 3, d*f + 2 = c + 2*c. Let z = -1 + c. Is -1 greater than or equal to z?
True
Suppose -6*k + 2*k + 96 = 0. Let p be k/(-14) - (-4)/(-14). Let l be ((-12)/(-8))/(3/(-4)). Is p != l?
False
Let p(d) = -d**3 + 3*d**2 - 2*d + 2. Let l be p(4). Which is bigger: -23 or l?
l
Suppose 0 = -4*h - 1 - 11. Let t be -3 - (-4)/((-4)/h). Which is smaller: t or -2/13?
-2/13
Suppose -4*w - 16 = -5*x, -2*w + 3*w + 4 = -4*x. Let j(q) = -q**2 + 6*q + 7. Let l be j(7). Let h be 3*(