l?
True
Let z be 400092/(-55) + (0 - -2). Let a = z - -7247. Let t = -11313/445 - a. Is -1 > t?
False
Let a be (3/4)/((-35)/140) + 37. Let j(f) = 34*f + 1. Let i be j(1). Which is bigger: a or i?
i
Suppose 0 = q - 3 - 3. Let x = q - 6. Let p be 2 + x - (-110)/(-45). Which is smaller: p or 1?
p
Let w = 1340 - 1339.7. Let p = 0.6 - 1.3. Is w at most as big as p?
False
Let g be (-2)/(-1)*(-4)/(-8). Let b be g + (-1 - 0 - 35). Let q = 25 + b. Is -9 less than or equal to q?
False
Let q = -8.3 - -8. Let t = q + 0.2. Let o = 0.18 - 0.22. Which is bigger: o or t?
o
Let r be (2/(-4)*10 - -2) + -5. Let d be (4/(-4) - r) + -2. Is d smaller than 21/4?
True
Let v(z) = -z**3 + 9*z**2 + 8*z + 6. Let c be v(9). Let u be 416/c*1*3/(-11). Which is bigger: -1 or u?
-1
Suppose 190*f = 188*f + 44. Let v(l) = l**2 - 19*l + 25. Let p be v(f). Is p >= 92?
False
Let f be (0 - -1) + (-8 - -7). Suppose -48 = -5*h - 2*g - f*g, h - 5*g + 12 = 0. Let d = 2 + 6. Is d at most as big as h?
True
Let f = -12566/13 - -966. Suppose 5*z = 4*a + 7, 9*z - 5*z = 5*a + 11. Is f != z?
True
Let h = 14 - 9. Let i = -26 - -31. Suppose 15 = i*r - 10. Is h smaller than r?
False
Let g = 0.03 + -0.17. Let h = -0.06 - g. Let y = h - 0.08. Do y and -0.5 have different values?
True
Suppose -3*r + 3*f - 894 = 0, 5*f - 581 = 15*r - 13*r. Which is bigger: -305 or r?
r
Let m = -70 + 49. Let d = -21.9 - m. Let t = 0.7 + d. Which is smaller: t or 1?
t
Suppose 9*p - 47 = 7. Is 52/9 at most p?
True
Suppose 3*m = -0*b - b - 2, 2*b + 4*m = -12. Let l = 3256 + -3255.96. Is b greater than l?
False
Suppose -4*k = 4*r, r + 4*r + 12 = -2*k. Which is greater: 74/15 or k?
74/15
Let u = -318532/16009889 - 2/53189. Is u > 0?
False
Let y = -23/2 - -14. Let a = 0.86 + -0.66. Is a greater than y?
False
Let k(o) be the second derivative of o**3/3 - 5*o**2 - 2*o. Let d be k(5). Let g be -4 + (-48)/(-14) + d. Is g less than or equal to -0.2?
True
Let p = 11.41 + -11.39. Is p > -103?
True
Let z = 50 - 38. Let g(d) = d + 1. Suppose 0 = -4*a + 14 + 30. Let h be g(a). Is h not equal to z?
False
Suppose 8*n + 20 = 12*n. Suppose -3*b + 10 = -n*y, -4*b = -0*b - 20. Which is smaller: y or 5/31?
5/31
Let t(c) = -6*c**2 - 30*c - 2. Let l be t(-5). Suppose -g = -5*v + 3*g - 34, -2*v - 8 = -3*g. Which is bigger: v or l?
l
Let p be 1/(-3 - 5/((-5)/4)). Is p greater than 2/147?
True
Let a = 1272 + -1274. Is -1.8 > a?
True
Suppose 2*g + 5 = f - 6, -4*f - g - 1 = 0. Is f != 2/955?
True
Let x = 651 + -724. Is -1/2 < x?
False
Suppose -141*w - 78160 = 3056. Is -576 equal to w?
True
Let t = -25 - -28. Suppose 5*v = -2*s - 0*s + 38, -t*s - 18 = -5*v. Is v smaller than 1?
False
Let o(w) = -3*w**3 - 2*w - 1. Let y(n) = n**2 - n - 1. Let d be y(0). Let r be o(d). Let h be ((-15)/(-20))/((-1)/r). Do h and -3 have the same value?
True
Let o = 13 + -10. Suppose 0 = 4*m - o*m + 1. Let l be (-3)/(5/8 + m). Is 8 at most l?
True
Let a be ((-17)/(-4))/((-8)/(-32)). Let i = a + -13. Let o = i + -4. Does -2/27 = o?
False
Let z be (-12)/(-7)*4/(-9). Let j(x) = x**2 - 73*x + 1222. Let c be j(47). Do z and c have the same value?
False
Suppose -2*y = -5*z - 332, -23 = 2*z - 4*y + 113. Which is smaller: z or -68?
-68
Let h be (6/(-9))/(46 - -8). Let k(f) = -f**3 - f**2 + f. Let b be k(0). Is b < h?
False
Suppose -3*g - 2*r - 14 = 0, -3*g = 4*r - 2 + 24. Let l be -4 - g - -2*2. Let f be (-1)/l - (-10)/100. Which is smaller: -3 or f?
-3
Let l be -1 + 1/3*20/60*18. Let f be ((-4)/(-10))/(1*2). Is l at least f?
True
Suppose 9 - 37 = -2*h + 3*c, -4*h - 5*c = -34. Is h equal to -2?
False
Let w = -0.059 - -0.12. Let z = 23.939 + w. Let n = z + -24.7. Which is bigger: -2 or n?
n
Let h be (-8 + 6)*(7/2 - 2). Suppose -2*i - 10 = -3*c, 0*i - 5 = -5*c + i. Let s be 3/h*(1 - c). Which is bigger: -5 or s?
s
Suppose 7*l + 95 = -458. Which is greater: l or -80?
l
Let z(x) = -10*x**2 - 13*x - 114. Let y be z(-6). Is y <= -396?
True
Let c be 3/7*4/((-216)/(-63)). Suppose -1 = 4*v - t, -v + 0*t + 11 = -4*t. Let y be (0/(-2))/(v*2). Is y smaller than c?
True
Let b = 4.4 + -3.4. Which is greater: -121 or b?
b
Let q be (-4)/10 - 27/(-5). Let n = 88 - 87. Suppose 0 = -y - n + 3. Is y greater than or equal to q?
False
Let n = -31761/19 + 1671. Which is greater: n or 0?
0
Let w = -1501 + 1501.1. Are 233 and w equal?
False
Let y(k) = -k - 3. Let a be y(-3). Let p be (-48)/6*(1 + a). Let x be (1 - (-4)/p)*-20. Which is smaller: -11 or x?
-11
Let p be -5 - 2*11/(-26) - -4. Is p less than or equal to 3/2?
True
Let d = 12.21 + -12.01. Is 18 smaller than d?
False
Let r be ((-1677)/(-1485) - 1) + 38/209. Is r < 0?
False
Let d(z) = -z**2 + 9*z - 7. Let t be d(6). Suppose -t*n = -8*n + 141. Let c be 3/n*(-4)/6. Which is smaller: c or 0?
0
Let h(x) = -3*x. Let j(s) = -s**3 - 5*s**2 + 2*s + 6. Let n be j(-5). Let c be h(n). Which is greater: 13 or c?
13
Suppose 3*t + 15 = 0, -t + 2 = 3*x - 26. Suppose x*i - 32 = 15*i. Let h be (2/8)/((-6)/i). Which is greater: 5 or h?
5
Let t = -81/4 + 20. Let y = -2.3 - -0.6. Are t and y nonequal?
True
Let v = -29 - -32.9. Let q = -43 + 47. Let k = q - v. Is -11 less than k?
True
Suppose 4*d - 53 = 5*n, -3*d - d + 51 = -3*n. Let t = 38 + -25. Is d greater than t?
False
Let l(w) = -w + 4. Let n be ((-46)/(-4))/((14/4)/(-7)). Let i be l(n). Is -1/3 < i?
True
Suppose -8 = -2*j - 3*y - 75, 2*y = -5*j - 151. Let c be 3/j + -3 + 3. Let k = 47/174 + c. Are k and 0 unequal?
True
Let a(i) = 11*i - 325. Let b be a(39). Is b equal to 109?
False
Let h = -88 - -97. Suppose -4*s = -6 - 10. Suppose -5*l + 36 = -s*x, -5*x + 13 = 2*l - l. Which is greater: l or h?
h
Let l be (-8 + 4 - -2) + 24/(-12). Suppose -3*i = -c - 5, c - 6*i = -2*i - 5. Which is bigger: l or c?
l
Let h be (-8)/24*2/(-1113)*-3. Do h and 1 have different values?
True
Suppose -2*t + 10 = 0, -4*n + 5*t - 8532 = -2787. Let q be n/(-99) + (-2)/(-9). Which is greater: q or 14?
q
Let j = 57 - 41. Let d = j + -91/6. Which is smaller: d or 0?
0
Let y(r) = r**3 - 6*r**2 + 2*r**2 - 5*r + 0*r. Let k be y(5). Let m be 1 + (-1 - 1) + k. Does m = 1/7?
False
Let c(h) = -2*h**2 + 11*h - 12. Let a = -169 + 176. Let x be c(a). Is x bigger than -34?
True
Let o be 4/6 + (-66)/(-9). Suppose 0 = o*b - b - 21. Suppose -i - 9 = -b. Is i > -4?
False
Suppose 0 = 3*x - 73 + 73. Which is smaller: x or -2/139?
-2/139
Suppose -3*k + 2*k = 9. Let c = -6 - k. Let q be (-1)/(2/(-6)) - c. Are q and 3 nonequal?
True
Let l = 322 - 308. Suppose 2*d + 5 - 15 = 0. Suppose 0 = 3*k - 3*p - 54, -k - k + 51 = -d*p. Which is smaller: k or l?
k
Let c(s) be the third derivative of -s**6/120 - s**5/60 - 4*s**2. Let q be c(-1). Let g be 0 - (q/2)/3. Is g bigger than -2/7?
True
Let x(s) = -s**3 - 7*s**2 + 7*s - 2. Suppose 11*q - 7*q + 32 = 0. Let t be x(q). Suppose 3*v = 5 + 13. Is v smaller than t?
False
Suppose 11*a - 7*a + 48 = 0. Let s = a + 21. Let l = -4 + 13. Is l < s?
False
Let p = -41 - -28. Let n = 10 + p. Are 1 and n equal?
False
Suppose 4*z - 4*x + 76 = 0, -13 = 3*z - 2*x + 45. Let i = z + 33. Suppose -p = -i - 7. Is 20 equal to p?
True
Suppose 8*s + 23 = -73. Let v = s + 11. Which is smaller: v or 6/19?
v
Suppose 7*v + 166 = 4380. Are 602 and v nonequal?
False
Suppose -3*u - j + 32 = 3*j, u - 4*j = 32. Let m be (-80)/(-294) + u/(-48). Which is greater: 1 or m?
1
Let m = -67 - -66.63. Let f = -26.37 - m. Which is smaller: -1 or f?
f
Let p = 1/28 - 31/84. Let c(g) = -2*g**3 + 9*g**2 + 21*g - 19. Let i be c(6). Does p = i?
False
Suppose 175 = -4*q + a, 4*q + 5*a + 44 = -113. Do q and -48 have the same value?
False
Suppose -3*q - 4*v = -2154, 0*q + 5*q - 3619 = 3*v. Is 721 at least q?
False
Let o = -348 - -381. Which is bigger: 34 or o?
34
Let y = -145 + 126. Is y greater than -13?
False
Let y(v) = -v**3 - 5*v**2 - 3*v + 6. Let m be y(-4). Suppose 2*p + m*q - 147 = -p, 3*q = -p + 56. Do p and 47 have the same value?
True
Suppose -3*m + 88 = -b, -5*b - 3 = m - 11. Which is bigger: m or 29?
29
Suppose 0 = -4*l + l + 3. Let h be (-1 - (l - -6)) + 2. Let j = 6 + -11. Which is greater: j or h?
j
Let m = -4 + 11. Let t = 43 - 38. Suppose 5*s + 3*l = 4*s + 15, t*s - 3*l = 21. Is s greater than m?
False
Let p(u) = -u**3 - 7*u**2 + 17*u - 7. Let b be p(-9). Suppose i - x - x = 14, 0 = -b*i + x + 13. Which is greater: 3 or i?
i
Suppose 26*i - 114 = 