 Is -16 less than or equal to l?
True
Let u(m) = 2*m - 15. Let i be u(7). Let t be ((3 - 3) + 3)*3/i. Which is smaller: -12 or t?
-12
Let n = 1.1 - 1. Let l = 74 - 103. Let h = l + 29.1. Does n = h?
True
Let a = 2250.036 - 2229. Let i = 0.036 - a. Is 1/5 <= i?
False
Let y(s) = s**2 - 8*s + 7. Let v be y(10). Let q = v + -29. Let z(g) = -7*g - 2. Let p be z(q). Which is greater: p or 11?
p
Let k = 4 - 24. Let m(f) = -f**3 - 3*f**2 + 5*f - 5. Let i be m(-5). Let s = i + k. Which is smaller: s or 4/5?
s
Let p be ((-2)/8)/((-70)/(-1848)). Which is bigger: p or 1?
1
Let c be (3/12)/(10/40). Is c at least -4/87?
True
Let c = -457 + 457. Let b = 0 + 9. Which is smaller: b or c?
c
Let t be ((-74)/(-3))/((80/12)/10). Suppose -3*s - t - 14 = 0. Is s <= -19?
False
Let s(q) be the second derivative of q**3/2 + q**2 - 6*q. Let x be s(-1). Let f = x - -13. Which is greater: 11 or f?
f
Let c = -16 + 20. Suppose b - 34 = -c*k, 3*k - 5*b - 17 = -10*b. Suppose 0 = 5*h - s - 3*s - k, h + 4*s + 3 = 0. Which is smaller: -1/15 or h?
-1/15
Let j = 0.011 + 2.989. Let c be 8/52 + (-57)/(-390). Are j and c nonequal?
True
Suppose -138*m - 15 = -123*m. Is 149 <= m?
False
Suppose -2*l + 3*l = -5*u - 9, -5*l + 1 = 2*u. Is 1/2 less than or equal to l?
True
Let m be 2835/(-20) + 2/(-8). Let k be 8/48 + (-1)/(12/m). Is 12 equal to k?
True
Suppose 5*l - m - 13 - 4 = 0, -l + m + 1 = 0. Suppose -l*r + 2 = -2. Let i = 2 + r. Is 5 < i?
False
Let p = 165 + -151. Let i be (10 - (p + -4))/(1*-1). Is i at most as big as 3/142?
True
Let u = -38 + 72. Let p = -37 + u. Which is bigger: p or -0.1?
-0.1
Suppose -509 - 319 = -12*s. Which is smaller: 73 or s?
s
Suppose 16 = -p + q, 5*p + 3*q + 33 + 15 = 0. Let r(l) = 7*l**2 - 21*l + 4. Let h be r(3). Suppose o - 2*s = 3 - h, o - 4 = 3*s. Is o smaller than p?
False
Suppose 2*g - 7 = -2*g + 3*c, 0 = 4*g + c - 19. Let r be (12/21)/((-2)/g). Is r equal to -1?
False
Let j be ((-10)/4)/(915/(-230) + 4). Let k = j - -62. Which is smaller: -0.1 or k?
k
Suppose -3*d + 7*d + 8 = 0. Let q = d + 0. Which is bigger: q or -5/6?
-5/6
Suppose -10 = -2*c + r, -2 = -c + 3*c - 4*r. Suppose 78 + 104 = -c*o. Is o <= -24?
True
Let v = 788 + -687. Is 0.2 < v?
True
Let u = 82715/56 + -1477. Suppose -5*m + w + 5 = 0, -5*m - 5*w - 1307 + 1282 = 0. Which is smaller: u or m?
m
Let u = 500.16 - 605. Let k = u - -107. Let w = k + -0.16. Is 0.06 at most w?
True
Let n = -13 - -23. Suppose 5*d - 4*d = n. Is 10 less than d?
False
Let d be ((-3)/(-2))/(9/(-18)). Let o be 6*((-6)/(-4))/d. Is 0 equal to o?
False
Let g = -15 - -31. Let j be ((-6)/(-28))/(3/g). Suppose 9 = 4*f - 7, -3*u + 9 = 3*f. Which is bigger: j or u?
j
Let u(i) = -4*i - 7. Let p be u(-5). Let s = p + -3. Let x = s + -17. Which is smaller: -6 or x?
x
Let c = -194 - -166. Suppose -5*z - 56 = -3*z. Is c bigger than z?
False
Let z = 50 - 68. Let a = z - -19. Let x be (-27)/21 + (-4)/(-14). Which is greater: x or a?
a
Let h(t) = -13*t**3 - 3*t**2 - t + 2. Let z be h(-2). Suppose -16 = -2*x - z. Which is greater: x or 0?
0
Let i = 42 - 56.8. Let r = i - -15. Let l = r + -0.4. Are 4 and l equal?
False
Let f be (-159)/(-15) + 3/(-5). Let i be (-83)/9 + -7 + f. Let c = 401/63 + i. Is 1 at most as big as c?
False
Let i = -47 - -41. Let q(x) = -3*x - 19. Let c be q(i). Which is smaller: c or -1/4?
c
Let o = 1.9 + -1.79. Let n(y) = y**3 + 19*y**2 - 4*y - 46. Let d be n(-19). Suppose -d*k = -29*k. Does o = k?
False
Suppose -3*n + 3 - 2 = 4*b, -b = -n + 12. Let h = n + -7. Suppose q + h = -4. Does -5 = q?
False
Let x = -291247/2814 + -1/1407. Is -105 at most as big as x?
True
Let i(y) = y**2 + 6*y + 5. Let u be i(-6). Suppose -2 + 2 = -3*w. Suppose w = -5*b - u*h - 5, 3*b - h + 5*h = 0. Is b equal to -2?
False
Let n = 21 - 22.8. Let w = n - -0.7. Let l = -665 - -3327/5. Is l less than or equal to w?
False
Let v = 3/140 + -71/700. Let m = -4291/5 - -26912/35. Let u = m + 89. Which is greater: v or u?
v
Let q = -119 + 119. Suppose 0 = 2*o - 3 + 1. Which is smaller: o or q?
q
Suppose 2*h = 3*o - 9, -9*o = h - 6*o. Let m = 2061/44 + -195/4. Is m bigger than h?
True
Let s = -7 + 11. Let y be s*(1 + 27/(-12)). Let c = 211 + -214. Which is greater: c or y?
c
Let r = 6 + -5.7. Let c = -0.4 + r. Let f = -150 + 150.06. Do c and f have the same value?
False
Let w = -1794 + 876. Which is smaller: -917 or w?
w
Let p = 45 + -23. Let f = p - 25. Let b = 1.5 + f. Which is smaller: b or 0.1?
b
Let z be (-5376)/(-16) + 2/1. Let l = -838 + z. Let r be -5*(1976/l - -4). Is r bigger than 1?
False
Suppose 2*z - 7*z = 0. Suppose z*y + 2 = -2*y. Let x = 387/40 - 54/5. Which is smaller: x or y?
x
Suppose -2*b = -m - 8, 10*b = 2*m + 5*b + 21. Let y(u) = -u**2 + u + 1. Let c be y(2). Which is smaller: c or m?
c
Let y be 2*(6 - 4)/(-4*1). Let x = -33 - 0. Let z be y - (4 - x/(-9)). Which is bigger: -1 or z?
-1
Suppose -6*u + 3*l = -2*u - 122, 4*l - 136 = -4*u. Let c = 15 - u. Let r = -302.1 + 302. Which is bigger: r or c?
r
Suppose 0*x + b = 3*x + 4, 4*x = 5*b - 9. Is x at least as big as -140/9?
True
Let y = -3/30337 + -2426729/2335949. Are y and -1 equal?
False
Let w(b) = b**3 + 14*b**2 + 13*b + 5. Let z be w(-13). Suppose y = z*g - 3, 7 = -y + 5*y - g. Let x = 1 - 1. Is x < y?
True
Let b = -36 - -59. Let u = 22 - b. Let o = 9 - 14. Which is greater: o or u?
u
Let j be (-2)/((-8)/(-2))*9744/(-29). Is j equal to 168?
True
Let p(v) = 3*v + 171. Let n be p(-57). Which is smaller: 3/194 or n?
n
Suppose -4*q + 60 = -6*q - 3*i, 0 = 2*q - i + 60. Is -31 greater than q?
False
Suppose -22 = 2*l + 24. Let m = l + 35. Let o be 2/(33/m + -3). Which is smaller: o or -0.2?
o
Suppose -j - 2 = w - 0, 3*w + 2*j = -5. Let x(h) = 21*h + h**2 + 27*h - 22 - 40*h. Let b be x(-10). Are w and b equal?
False
Let y = -41.16 - -58. Let h = 17 - y. Let v = -0.06 + h. Does -2/7 = v?
False
Let s = -235/2 + 119. Is 3 < s?
False
Suppose 2 = -2*g + g + 4*t, 5*t - 40 = -5*g. Suppose 206*a - 8 = 204*a. Let d be g/(-8) + a/(-16). Are d and -2 unequal?
True
Suppose -4*i = -154 + 178. Is i at least as big as -18?
True
Suppose 0 = -2*f - 2*u - 4, -2*f = -u - 0 + 1. Let y = 11.79 - 11.39. Is f greater than y?
False
Suppose -4*j = -v + j - 9, 3*v + 2*j = -10. Let y be (-4)/((v + 2)*-1). Let b be (16/(-340))/(y/(-1)). Is -1 less than b?
True
Let z be 24/18 - (-8)/(-6). Suppose -3*c + 134 = -37. Let f be (18/(-12))/(c/4). Which is smaller: z or f?
f
Let u(g) = -g**3 - 4*g**2 - 2*g - 4. Let j be u(-4). Suppose -3*o - 5*r + 18 = 0, j*r - 7 = o + 4*o. Let b = 6635/11 + -603. Which is greater: b or o?
o
Let c = -35131/27 - -1301. Which is smaller: c or -1/3?
-1/3
Let s = -285 + -23. Let j = s + 629/2. Which is smaller: j or 7?
j
Let w(k) = -3*k**3 - 2*k**2 + 2. Let b be w(-2). Suppose 0 = 2*f - 0*f - b. Let x = 0 - -8. Is x smaller than f?
True
Let z(p) = 7*p - 30. Let n be z(6). Let b = 30 - 17. Suppose b + n = 5*m. Which is smaller: m or 4?
4
Suppose 3*t + 2*t = -5*k + 65, -5*t - 3*k = -69. Suppose 9*u = 21 + t. Suppose -4*w + q + 5 + 10 = 0, 6 = 2*w - 2*q. Is u < w?
False
Suppose 11*m = 7*m - 4*q + 4, -4*m + 2*q - 8 = 0. Which is greater: 1/100 or m?
1/100
Let g = -0.056 + -28.944. Let x = g + 19. Let b = -9.9 - x. Which is smaller: b or -6?
-6
Let w = -5.1 + 8. Let r = -0.3 + w. Let y = 0.6 - r. Is 4 greater than or equal to y?
True
Let u = 1938/6587 + -8/941. Let f = 0.09 - -5.91. Let y = f - 5.4. Which is greater: y or u?
y
Let m be -1*1 + (-9)/(17 - 26). Is -4/143 smaller than m?
True
Suppose 28*p - 33*p = 10. Let j be ((4/30)/(1/p))/(-2). Which is bigger: j or 9?
9
Let b be (-3)/(-2)*(5 + -9). Let y = b - -6. Suppose y = -3*u + 4*u + 5*g - 19, -4*u = -3*g - 7. Which is bigger: u or 3?
u
Let q(d) = d**2 - 3*d + 4. Let y be q(3). Let j = -11 - y. Let h(p) = p + 14. Let s be h(j). Which is greater: 3/10 or s?
3/10
Let l be (4/(-6))/(34/6). Let g = -16 - -31. Let p = g - 15. Is l at most p?
True
Let x be 222*(-27)/(-54)*4/6. Which is smaller: 0 or x?
0
Let y = -3.27 + 2.47. Is y greater than 7?
False
Let c(g) = 4*g - 12. Let z be c(4). Suppose d - z = -35. Let v = d + 29. Which is smaller: v or -2/3?
v
Suppose -3*t + 15 = -4*n, -3*n + 25 = n + 5*t. Let k(p) = p**2 - 8*p + 8. Let v be k(8). Suppose n = -v*f + 3*f. Which is smaller: f or -4/3?
-4/3
Let s(k) = k**2 - 3*k - 4. Let x be s(