 = -13*q + 14*q. Let z(w) = w**3 - w**2 - w + 1. Let k be z(q). Let p be k - (-4)/((-144)/(-236)). Which is greater: 11 or p?
11
Let f = 390 + -387. Let t be ((-6)/(-78))/(3 - (f - -3)). Is 1 greater than t?
True
Suppose 3*j + 12067 = 2*d, -20769 - 3363 = -4*d + 4*j. Which is bigger: 6031 or d?
d
Let m = 154 - 5235/34. Suppose 0*f = -5*x - 3*f - 915, 25 = 5*f. Let u = -185 - x. Which is greater: m or u?
u
Let i be (68/102)/(2/528). Let u be (6/i)/(-6 - 45/(-10)). Which is greater: u or -0.3?
u
Let s = -25265 - -20239. Is s at least as big as -5030?
True
Let q = 566 - 559. Let r(o) = o**3 - 7*o**2 - 22. Let d be r(q). Which is greater: -1 or d?
-1
Let t be ((-12)/(-20))/((-34)/5 - -7). Let q be 16/6 - 5/(-10)*t. Is q at least as big as 4?
True
Suppose 0 = -3*f + 5*g + 18, 4*f = g - 0*g + 7. Suppose 4*n - 8*o - f = -13*o, 2*n + 5 = 3*o. Is -1/123 != n?
True
Suppose 20 = 5*j - 10, 3*b - 3*j + 1059 = 0. Which is bigger: b or -1732/5?
-1732/5
Let m(u) = -2*u**2 + 219*u - 299. Let q be m(108). Is -9 smaller than q?
True
Let y be ((-35471)/7)/((-3240)/(-28)). Let s = 7/810 - y. Is s >= 45?
False
Let w = 17.072 - 0.072. Let f = 0.245 - 2.245. Which is smaller: f or w?
f
Let m be -94 + 0/(-3) - -4. Let o = m - -148. Is 58 >= o?
True
Suppose a + 3*a + 1192 = 0. Suppose 125*q + 3*i = 130*q + 1497, 3*q = 8*i - 923. Which is smaller: a or q?
a
Let x = -39/2848 - -4/89. Suppose 4*l + 2*w - 21 - 19 = 0, -l + w = -4. Let z = l - 8. Which is greater: x or z?
x
Suppose 0 = v - 19 + 11. Suppose -v*s + s = -5*s. Let g = -42 + 28. Which is bigger: g or s?
s
Suppose 3*a + 10*m + 6 = 8*m, -15 = 5*m. Let u = 2587/32 + -114301/1248. Let g = u + 32/3. Which is smaller: g or a?
g
Suppose -8*s + 130 + 254 = 0. Suppose -s = -4*g - 0*g. Suppose -n = -g*n - 11. Is n not equal to 2/27?
True
Let u = -238396 + 238313. Let c(v) = -86*v**2 + 1. Let t be c(-1). Which is greater: u or t?
u
Let o be -4 + 15 - (-141 + 151). Which is smaller: o or -1/24773?
-1/24773
Let y(l) be the second derivative of -l**4/12 - 2*l**3/3 - 7*l**2 + 73*l. Let o be y(-6). Which is greater: -0.1 or o?
-0.1
Let s = -195 + 198.22. Let i = s - 2.22. Do -2/13 and i have the same value?
False
Let q = -0.1001 + 2.1001. Let k = -85 + 155. Is q at most as big as k?
True
Let x = 4160 + -4145. Let q(u) be the third derivative of u**5/60 - u**4/24 + 8*u**3/3 + 5*u**2. Let y be q(0). Are y and x non-equal?
True
Suppose 89*g = 1320 + 2685. Which is smaller: g or 19?
19
Let y = 344 - -69. Let g = y + -260. Let j = g - 145. Is 0.6 < j?
True
Let d = 3358 - 2999. Which is smaller: d or -2?
-2
Let k(j) = j + 7. Let h be k(0). Let m(v) = -v**2 + 7*v + 17. Let i be m(h). Suppose -5*n - i = -3*t, t - 5*n = -10*n - 21. Is -3/8 at most as big as t?
False
Let c(n) be the first derivative of 2*n**3/3 - 8*n**2 - 19*n + 7. Let o be c(9). Let v = 50 - 47.2. Which is greater: o or v?
v
Let l be 1/(-8)*-3754 - (72 + -67). Which is bigger: 463 or l?
l
Suppose -7*i = -1 - 34. Suppose -11*d = -8*d + 9, 0 = -r + i*d + 13. Which is smaller: 62 or r?
r
Let m = 5384 + -893743/166. Let x be -1 + (-1)/(-2490)*2143. Let c = x + m. Is -2 less than or equal to c?
True
Let j = 6664.62 + -6663. Which is smaller: 3 or j?
j
Let n be (-14)/2 - (-90)/135*4884/464. Let t = 0.04 + 0.26. Which is smaller: n or t?
n
Let q be (-3)/12 + 4218/(-760). Is 13 greater than q?
True
Let q = -2570 + 1745. Which is bigger: q or -823?
-823
Let d = -4.22 + 2.22. Let q = 301/412 - -2/103. Is q less than or equal to d?
False
Let m be 14174/380 - 3/(-1). Which is bigger: m or 41?
41
Let q = -235 - -237. Let r = 77.3 - 81. Is r greater than q?
False
Let b(j) = 3*j**3 + 2*j**2 + 21*j - 71. Let t be b(4). Let d = 192 - t. Which is greater: -43 or d?
-43
Let a = -77 + -355. Let q = a + 431. Is q greater than or equal to 0.223?
False
Let i(n) = -n**2 - 10*n - 10. Let m be i(0). Suppose -7*l = -4*l. Suppose -z + l*z - 2 = 0. Is m < z?
True
Let x = 9 + -5. Suppose q - 26 = x*m, -5*q - m + 25 = -0*q. Suppose 10*v = -63*v - 28*v + 606. Is q less than or equal to v?
True
Let h = -64755/77 + 841. Let y(k) = -24*k + 143. Let o(z) = 50*z - 288. Let b(r) = 3*o(r) + 5*y(r). Let p be b(5). Is p smaller than h?
False
Let d(q) = 180*q**2 + q. Let c be d(1). Let y = -15959 + 16141. Which is bigger: y or c?
y
Let b = 5189 - 67503/13. Let a = b + 40/13. Let h = a - -44/39. Is h not equal to 8?
True
Let f be 10/(-15)*-3*(-20)/4. Let t be (1/f)/(-131*7/28). Which is greater: 0 or t?
t
Let n be 2*(-2)/(-18) + 380/(-171). Let g be ((-9)/(-20))/(57/70984). Let b = -563 + g. Which is smaller: b or n?
b
Let h(p) = 2*p**3 + 7*p**2 - 14*p + 3. Let w be h(2). Let v = w - 18. Are -1/73 and v non-equal?
True
Let v = -63 + 59. Let h be (6/(-888)*v)/(2/4). Suppose -5*t - 25 = 5*y, 1 = -5*t - 2*y - 12. Which is bigger: h or t?
h
Let p be (-127 + 120)*(8/(-2))/2. Let x = -21 + 33. Let l be 166/x - 10/(-60). Is p < l?
False
Let q be ((-1081)/2116)/((-1)/(-5)). Let h = -7/23 - q. Which is smaller: 3 or h?
h
Suppose 3*t - 80 = u, 2*u + t - 102 = -262. Let y be (u/15 - -1)*-39. Is y != 170?
True
Let x = -11 + 5. Let d be 30 - (0 - x)/(-2). Suppose 0 = 15*w + 80*w - 2175 - 865. Which is smaller: w or d?
w
Suppose 9 = -2*n + 5*o, -n = 3*n + 2*o + 30. Let a be (n + 57/8)*4. Is a greater than 112/5?
False
Let z = 36 - 34. Suppose -z*h = -3*f - h + 124, -5*f + 5*h + 200 = 0. Suppose -3*q = 0, -3*l + f = -l - 2*q. Is 21 smaller than l?
False
Let w be (-719 + 8)*14/(-21). Let j = w + -633. Which is greater: -160 or j?
j
Suppose -3*w + 61 - 43 = -3*v, 4*v = 0. Let i = 0.2 + -0.5. Let x = i - 0.7. Which is smaller: x or w?
x
Let v be 1 + 8 + -13 + 46 + 0. Suppose v*m - 23 = 65*m. Which is smaller: m or 1/738?
m
Suppose -5*j + u = 452, -8*u + 2 = -7*u. Let l(q) = 2*q**2 - 83*q + 30. Let h be l(40). Is j > h?
False
Suppose 4*c = -10*z + 13*z - 1, -5*c + 4 = -2*z. Let n be 158/(-2) - (z - 0/(-8)). Is n at least -82?
True
Let v(n) = 16*n - 1. Let x be v(1). Suppose -7*b + x*b = 40. Suppose 4*k = -3*f - 21 - 2, 0 = b*f + 3*k + 20. Is f equal to -20?
False
Suppose 0 = -3*y + 3*r + 24, -5*y + 29*r + 28 = 28*r. Which is bigger: y or 2/155?
y
Let l = -82.33 + 0.33. Let p = -84.7586 - -0.0586. Let r = p - l. Which is smaller: r or -0.1?
r
Let l(s) = -2*s**3 + 25*s**2 + 10*s + 49. Let c(h) = -h**3 + 13*h**2 + 5*h + 24. Let m(w) = -9*c(w) + 4*l(w). Let d be m(15). Is d at most -545?
True
Let d = -250 - -256. Let q(h) = h**2 - 15*h + 46. Let r be q(d). Which is smaller: -9 or r?
-9
Suppose 82*q - 80*q + 2 = 0, s = q + 9. Are s and 145/22 nonequal?
True
Let s = 11688 - 11255.5. Do s and -1/7 have the same value?
False
Let c be (40/16)/((-2)/4). Let b(d) = d**3 - d**2 - 8*d - 9. Let l be b(c). Is l > -116?
False
Let m = 10901 - 10900. Let t be (-16)/(-428)*6/(-16). Which is bigger: m or t?
m
Let i = 125 + 27. Let l = i - 72. Let g = l + -564/7. Which is greater: g or 0?
0
Suppose -4*a + 5*g + 55 = -19, 0 = -2*a - 3*g + 4. Which is greater: 15 or a?
15
Let y = 1226498839/728 + -11800937/7. Let g = y + 1097. Which is smaller: g or 0?
0
Let g = 3.2 - 4. Let x = 306.861 - 307. Let p = 0.039 + x. Which is bigger: p or g?
p
Let x(h) = -h**2 - h + 14. Let g be x(0). Suppose 2*j + g = -2. Suppose -3*m - 20 = -4*p, 3*p = -4*m - 0*m - 35. Is m greater than or equal to j?
True
Let w be (12 + (-57)/6)*(-15540)/50. Which is bigger: w or -789?
w
Suppose -15 = -j + 3*w, -4*j + 897*w = 900*w + 15. Let y = -333 + 1121. Let z = y - 8682/11. Which is bigger: z or j?
j
Let j be 1 + (1728/(-858) - -1). Let v = 24 - 23. Suppose 2*d - d = -v. Is j equal to d?
False
Let z = 200.9 + -162. Let t = z + 6.1. Let f = t + -46. Is f at least as big as -2/3?
False
Let c be ((-10)/(-4))/(15/(-6) + 2). Let b be (30/20)/(0 + (-2)/(-4)). Suppose 0 = 5*o - b*s + 50, -o - 2*s + 31 = -4*o. Is o <= c?
True
Let n = 0.04 + -1.04. Let g = 78 - 77. Which is smaller: g or n?
n
Let l(o) = 16*o. Let z be l(2). Let m(a) = -a**3 + 10*a**2 - 25*a - 18. Let r be m(6). Let p be 122/r - (40/z)/(-5). Which is bigger: p or -4?
-4
Let t be (145/(-10))/((-3)/(-6)). Let x(b) be the third derivative of -b**6/120 - 7*b**5/60 + 13*b**4/24 + 5*b**3/3 - 2*b**2 + 3*b. Let s be x(-8). Is t != s?
True
Let p = 30 - 25. Let v = p + 3. Suppose a + 7 = v. Which is smaller: 0 or a?
0
Let u = 0.294