40. Let q(s) = -5*s**2 - 13*s - 70. Let c(i) = -i**2 - 1. Let p(u) = 6*c(u) - q(u). Let y be p(-5). Is y smaller than h?
True
Let x = 920.4 + 1001.6. Are -0.5 and x equal?
False
Suppose -5*p = -25, -3*p + 370 - 60 = 5*q. Are 53 and q unequal?
True
Let z be (-7)/(8 - (0 - -7)) + (-11286 - 2). Are -1/2 and z nonequal?
True
Suppose -2*r - 78 = 3*f, -2*f - 62 = 8*r - 10*r. Let u(n) = -7*n - 194. Let h be u(f). Which is smaller: h or 5?
h
Let q be (-77)/(-66) + 1500/(-1332). Let j = 1 + -1. Which is greater: q or j?
q
Let g be (30288/252*-9)/2. Which is smaller: -542 or g?
-542
Let h = 76.944 - -2.116. Let f = 79 - h. Does 11 = f?
False
Let w(o) = o**3 - 5*o**2 + 8*o - 7. Let b be w(4). Suppose 101*p = 106*p - 10. Let y be p/12*3 + (-13)/(-2). Which is greater: b or y?
b
Let b be 488/3*(6/(-24)*-6 + -3). Do b and -1221/5 have different values?
True
Suppose 2*i - 21 = -t, 0 = 4*i - 5*t - 63. Let j be (-9)/i + 1 - (-99)/(-44). Is -4 bigger than j?
False
Let j = 341.83 + -340. Let u = -7121 - -7119. Is u not equal to j?
True
Let s(r) = r**2 - 16*r + 55. Let g be s(6). Let f(b) = 4*b + 41. Let a be f(g). Is a greater than or equal to 10?
True
Let r = -130 - -123. Let y be (-2)/(-12) + 497/42. Let n be (r/3 + 2)/((-110)/y). Is 1 not equal to n?
True
Let n = 83380 + -83380. Let h = 10234 + -358234/35. Let p = h + 6/7. Which is bigger: p or n?
n
Let l be (2 + 4 + -6)*(18/12)/3. Is 9/575 greater than l?
True
Let l be ((-2)/(-2))/(6/288). Suppose -3*z - 3 = l. Let p(j) = 2*j**2 + 110*j + 90. Let k be p(-54). Which is bigger: k or z?
z
Let a be (-3)/(-18) + (-220)/24. Let z(o) = -4*o**3 + 4*o**2 - 4*o + 2. Let y be z(1). Let w be y - (2*12/8 + 3). Is a bigger than w?
False
Let g be 64/1968*1*(-36)/8. Is 0 smaller than g?
False
Let j(t) = t**2 - 20*t - 62. Let c be j(23). Suppose 4*q - 4*v = -5 - c, -4*q + 3*v = 9. Which is bigger: q or 4/39?
4/39
Let g = -494 - -521. Suppose 14 + g = -41*i. Which is greater: i or 3/92?
3/92
Let u(j) = 7*j - 21. Let z be u(3). Suppose z*a + a + 2*f = -3, -3*f = 3*a + 12. Let b be (-3 - 7/(-2))*(-7 - a). Which is greater: -2/115 or b?
-2/115
Let s(f) = 84*f + 2533. Let m be s(-31). Which is smaller: -75 or m?
-75
Let s = 10 + -4. Let y be 2/4 + 209932/40920. Let q = y - 1/33. Which is smaller: s or q?
q
Let q = 822 + -777. Let w be (-2)/(-3) + (-40)/q. Which is smaller: w or 190?
w
Let h = 0 + -84. Let q be (2/18)/(-12*37/334332). Which is smaller: q or h?
h
Let f(t) = -t**2 - 10*t - 10. Let r be f(-8). Let j be ((-42)/(-70))/(1/15). Let c = j + -13. Are r and c equal?
False
Let y = -1624 + 1714. Is 363/4 at most y?
False
Let d(j) = 26*j**2 - 1275*j + 48. Let y be d(49). Let f = 26 - -17. Which is greater: y or f?
f
Suppose 5*i - 5 = -20. Let m = 516 + -584. Let p be (-5 - m/14)/(6/(-48)). Is i bigger than p?
False
Let i be -2104*(63/(-28) + (2 - 0)). Let q = i - 603. Which is smaller: -2 or q?
q
Let t be (10 + -6)/4*(0 + -1). Let z be (2 + t)/((-3 + 5)/(-2)). Which is greater: 5/19 or z?
5/19
Let r = 77 - 62. Let u be 2 + -9 - (-30)/r. Which is smaller: -10 or u?
-10
Suppose 0 = -131*z + 129*z - 354. Are -180 and z non-equal?
True
Let z = 7/290 + 8751/290. Is 30 greater than or equal to z?
False
Let u be 6/(-12) - (-40905)/108*(-18)/5. Which is bigger: u or -1362?
-1362
Let m = 6684/1595 + 3/319. Suppose -6*o + 11 + 7 = 0. Is o smaller than m?
True
Let k be (-28)/(-2*2/(-4)). Let l = -296 + 299. Suppose -3*p = -4*f + 64, -p - p - 71 = l*f. Is p less than k?
False
Let f(b) = 4*b - 52. Let a(i) = i + 24. Let l be a(-11). Let t be f(l). Suppose t*g - 5*c = g + 5, -c = 4*g - 56. Is g less than or equal to 15?
True
Let j = 760 + -759.99611. Which is smaller: j or 0.2?
j
Let j = 1551 - 1426. Is 125 less than j?
False
Let f(l) = l**3 + 5*l**2 - 2. Let v be f(-5). Let a be (0 - 3/v)*10/15. Let w be (a/(-7))/((-2)/7 + 0). Is w greater than or equal to 21?
False
Let m be -2 + 12/5 + (-816)/(-85). Suppose -i = z + 5, -4*z + m*i = 8*i - 10. Is z less than or equal to 4/19?
True
Let f be 2 + 0/2 - 16695/498. Let u = f - -63/2. Suppose -2*k = -2*b + 3 + 1, 3*b = -4*k - 1. Which is bigger: u or k?
u
Let r = 274.4 + 293.8. Let f = r - 562. Is 3/2 less than f?
True
Let p = 1.544 + -1.544. Which is greater: p or 5.24?
5.24
Suppose 8*n = 4*n - 184. Let o be 17802/(-1035)*5/2. Which is smaller: n or o?
n
Suppose 2*l = 4*o + 48, 5*o - 71 = -5*l + 64. Suppose 5*k = 2*n + 2*n + l, 5*n = 5. Suppose 0 = -3*j - 2*j + 15. Which is smaller: j or k?
j
Suppose -5*g - 17*r + 16*r + 158 = 0, 5*r + 42 = g. Suppose -18 = -14*m - g. Which is bigger: 342 or m?
342
Let y = -812 + 1186. Do 1/4 and y have the same value?
False
Let t = -74897 + 74898. Let v = -217 + 118. Which is smaller: t or v?
v
Let k = 377/36 - 41/4. Let f be 8/14 - (-200)/(-420). Is k greater than or equal to f?
True
Let g be 4/(3/(5571/1050)) - (-1404)/4914. Which is smaller: 6 or g?
6
Let c = -1329 + 18607/14. Is c less than or equal to -9/2?
False
Let v = -206 - -206. Suppose v = -3*p + 4*s + 149, 2*s + 139 = 3*p - 0*s. Is 41 less than p?
True
Let x(f) = -3*f**2 + 4*f - 1. Let o be x(1). Suppose -3*u + 38 - 155 = o. Which is greater: -37 or u?
-37
Let a(l) = l**3 - l**2 + 4*l + 6. Let f be a(-4). Let w be (-245)/(-9) + 20/f. Let r be (-2 + 4 - (-1935)/90) + 3/2. Which is smaller: r or w?
r
Let r be (-150)/4 + 12/(-8). Let z = -39 + 2. Let t be (-10)/4*(-16)/(-20) + z. Do t and r have different values?
False
Let m = -1284 + 1325. Let c = -1.3 + -0.1. Let i = 3.4 + c. Is m smaller than i?
False
Suppose -2*j = 2*j + 4, 5*b - 5*j = 1680. Let v = 310 - b. Which is smaller: v or -51/2?
-51/2
Let d = -3813 + 3810. Which is smaller: d or -118/45?
d
Let v = -0.25 - 0. Let a = 0.37 + v. Let r = a + 0.38. Is 2/11 >= r?
False
Let x = 11171 - 11170.9. Let k(a) = -3 + 0*a - 3*a + 0*a. Let z be k(-6). Which is smaller: x or z?
x
Suppose 3036 = -3*g - r - 314, 4*r - 1095 = g. Which is bigger: g or 0?
0
Let m = -996 - -139437/140. Let l = -199/3780 + m. Which is smaller: -2 or l?
-2
Let z = 61470699/3506 + -17533. Is z less than 1?
True
Let r = 965503 - 50116364219/51907. Is r > -1?
True
Let t be 7/12 + (-14*4/24 - -2). Which is greater: -4/369 or t?
t
Let l = -63 + 87. Suppose 29*r - 40 = l*r. Suppose -r*d - 78 = -5*d. Which is smaller: d or -28?
-28
Suppose 0 = -0*i + 4*i + 456. Let w be (-2)/10 - 176860/(-1550). Let y = i + w. Are -1 and y unequal?
True
Suppose 4864 = 17*t - 7155. Suppose -16*b + 349 = -t. Is 66 less than or equal to b?
True
Suppose -5*a - 20 = -s, -5*s + 2*a = -0*s - 77. Suppose 4*m - 5*k - s = 0, -4*k - 6 = 4*m + 6. Is m greater than or equal to -1/59?
True
Suppose -11*v - 5 = -h, -2*v + 11*h - 6*h + 28 = 0. Which is greater: v or -2/26667?
-2/26667
Let q be 8/(-9)*2/52. Let k be (-3)/21 + 64/448. Which is bigger: k or q?
k
Suppose 4*q - 212 = 2*l, -148 = -3*q + l - 5*l. Suppose 42*p = 1891 + 293. Are p and q equal?
True
Let t be (1251/(-22))/(1485/2304). Let q = 441/5 + t. Which is bigger: 1/2 or q?
1/2
Let a be 879/(-162) - (-297)/54. Is a less than -1?
False
Let o = 59 + -54. Let z(l) = 11*l - 15. Let m be z(o). Let c be 12/18 - m/6. Which is bigger: -4 or c?
-4
Suppose 2*o = n - 743, 269 = -5*n - 2*o + 3912. Do n and 732 have the same value?
False
Suppose -5*g = 2*f + 1653, -g + 15*f - 317 = 12*f. Which is bigger: g or -331?
g
Let v(i) = 20*i - 119. Let t be v(12). Let y = t - 144. Which is greater: -5 or y?
-5
Let k = 0.2 + -0.2. Let v = 273.256 + 20.744. Which is bigger: k or v?
v
Let b = 26819 - 26641. Let r be ((-2)/6)/(10/(-5310)). Do b and r have different values?
True
Let l be (-7 - 1)*10/(-20). Let n be 52/(-80) + 4/40*l. Let g be ((-8)/(-96))/1*(-2)/2. Which is greater: n or g?
g
Suppose -5*f - 6*k + 2*k + 103 = 0, 5*k - 8 = -f. Let q = 33 - f. Let o be (0 - q)*(-10)/20. Is 2 at most o?
True
Let l be (-3)/((-15)/(-40)*-2). Suppose 5*h - 3*c - 135 = 310, 5*h = -l*c + 410. Is 88 at least as big as h?
True
Let c be 11 - 11 - (4944 + -3). Let p = -24376/5 - c. Which is smaller: 67 or p?
p
Suppose 0 = 11*d - 34 - 21. Suppose 0 = 2*z - 4*r - 146, -d*r = 24 - 4. Which is greater: 67 or z?
67
Let z(o) = -o**2 - 11*o - 10. Suppose -5*g = 3 + 47. Let m be z(g). Is -20/27 greater than or equal to m?
False
Let l(p) = 111*p**2 - 1122*p + 28. Let o be l(8). Is -1844 < o?
False
Let 