i - 6, -3*i + 16 = j*f. Which is smaller: 2/43 or f?
2/43
Let c be (-13)/26*(-2)/43. Do c and 0.1 have different values?
True
Let r = 2/7 + -1/7. Are 0.1 and r nonequal?
True
Let d be 12*(5/(-2))/5. Let y(h) = -2*h - 2. Let p be y(d). Let w be 144/(-260) + 4/p. Which is bigger: 0.1 or w?
0.1
Suppose 4*b = 5*q + 335, 2*b + 4*q - 195 = q. Let w = 40 - b. Let l be 5/(w/4)*-5. Which is bigger: -1 or l?
l
Suppose -u - 4 = -3*u. Suppose -u*o - 1 = 1. Which is smaller: o or 6?
o
Suppose -24 = -5*o - 5*h + 1, -h = -5. Suppose 0 = -4*u - 9 - 7, 3*r + 16 = -4*u. Is r smaller than o?
False
Let i be 1/5 - 3/5. Let j(p) = -9 + 3 - 2*p + 0*p + p. Let d be j(-6). Which is bigger: i or d?
d
Let m be 5*1*18/15. Let w be (10/(-15))/((-2)/m). Which is bigger: 3/2 or w?
w
Let g = -193/2 - -86. Let l = g + 11. Are l and 0 equal?
False
Let z(t) = 3*t - 3. Let n be z(2). Suppose -1 = -c + 4, 3*g - 17 = -c. Suppose -g = n*j + j. Is j smaller than 1/3?
True
Let c(o) = o + 3. Let x be c(-3). Are 4/9 and x equal?
False
Let b = 5 - 16. Let d(t) = t**3 + 10*t**2 - 12*t - 11. Let p be d(b). Which is smaller: 0.01 or p?
p
Let h be -4 - -3 - 78/(-10). Let j = h + -151/20. Let v = 10 + -11. Which is greater: j or v?
j
Let y be -3 + (-2 - 0) + 2. Let r be (1 + 3/y)/3. Suppose 4*m + 6 + 2 = r. Which is smaller: -3 or m?
-3
Let g be -2 + 1*(-12)/2. Is -8 at most as big as g?
True
Let q = -2 - -5. Let j be (-10)/(-4)*q/(-5). Is -1 greater than or equal to j?
True
Suppose -l + 15 = 12. Is l > -1?
True
Let n = 8 + -3. Let h = 1 - n. Does h = -5?
False
Let b = -67 - -85. Which is smaller: b or 19?
b
Let w be (25/(-15) + -2)*3. Is w >= -13?
True
Let v(j) = j - 4. Let n = 9 - 7. Let t be v(n). Which is smaller: -1 or t?
t
Let n be 4*(-2)/(-16) + -2. Suppose -6*g = c - g - 31, 0 = 5*c + g - 35. Suppose -l - c*d + 2*d = 21, -9 = 4*l + d. Are n and l nonequal?
True
Let b = -27 + 35. Let m be (2 + -4)/(2/(-8)). Is m greater than b?
False
Let m = 19 - 13. Let l = -10 - -16. Is m < l?
False
Let j = -15 - -14. Which is greater: 3/8 or j?
3/8
Let w = -10 - -4.2. Let d = w - -6. Is 0.2 smaller than d?
False
Let m(c) = -c + 1. Let g be m(-4). Let k = 4 - g. Which is greater: 1 or k?
1
Suppose 0 = -2*r - 2*r. Are r and -1/22 nonequal?
True
Suppose -a = 2*a + 9. Let y be 33/(-4)*(-24)/(-108). Are y and a equal?
False
Let y = 21 + -18. Is -2 bigger than y?
False
Let k(x) = x**2 + 8*x + 5. Let n be k(-8). Suppose 5*l + 4*b = 2*l + n, l = -3*b + 5. Let y be 2 + (-3)/(l + 4). Is y > -2/5?
True
Let c be ((-9)/(-18))/((-1)/(-11))*2. Which is greater: 2 or c?
c
Let d(x) = x**3 + x + 5. Let b be d(0). Suppose -189 = 8*j - 253. Which is greater: b or j?
j
Suppose -5*f = -3*q + 44, 5*f + 10 + 38 = q. Let l = 0 + f. Which is smaller: -9 or l?
l
Suppose -10 = 4*r + 2*v, r - 2*v = -0*r - 5. Let d(n) = -n**3 - 4*n**2 - n + 4. Let a be d(r). Is a > -2?
False
Let d = -58 + 49. Is d <= 3?
True
Let f be (1 + (4 - 4))*-1. Is f bigger than 4?
False
Let o = -4 - -6. Let t = o - 0. Let d = -0.2 + 0. Is d at least t?
False
Let v = -23 - -25. Which is greater: v or 9?
9
Let k = 3.06 + -0.06. Let y = 3.1 - k. Suppose 0 = 3*g - 5*q - 8, 3*g + 6 = 4*q + 13. Which is greater: g or y?
g
Let m(j) = j**3 - 29*j**2 + 21. Let w be m(29). Which is smaller: w or 17?
17
Suppose 2*q - 3*s = -s - 20, 2 = 3*q + 5*s. Which is bigger: -1 or q?
-1
Let l be 7 + -4 + (2 - 0). Let i = l - 1. Suppose i*z = 6*z. Which is smaller: 1/5 or z?
z
Let y(r) = r**3 - 9*r**2 - 12*r - 6. Let n be y(10). Which is smaller: n or -25?
n
Suppose -5*c + j = -93, 5*c - 3*j - 72 = 27. Let s be 1 + (-2 - c/(-4)). Is s less than 3?
False
Let g be 2/3 - 16/33. Let z(r) = 0*r + 2 + 0*r - r. Let o be z(1). Are g and o equal?
False
Let v(i) be the third derivative of i**5/60 + i**4/8 - i**3/2 - 2*i**2. Let q be v(-6). Let m be (-99)/q + 2/(-5). Is m at least as big as -8?
True
Let z be (-18)/63*361/5. Let k = 101/5 + z. Is -1 not equal to k?
True
Suppose 0 = f + 2 + 2. Suppose -u + 3*u + 8 = 0. Let z = -9 - u. Which is smaller: z or f?
z
Let o = -329100 - -66807079/203. Let i be 2/(-6) + 16/(-87). Let j = o - i. Which is greater: j or -1?
j
Let f = 13.2 + -13. Let z be 1/(-5)*10/4. Which is smaller: f or z?
z
Let y be ((-6)/(-5))/(12/40). Let i be -2*(3/2)/(-1). Let p = i - y. Which is greater: p or -2?
p
Let f = 5 + -4. Let l be 4/(f/2*-2). Which is bigger: l or -3?
-3
Let q(t) = -2*t - 6. Let j be q(6). Is j greater than or equal to -17?
False
Let y be (-9)/60*10/(-4). Let l(o) = -o**2 - 3*o - 2. Let s be l(-2). Which is greater: y or s?
y
Suppose -4*s - 26 = -3*m - 0*s, 3*m = -s + 16. Suppose n - m = -h, -3*h + 2*n = -h. Let p = -4 - -7/2. Is h not equal to p?
True
Let y = 0.3 - 0.4. Let f = 0.58 + -0.58. Let b = y - f. Is b at most as big as -0.2?
False
Let f = 193 + -184.9. Let c = 8 - f. Are c and 0.03 equal?
False
Let u(r) = r + 2. Let s be u(-3). Let f(m) = -m - 4. Let k(b) = -b**2 - 3*b - 3. Let d be k(-3). Let l be f(d). Is s greater than or equal to l?
True
Let g be 4/(-18) + 86*(-1)/18. Which is smaller: -0.1 or g?
g
Suppose 0 = -4*l + 707 + 17. Let c = l - 102. Let v = c + -397/5. Which is smaller: 1 or v?
v
Let d = -44 + 33. Are 0.1 and d nonequal?
True
Let t be (3/12)/(18/(-48)). Which is smaller: 1.4 or t?
t
Let q(z) = z**3 - 7*z**2 + 7*z - 5. Let t be q(6). Is 0.1 less than or equal to t?
True
Let q = -61/3 + 20. Let s = 17/42 + q. Which is smaller: -1/3 or s?
-1/3
Suppose 4 = 4*w - 0. Let c be (-2)/(-3)*45/10. Suppose -3*y = -c*l + l + 1, 3*y + l = 5. Is y at most as big as w?
True
Let a = 0.34 - 0.14. Which is smaller: a or -2/5?
-2/5
Suppose 0 = 2*q - 4*h - 56, 0 = 3*q + 2*q + 3*h - 114. Suppose 0*l = -4*l - q. Which is smaller: 2 or l?
l
Suppose t - 2 = -f, -3*f + 2 = -2*t + 4*t. Let l be 18/(-10) - (2 - t). Let m(d) = -d + 6. Let r be m(5). Which is smaller: r or l?
l
Let z be 2 - 5/((-80)/(-36)). Is z less than 9?
True
Let x = 4 + -3. Let o(r) = -r + 8. Let w be o(6). Suppose -8 + 10 = w*u. Is u > x?
False
Let n = 3 + -3.1. Let t = 1.5 - 7.7. Let g = t - -6. Which is bigger: n or g?
n
Let d be ((-33)/(-15) + -2)/1. Suppose 0 = 6*x - 7*x + 4. Let s be (-1)/(-2*(-2)/x). Which is greater: s or d?
d
Let j be 115/(-828) + (-2)/(-8). Is j greater than 1?
False
Let w = 592/5 - 118. Is w less than 0.3?
False
Let v = 0 - -1. Let r = 20.3265 - 0.0265. Let i = -20 + r. Which is bigger: v or i?
v
Let t be 4/8*1*-14. Do -5 and t have different values?
True
Let t be (-3)/54 - ((-64)/(-36) - 2). Is t < -1?
False
Let k(q) = -2*q**2 - 48*q - 216. Let h be k(-6). Let g(f) = f**3 + 4*f**2 + 2*f + 5. Let i be g(-4). Let j be i/16*2/1. Which is greater: h or j?
h
Let t be ((-16)/1410)/(1/(-6)). Let f = 25081/940 + t. Let v = f + -27. Is -4 greater than v?
False
Let g(t) = t**3 - t**2 + 2*t - 1. Let c be g(1). Suppose -5*q = -5*y - 5, -c = -5*y + 2*q - 3*q. Is y >= 8?
False
Suppose -3*x + a + 52 - 11 = 0, 5*a + 75 = 5*x. Suppose 5*z + 5 = -4*r - x, -2*r + 6 = -5*z. Which is smaller: r or -9/7?
r
Suppose -4 = -3*r - 4*n, -3*r - 5*n + 1 = -4. Let i(l) = l - 13. Let t be i(12). Let z be t/(-2)*9/(-6). Is r at least z?
True
Let t = -0.29 - 11.71. Let m = t - -12. Is 5/2 greater than m?
True
Suppose -5*i + 276 = -424. Suppose -b = 4*b + i. Let x = b - -143/5. Is 2 less than or equal to x?
False
Suppose -4*p + 9 = -p + 3*r, -r = -p - 3. Let y be 0/(p + 1 - -3). Are 2/25 and y equal?
False
Let l be ((-1)/4)/((-1)/4). Which is bigger: l or 10/7?
10/7
Let i = -11.073 - -0.073. Does i = -0.3?
False
Let s(u) = 2*u**2 + u - 11. Let y be s(-6). Suppose f - 2*c + 62 = -3*f, 4*f + 5*c + y = 0. Which is smaller: f or -14?
f
Let d = 27 - 26. Which is greater: -0.04 or d?
d
Let s = 4 - 9. Let y = s + 7. Suppose -y*x - 5 = 3*x. Which is smaller: x or -2?
-2
Let j(p) = 3*p + 47. Let f be j(-16). Which is smaller: f or -3/5?
f
Let x = -10 + 12. Suppose -x*y + 5 = -7*y. Is y smaller than 3/7?
True
Let o be (46/4)/(2/4). Suppose 0 = 3*y + m - 0*m + o, 3*y - 2*m = -26. Let r be (y/3 - -2)/(-3). Is 0 >= r?
False
Let p(t) = t**2 - 5*t + 4. Let q be p(4). Let r be 5/(-10) - 282/(-4). Let h be (-2 - 1) + 230/r. Is h at least as big as q?
True
Let d(q) = -q**2 + 3*q + 2. Let w be d(3). Suppose -m + c - 2 = 2, w*m - 4*c + 14 = 0. Let p be 6/(((-63)/6)/m). Is 0 at most as big as p?
True
Sup