856/3. Let a = -604466 + u. Let s = a + -346. Is s at least 0?
False
Suppose c - 3*c - 14 = 0. Which is greater: c or -5?
-5
Let f be 258/88 - (16 - 13). Let t = 7/22 + f. Which is greater: t or 0.05?
t
Let k = 186 - 247. Which is bigger: -60 or k?
-60
Let j be -3 - 2*2/(-4). Do j and -10/19 have different values?
True
Let z = -54/19 + 4660/1653. Which is bigger: z or 0?
0
Suppose h - 3*w + 21 = 2*w, -9 = 4*h - 5*w. Suppose -h*n - 3*r = -0*r - 19, 2*n - 3*r + 13 = 0. Are 1 and n equal?
True
Suppose -j + 27 = 3*i, -j - 2*i = -32 + 4. Suppose -j = 5*g - 10*g. Let o be (2*(-3)/g)/1. Which is smaller: -1/6 or o?
o
Suppose -5 = -r + 5*i, 4*r + 2*i = 7*i + 5. Is r at most as big as -6/11?
False
Let u(f) = 26*f + 367. Let h be u(-14). Let z = -3 + 4. Suppose z = 2*s - 3. Is s < h?
True
Let n = 443 - 452.95. Let c = n + 10. Which is smaller: -0.1 or c?
-0.1
Suppose -5*o + 3*o - 2 = 0. Let r = -4 + o. Which is greater: -6 or r?
r
Let i = -5.13 - -0.13. Let n = -5 - i. Let b = -2 + 2.2. Which is bigger: n or b?
b
Let v = 1 + -1.04. Let l = v + -1.96. Let o(q) = -q - 1. Let a be o(-3). Is l at most as big as a?
True
Let i = -8 - -7. Suppose -1 = -s + 4. Suppose -s*q + 0 = -5. Which is smaller: i or q?
i
Let p = -1/119 - 6/119. Is p bigger than 1?
False
Suppose 4*z + 4*x + 0 = -4, -2*z + 3*x + 13 = 0. Suppose -4*w = -3 - 1. Is w < z?
True
Let o = 0 + -2. Let m = -1.98 + 2. Let w = 0.02 - m. Which is bigger: o or w?
w
Let x(u) = u**3 - 14*u**2 + 12*u + 9. Let q be x(13). Which is smaller: q or -17/4?
-17/4
Let p = -4676/65 - -362/5. Let x(h) = h**3 - 7*h**2 - h + 8. Let k be x(7). Which is smaller: k or p?
p
Let a = 2654/13 + -204. Which is bigger: a or 1?
1
Suppose -2*t + 19 = 4*y + 5, 0 = 5*t + y - 17. Suppose 5*p + t + 2 = 0. Which is smaller: p or 2/13?
p
Let s be 4/14 + 8/(-28). Let v(o) = -3*o - 6. Let k be v(-4). Suppose t - k*t = -5. Do t and s have the same value?
False
Let n = -1 - -1. Let z = -0.02 + 0.07. Is z smaller than n?
False
Let p = 122 + -608/5. Which is greater: p or 0?
p
Let j be 2/(-7) - 174/(-462). Which is greater: j or -1?
j
Let g = -83 - -34. Do g and -48 have the same value?
False
Let f = -11 + 9. Let o be ((-19)/2*f)/1. Do o and 19 have different values?
False
Let j = 0.09 - -0.11. Let i = 2.3 + -2. Let x = -1.3 + i. Is j > x?
True
Suppose 122*h = 123*h. Is h smaller than -13?
False
Let w = 0 - -5. Let g be (-1)/((-2)/(3 - w)). Which is smaller: g or -2?
-2
Let w(v) = v**3 + 5*v**2 + v - 4. Let i be w(-4). Let b be ((-4)/(-16))/(1/i). Do b and 0 have the same value?
False
Let a = -183 - -174.7. Let i = a + 8. Let w = i - -0.1. Which is bigger: 1 or w?
1
Let t = -2 - -9/4. Does -1 = t?
False
Let y = -159 - -157. Is -12 at least y?
False
Let i be 3 + (-2316)/15 + 0. Let a = 152 + i. Is 1/4 at most a?
True
Let g(p) = -p**2 - 7*p + 1. Let u be g(-7). Suppose -2*l - 166 = -5*l + 4*f, -3*l + f = -163. Let b be (-3)/l*(-5 - -1). Is u greater than b?
True
Let i = -0.046 + -0.054. Which is smaller: i or 2/5?
i
Let a(s) = -s - 2. Let p be a(3). Let m be (2 + p/2)*0. Is 1/3 != m?
True
Suppose -4*i = 3*o - 30 + 4, -5*o = -i - 5. Let y be 4 + (-2 - 1) + 1. Is y greater than or equal to o?
True
Suppose -1 = t - 2, 0 = -k - 4*t + 6. Which is smaller: k or 3?
k
Let f(j) = j**2 + 3*j. Let b be f(-6). Let w be b/4*8/6. Suppose w*n - 10 = n. Which is smaller: n or 3?
n
Let v(t) = 4*t - 32. Let w be v(10). Which is greater: w or 9?
9
Let v = 11 + -19. Which is smaller: v or -9?
-9
Let d(t) = t**3 + 2*t**2 - 4*t. Let h be d(-3). Let o be ((-16)/h)/2 - -2. Let r = -2.08 + 0.08. Which is bigger: r or o?
o
Suppose 34 = -u + 10. Let f be u/10*35/7. Let n be (-28)/(-24) - (-2)/f. Is n > 1?
False
Suppose 12*o + 0*o - 348 = 0. Is -0.1 != o?
True
Let l = -52 - -52. Let r = 5.3 + -5. Is r at most as big as l?
False
Let v = 9 - 137. Let m = 262/121 - -136792/1089. Let c = v + m. Which is smaller: 0.1 or c?
c
Let a(g) = 3*g**3. Let s be a(1). Suppose 4*f - 5 - s = 0. Let q = -72 - -147/2. Is f less than or equal to q?
False
Let j(i) be the first derivative of -i**2 - 2*i + 1. Let c be j(-2). Suppose -2*m - m = -c*g + 9, 5*m + 3*g = -15. Which is smaller: m or -2?
m
Let r(x) = 2*x - 7. Let k be r(7). Suppose 5*q = b - 10, 2*b = k*b - 25. Suppose -5*f + 15 = -5*v, -2*v = -4*v + f - 3. Is v < q?
False
Suppose 3*k - 11 = 1. Suppose -3*x = k*w - 2*w - 13, 2*w - 10 = 0. Suppose -3*p = p - 8. Which is bigger: x or p?
p
Let o = -6 + 9. Let b = 78 - 153/2. Do o and b have the same value?
False
Let v = 28.8 - 2.8. Which is greater: 0.1 or v?
v
Let i(v) = v**2 + 8*v - 11. Let o be i(-9). Let z = o - -4. Is z greater than or equal to 2?
True
Let j be (0 - -6)*1/3. Are 3/2 and j nonequal?
True
Let i = 357 - 3215/9. Let j = 0.3 + -0.1. Which is greater: j or i?
j
Let x be 8/((-3 - -2)*-2). Suppose -t + 29 = 4*n + x*t, 3*n + 5*t - 28 = 0. Let y be (-12)/(-21) + 4/(-14). Which is smaller: y or n?
y
Let u = 80 + -39. Suppose 2*h + 5*i = u - 16, 2*h - 5*i + 25 = 0. Suppose -7*z + 2*z = 4*s + 5, 2*s = 2*z - 16. Is z smaller than h?
False
Let m = 1 + 0. Let l be 44/(-108) - (-4)/12. Is l at least m?
False
Let k(y) = -y + 10. Let q be k(13). Let b = 8 - 6. Is b greater than q?
True
Let i be (2/4)/((-9)/(-18)). Is 0 less than or equal to i?
True
Let h be 11/6 + 12/18. Do 3 and h have different values?
True
Let n(t) be the third derivative of -t**5/60 + 7*t**4/24 - 4*t**3/3 - 2*t**2. Let i be n(6). Let f be -2 + (0 - 0 - 0). Is i at most as big as f?
True
Let y(a) = a**2 + 4*a - 6. Let f(o) = -o**2 - 9*o + 5. Let w be f(-10). Let m be y(w). Do 0 and m have different values?
True
Let q = -49 + 47. Is q at most -6/5?
True
Let j be -1*(-3)/(-57)*-2. Let y be 2 - (-12)/(-8 - -4). Do j and y have the same value?
False
Suppose -f = w - 5, -4*w - 5*f + 17 + 7 = 0. Let y be 2/w - (0 + -1). Let o be y/(-2)*4/(-3). Which is bigger: o or 3?
3
Let w be 10/(-25) + 4/10. Let b be w*(-1 - (-1)/2). Which is greater: b or -1?
b
Suppose -3*d - d = 0. Suppose -1 + d = q. Is -2/21 at least q?
True
Suppose 3*p - 6 = 18. Suppose -5*b = 7 + p. Let y = 11 + -13. Do b and y have the same value?
False
Let j be (0 - 0)*8/(-16). Suppose -2 = -3*u + u. Let g be u/(-4) + 3/6. Are j and g non-equal?
True
Suppose -5*t + 3*w = -4*t - 15, -3*t = 4*w - 19. Which is smaller: t or 13?
t
Let x(c) = c + 5. Let n be x(-7). Let m be 14/(4*n/(-4)). Suppose 5*l = -2*f + 8 + 19, l - m = -2*f. Which is smaller: l or 4?
4
Let o = 11 + -8. Let f be 212/68 - 0 - o. Which is smaller: 0.1 or f?
0.1
Let m = -0.1 - -0.1. Let b = -1 - -1.08. Let h = b + 0.02. Which is smaller: m or h?
m
Let w(l) = l + 52. Let u be w(0). Suppose -5*g - u = 68. Let a be g/(-8)*(-1)/(-3). Is 0 smaller than a?
True
Suppose -5*a - 2 - 28 = 0. Let c = a + 5. Let b = c - -3. Is 1 greater than or equal to b?
False
Suppose -4*k + g + 55 = 4*g, 63 = 5*k - 2*g. Let b = k - 16. Which is greater: -6 or b?
b
Let l be -2 + (-32)/(-14) - 0. Let a = -3 + 2. Let t be (a/(-3))/((-1)/3). Is t > l?
False
Suppose -i = -w + 3, 3*w + 5*i + 18 = 5*w. Suppose -36 = 2*v + v. Let l be (-1)/(-2) - 6/v. Is l less than or equal to w?
False
Let t be (-6)/10 - (-2)/(-5). Let l be 0 + (2 - t - 2). Let p = l + 2. Is 3 at least as big as p?
True
Suppose -3*q = -20 + 2. Let t be (-42)/54 - q/27. Let l(a) = -a**3 + 5*a**2 - 4*a + 1. Let b be l(4). Is t greater than b?
False
Suppose -2*u + 4 - 8 = a, -4*u - 14 = 5*a. Which is smaller: a or -22/7?
-22/7
Let t(h) = h**3 - 6*h**2 + 10*h - 5. Let m be t(4). Is m >= 14/5?
True
Let l = 0 + 10. Suppose 0 = -2*i + l, -4*i = -z - 19 - 1. Let j be z/(-2) + 18/63. Are 6 and j non-equal?
True
Let y = -5 + 4. Let t = y - -1. Are t and 6 unequal?
True
Suppose 6*c + 57 = 9. Suppose 0*b = 2*b + 16. Is b <= c?
True
Suppose 3 = 2*g + 5*d, 0 = 2*g - 2*d + 4*d. Does g = -5/6?
False
Suppose -4*t = 2*f + 2, -5*t + f = 2*f + 7. Let s = t - -1. Let d = s + 2. Which is smaller: 2 or d?
d
Let o(v) = -v - 1. Let q = -9 - -4. Let n be o(q). Let l be -1 + 2 - 5/10. Which is greater: l or n?
n
Let m be (-1)/2 - (-1)/2. Let s be (-3)/(-7) + (-114)/70. Which is bigger: s or m?
m
Let i = -22 + 33.7. Is i greater than or equal to -0.1?
True
Suppose -3*u + 27 = -3*s, 0*s - 4*u - 12 = 4*s. Is 0 < s?
False
Suppose -2*h - 28 = -4*v - 6*h, 5*v + h = 19. Suppose -v*l - 6*m