t n(z) = -2*z**3 + 4*z**2 - 2*z + 9. Let a be n(6). Suppose 37*s - 785 = -11552. Is a less than or equal to s?
True
Let f = 92.4 - 529.4. Let m = f - -436.6. Let q be 39/9 - (-2)/3. Does m = q?
False
Let v(k) = 17*k - 972. Let w be v(-55). Is -1906 > w?
True
Suppose 444 = -4*i - 33*i. Let m be i/(-9) - -3*1120/(-414). Is -6 greater than m?
True
Let t = 124 - 304. Let c = 2523/14 + t. Let v be 54/(-42) + 2/7. Which is smaller: v or c?
v
Suppose 1407 = -4*i + 5*q - 458, 14*i - 3*q + 6571 = 0. Is 0.3 less than or equal to i?
False
Let p = -0.03 - -0.43. Let y = 0.5 - p. Let l be 93/(-6)*((-5)/(-3))/(290/348). Which is bigger: y or l?
y
Let d = -177973 + 177972. Let h = -742 + 18554/25. Which is smaller: d or h?
d
Suppose 0 = 4*j + b - 16, -j - 4*b + 1 = -18. Suppose -j = -r - 5. Let a be 15/40*4 + r. Which is smaller: 0 or a?
a
Suppose 3*z - 2*q - 8 = -3, 0 = 4*z - 3*q - 5. Let h = 18.89 + -19. Is z equal to h?
False
Let q be (-3)/18*-2 + 3/(-9). Let b(n) = 4*n - 148. Let x be b(q). Let m be 3/(-2) + x/(-120). Are -1 and m equal?
False
Suppose 8*o = -150 + 30. Let u be 24/o*(3 + 471/(-156)). Which is bigger: -1 or u?
u
Let y be -1 + 2 + (-2)/12*17. Let v = y + 3/2. Do -10 and v have the same value?
False
Let p = 3636 - 3922. Suppose n + 289 = 2*f - f, 2*n = 3*f - 580. Is n at most as big as p?
True
Let d(p) = -4*p**2 + 5*p - 1. Let a be d(2). Suppose 33 = 3*w + 4*t, w + 5*t = 6*t + 4. Suppose -4*s - 9 = w. Does a = s?
False
Let k = -4956/11 + 29593/66. Is k at least as big as -7/2?
True
Suppose d + 4*d - 2*d = 0. Suppose 2*f = -l + 4*f + 56, 3*f - 12 = d. Let a = l + -1153/18. Are a and 1 unequal?
True
Let d = 9707/9 - 18501569/17154. Do d and -1 have the same value?
False
Let m be (942/(-15))/((-4)/30). Let j be m/153 + (-1 - (2 + 0)). Is -1 greater than or equal to j?
False
Let k = 3 - 2. Let g = -0.016 + 13.016. Let b = -7 + g. Is k > b?
False
Suppose 0 = 7*d + 14 + 56. Let r(p) be the second derivative of p**4/12 + 2*p**3 + 21*p**2/2 - 4*p. Let q be r(d). Are 3/23 and q equal?
False
Suppose -26*x + 17127 = -891. Which is smaller: 691 or x?
691
Let l be (-4)/(-10)*(-17 - -22). Suppose 52 = p - 2*u, -2*u - 118 = -l*p - 8. Suppose -5*x + 75 = 3*n - 84, 43 = n + 5*x. Does n = p?
True
Suppose 2211 + 237 = -12*h. Let a = h + 203. Which is greater: a or -2/5?
-2/5
Let h(t) = t**2 - t + 53. Let r be h(13). Let b = -252 + r. Which is greater: -46 or b?
b
Let m(a) = 4*a**2 - 9*a - 9. Let u be m(-1). Suppose 0 = u*c + 167 - 35. Which is smaller: c or -32?
c
Let o = -2397 - -2374. Let k = 45.5 - 21.4. Let c = o + k. Is c at most 0?
False
Suppose 4*y - 16 = -2*z, 17*z = 5*y + 14*z + 24. Which is smaller: y or 10/263?
y
Let k = -1.142 - 9.858. Are 0.2 and k unequal?
True
Let h = 44.63 + 5.17. Which is smaller: 4 or h?
4
Let v = -2 + 5. Suppose -v*b = -5*b. Suppose 309*g = 380*g + 142. Is b < g?
False
Let p be -4 + 1 - (-3361720)/1130. Let f = p + -2972. Are f and 1 unequal?
True
Let w = -20 - -17. Let p be 4 + (-45)/6 - 3/6. Which is smaller: p or w?
p
Let z be ((-4)/(-3))/(16/(-2856)). Let l = -62 - z. Does 175 = l?
False
Let c = -2/1476731 + 20034809501/17720772. Let u = c + -4257/4. Which is smaller: 66 or u?
66
Let v = -282146395865/5187 + 54394910. Let y = v + 8/273. Which is greater: y or 0?
y
Let j(b) = -51*b + 15. Suppose -15 = -3*d - 3*f, 0 = 13*d - 8*d + 3*f - 19. Let v be j(d). Which is greater: v or -88?
v
Let g = -0.93801 - 0.06199. Which is smaller: g or -8/85?
g
Let c be 0 + 568/(-18) - (-788)/(-1773). Is c bigger than -31?
False
Let f = 81 + -79. Let a(m) = -9*m + 6 - 14 - m**f - 18 - 6*m. Let v be a(-13). Is v less than or equal to 0?
True
Let k be (-2 - (-7 - (-2 + -2)))/(-1). Let i be k/(19/7*(-21)/18). Let j(z) = -z**2 + 3*z + 2. Let n be j(3). Is i greater than n?
False
Let t = -1344 + 1355.66. Let a = t - 11. Which is greater: a or -0.1?
a
Let z = 174 + -81. Let l = z - 43. Let w = l + -50.44. Is w less than or equal to 2?
True
Let b be 2/(9/540*10). Which is bigger: b or 13?
13
Let r = -86.91 - -466.01. Let f = r + -379. Which is smaller: f or -0.71?
-0.71
Let m be (3705/(-169) - -22)*0. Which is smaller: m or 4/12587?
m
Let v = -1162 - -1190.32. Let c = 28.4 - v. Is -1/13 bigger than c?
False
Let t be 1/(-3) + (-82)/(-3). Let m = 293 + -280. Suppose -401 = -m*a - 50. Is t > a?
False
Let l be ((-174)/216 - -2)*-4. Which is greater: -5 or l?
l
Let r = -6 + 8. Let m = r + 8. Suppose 100 = -8*a + 51*a + 7*a. Which is bigger: a or m?
m
Suppose 2*m + 3*m = -3*o + 10623, 5*o + 4274 = 2*m. Does m = 2127?
True
Let s = 1659/17 + -126441/1292. Let i = s - -2053/7980. Which is smaller: 1 or i?
i
Let v be ((-1156042)/123)/(50/75). Let u = v + 14099. Which is bigger: 1 or u?
1
Suppose -111*b - 24*b + 349657 = -2*b. Is 2631 bigger than b?
True
Let v = -1 + 2. Let j = -52036/3709535 - -6/25583. Which is greater: v or j?
v
Let w(j) = 2*j - 6. Let f be w(4). Let v(k) be the second derivative of -47*k**3/6 - 255*k**2 + 143*k. Let n be v(-11). Which is bigger: f or n?
n
Suppose 51*j - 48*j = d - 9, -j = -4*d + 36. Suppose d*x - 20*x = 44. Which is smaller: -10 or x?
-10
Let j = -78 - -76. Let i be (j/(-3))/((-524)/12). Is i greater than 0?
False
Let x = 0.0652 - -0.0348. Which is smaller: -23/4 or x?
-23/4
Suppose 0 = 3*j - 4*o + 112, 38 = j - 2*j + o. Let u be (-3 + 45/24)*j/(-750). Is 0 bigger than u?
True
Let r = -1501 - -1501. Is 1.897 less than or equal to r?
False
Let z be (0 - -2)/(4/(-14)). Suppose -14343*n + 31 = -3*b - 14347*n, -b + 6*n = 47. Do z and b have different values?
True
Let t = -122.3499 - -0.3499. Which is bigger: 0.1 or t?
0.1
Let y be (8/106)/((-6)/(10 - 247/25)). Which is greater: y or -1?
y
Let k = 12205 - 11643. Which is greater: 566 or k?
566
Let z = -659 + 654.39. Let b = z + 3.5. Let t = 0.11 + b. Which is smaller: t or 2?
t
Let c be 4*24/64*(-4)/7755. Let y = c + 1048/18095. Suppose -g = -2*d - 3 - 2, 2*d - 2*g + 8 = 0. Is y bigger than d?
True
Let a = -41 + 43. Is a <= -4/827?
False
Let s(h) = 33*h - 125. Let x be s(-9). Which is bigger: x or -416?
-416
Let z be (8 + 2262/(-232))/((-143)/144 - -1). Are z and -238 non-equal?
True
Let w = 12.7027 - -1.2973. Which is smaller: w or -2/619?
-2/619
Let y = -505 - -59. Let s = -450 - y. Are -38 and s unequal?
True
Let m = 0.02777 + -5.30577. Let n = m - 0.722. Let k = -33/2 - -17. Which is greater: n or k?
k
Let d be 1/3*7 + -1. Let y(b) = b + 9. Let k be y(-2). Let t be ((-6)/k)/(-6) + 6/7. Is t greater than d?
False
Let z = 9430 + -123260/13. Which is greater: z or -1/3?
-1/3
Suppose -6916 = -4*u + 2*u + 1192. Is u less than 4053?
False
Let x be (10 + -14 + 8)/((-2)/93). Which is bigger: x or 0.8?
0.8
Let o(l) be the third derivative of 0 + 0*l + 6*l**2 + 1/6*l**4 + 13/2*l**3. Let u be o(-13). Which is smaller: -17 or u?
-17
Let s = -1732/21 + 626977/7602. Are s and 0 nonequal?
True
Let k be (-18)/(-4) + (-1)/10*-5. Suppose -5*v - 141 + 46 = -k*u, 0 = -5*u. Let a(g) = -21*g**2 - 2*g - 1. Let f be a(-1). Is f greater than v?
False
Let d = 4908 + -4913. Which is smaller: d or 1/1470?
d
Let i = -20474 + 20306. Are i and -3170/19 nonequal?
True
Let h be 954/(-265)*35/2. Suppose -12 = -3*j, 2*g - j + 134 = 3*j. Is h at most g?
True
Let x(y) = -y**3 + 5*y**2 + y. Let c be x(5). Suppose 5*n - 5*r = -55, r = c*n + 3*r + 55. Let j = 15 + n. Which is greater: 2 or j?
j
Let m = -111 - 261. Let z = 143 + m. Is 1/4 > z?
True
Suppose 5*l - 18 = 2*j - j, 0 = -2*j - l + 30. Let d = 30 - 17. Which is bigger: d or j?
d
Let n = 7.04 + -1.08. Let m = 0.04 + n. Let q be (0 - -1) + (-10)/8. Which is smaller: m or q?
q
Let x = -116 + 163. Let r be x/(-1)*(-4 + 1). Do r and 142 have the same value?
False
Let w = -5462 + 5488. Do 296/11 and w have the same value?
False
Let g = 0.11 + 8.89. Let b = 9.9 - g. Is 2 at least b?
True
Suppose 18 = -3*n - 5*o, -7*n = -8*n + 3*o + 8. Is 2/37291 not equal to n?
True
Let d = -73 - -73.29. Let n = 64.542 + -0.342. Let m = n + -64.1. Are m and d non-equal?
True
Let f be 1/(-15)*6 + 1258/(-5). Let y be (198 - 0)/(56/f). Let o be y/63 + 3 + 2/14. Which is bigger: -5 or o?
-5
Let h(n) = -13*n**3 - 2*n - 1. Let d be h(-1). Let k be (-135)/6*(-60)/(-45). Let q be -2 + d/8 + (-5)/k. Is q >= 1?
False
Suppose -4*q = -3*p + 4390, 5*p - 8 = -18. Is q smaller than -550