t z(k) = -k**3 + 23*k**2 - 20*k - 44. Let j be z(22). Suppose -32*t + 24*t + 136 = j. Are 17 and t equal?
True
Let j be 16 + 14/4 + 6/(-12). Suppose -j*i = 2*i - 2541. Is 121 < i?
False
Let z be ((-136)/(-28))/(1116/(-217)). Which is bigger: -2 or z?
z
Let x = 41151190/1023 + -40226. Is x equal to -1?
False
Suppose 49 + 54 = 3*y - h, 5*h - 61 = -y. Suppose 2*s - 4 = -2*a + 40, -2*a + 2*s = -y. Suppose -5*p - a = 2*v, 0 = p + 4*p. Is -9 >= v?
True
Let h = 5 - 103. Let w = 97.99 + h. Which is smaller: w or -0.03?
-0.03
Let y = -6761/2079 + 239/77. Suppose 5*f = -2*x - 5, -f - 2*f - x - 2 = 0. Which is greater: y or f?
f
Suppose 2*b - 4 = -0. Let z = -0.144 + -56.856. Let q = 38 + z. Which is greater: q or b?
b
Let u be (0 - -2)/((-83)/(-498)) - 12. Is 5/1679 not equal to u?
True
Let d be (32/(-10))/(-4 - 76/(-20)). Suppose -4*a + 8 = -d. Suppose -a*y = 4*y - 200. Is y bigger than 21?
False
Let f(u) = 5*u**2 - 19*u. Let p be f(4). Suppose 5*m + 3*r = r - 13, p*r - 1 = -m. Is m greater than or equal to -24/7?
True
Let i(l) = 33*l - 23. Let n be i(2). Suppose -n*b = 17880 - 7087. Which is smaller: -252 or b?
-252
Let m = -1288 - -1287.94. Is m not equal to -126?
True
Let w = 206 + -398. Suppose 970 = 100*q - 209*q + 104*q. Is w bigger than q?
True
Suppose -5*z + 2*z - 3*q + 54 = 0, z - 4*q = 43. Let a(b) = b**2 - 21*b - 54. Let u be a(z). Let r be u/56 + 22/56. Which is bigger: -5 or r?
r
Suppose i + 3 = 0, -4*o + 22*i = -2572 - 3242. Is o greater than or equal to 1445?
False
Let h(i) = 7*i**3 - 9*i**2 + 36*i + 1. Let v(m) = 12*m**3 - 19*m**2 + 72*m + 2. Let u(c) = -5*h(c) + 3*v(c). Let x be u(6). Is 1/162 != x?
True
Let o be (5/20*0)/(-1) + 2. Suppose -o*l + 109 = -4*q - 43, 0 = -5*l - 4*q + 394. Let i = -60 - -139. Is i at least l?
True
Suppose 43 = 58*n + 44*n - 59. Which is smaller: 76/211 or n?
76/211
Let t = -81 + 162. Let y be (-4 + t/15)*(2 - -3). Let b be ((-1)/4)/(4/(-120)). Which is smaller: y or b?
y
Let c = -12.72 + 18. Let o = 2.28 - c. Which is smaller: o or 2/159?
o
Suppose 1 = 5*l - 3*v - 20, 0 = -3*l - 2*v + 5. Let k(x) = -x**3 + 22*x**2 + 48*x - 17. Let p be k(24). Is l smaller than p?
False
Let u = 529 + -13228/25. Let q be (0/16 - 0/1)/2. Is u bigger than q?
False
Let v be 2*3*1/(-1). Let a be (9/6)/((-1)/v). Let q = 29065 - 29057. Which is smaller: q or a?
q
Let w be (-117 - -144)*(-1)/(-3) - 191. Which is bigger: w or -162?
-162
Let v be (-5)/(-15)*-3 - -4. Suppose -2*f + 15 = v*f. Let m be (264/(-18) - -6) + 4 + 5. Is f less than m?
False
Let f = 1231 + -2709. Which is smaller: f or 2?
f
Let y(i) = -i**3 + 2*i**2 + 28*i + 15919. Let x be y(0). Is 15920 not equal to x?
True
Suppose -5*y + 242 - 255 = -2*j, 2*j - y = 17. Is 47 at least j?
True
Let k(v) = v**3 - 4*v**2 + v + 1. Suppose -7*m = -4*m - 12. Let a be k(m). Suppose 5*r - a*u = 10, 3*r + 4*u = 5*u + 6. Is r >= -4?
True
Suppose p = -2*i - 3, 3*i + 24 = -4*p + 9*p. Let h be i + 1 + 2180/15 + -2. Are 140 and h unequal?
True
Let l be 130/(-11)*(203 + -87)/(-58). Let m be ((-42)/4 + -1)*-2. Is l at most m?
False
Let o(g) = -76*g + 560. Let r be o(7). Which is smaller: r or 303/11?
303/11
Let w = -22017 - -21739. Which is bigger: 0.4 or w?
0.4
Let r(l) = -l**3 + 3*l**2 + 11*l + 2. Let d be r(5). Let k(c) = -c + 11. Let w be k(d). Suppose -5*b - 4 = -w*q - b, -4*q + 4 = 2*b. Are -3/8 and q equal?
False
Let r = 43.41 + -14.41. Which is smaller: -0.037 or r?
-0.037
Let h be 8 + 0 + -3 + -2. Let x be h*68/20*1 - 3. Which is smaller: 7 or x?
7
Suppose 452*k = 447*k + 90. Suppose -k*x - 43 - 47 = 0. Which is smaller: 10 or x?
x
Let w(t) = -1493*t + 5650. Let n be w(14). Is n at least as big as -15252?
True
Let h = -35776.56 + 36511. Let y = -695 + h. Let x = y + -39. Which is smaller: x or -0.1?
-0.1
Suppose -26 = 26*g - 0. Let k be (-138)/(-54) + 0 + (-4 - -1). Which is smaller: k or g?
g
Let s be -4 - 45/6*6/15. Let v(u) = -9*u - 64. Let t be v(s). Is 0 greater than t?
True
Let f(x) = 16*x + 172. Let k be f(-16). Which is smaller: 9 or k?
k
Let d = 14815 + -11953. Which is smaller: d or 0?
0
Let p be (1 + -2)/((-2)/66). Suppose -3*y + 2*n + 86 = -y, 2*y + 3*n - 51 = 0. Is y at most as big as p?
False
Let k(p) = -p**2 + 101*p + 14745. Let f be k(182). Let t be 2*(-1)/(-2) - 22. Do f and t have the same value?
False
Let b be ((-24)/(-14))/(12/(-378)). Let c(k) = -10*k + 27. Suppose -37 = -5*z + 3. Let w be c(z). Which is greater: b or w?
w
Suppose -4*z + 0*n = -2*n - 8, 2*n = -z + 7. Let k be (27*(-16)/60)/(z/15). Which is smaller: -35 or k?
k
Let l = -22079/7 - -3155. Are l and 472 equal?
False
Suppose 132 = 369*p - 357*p. Is p smaller than -0.0357?
False
Suppose 0 = -10*y + 6*y + 64. Let u = -62 + y. Let n = 15 - 61. Is n greater than u?
False
Let x(g) = 4*g - 102. Let t be x(26). Let v be (7 - 5)*t/4. Is -1 <= v?
True
Let d = -1016388/5 + 204007. Which is bigger: d or 729?
d
Let m = 0.14 - -0.06. Suppose -3*v + 2*v = -3. Let o be 3/(-15)*v + (-3)/(-3). Is o not equal to m?
True
Let r(k) = -23*k**3 - 10*k**2 + 2*k + 22. Let g be r(-10). Let x = -1166072/53 + g. Let h = x - 4892/7791. Is 0 at least h?
False
Let f = -3/37021 - -1629437/6330591. Let g = 2/247 + 89/247. Let x = g - f. Are -0.1 and x equal?
False
Let h be ((-21)/(-9) + -3)/(4/(-342)). Let p = -57 + h. Let y be (1 + 837/(-825))*10/4. Which is smaller: p or y?
y
Suppose 3*g - 12 = 18. Let v be (-80)/(-6)*(-24)/g. Which is greater: -30 or v?
-30
Suppose w + 58 = -2. Let q be (46 - 41) + w/11. Are -2 and q equal?
False
Let m = -43/198 - -4/9. Which is smaller: m or 3?
m
Let u = 352 + -357. Let f be 14/(-35) - (-6)/(-10). Let o be f/(1/(-4)) + -3. Which is bigger: u or o?
o
Let j = -441920151/19552600 - 267/41425. Let q = 181/8 + j. Let b = 1190 + -1189. Which is smaller: q or b?
q
Let w be -8*(-4 - -2)*1/2. Suppose -10*v = -w*v - 6. Suppose -q - 2*q + 3*x = v, -4*x + 8 = 0. Is 2 less than q?
False
Let z = 7045/26 + -271. Suppose 27*s + 32 = 25*s. Let h = -15 - s. Is z equal to h?
False
Suppose -124 = -3*b + 23. Let c be 1 + -2 - (-7 - (-6 + b)). Which is smaller: 52 or c?
c
Suppose -5*g = -4*a - 525, -10*g = -12*g - 2*a + 210. Let z be (22/55)/(7/(g/(-4))). Is z equal to -2?
False
Let g(t) = -20*t - 1060. Let o be g(-44). Suppose -3*l - 112 = 425. Which is smaller: l or o?
o
Let a = 4311 - 4312. Do 1355 and a have different values?
True
Suppose 2*h - 3*x + 74 = 3*h, -x - 82 = -h. Let g(v) = 81*v**3 - 2*v**2 + 6*v - 5. Let i be g(1). Is h greater than i?
False
Suppose f = -28*r + 23*r + 436, 4*r + 12 = 0. Is 452 equal to f?
False
Let v = -395 - -396. Which is bigger: v or 20/161?
v
Let v(d) be the third derivative of d**5/60 - 11*d**4/6 + 25*d**3/6 + 3*d**2 + 14*d. Let z be v(10). Is -315 smaller than z?
False
Let g be 380/1672 + 2/4. Suppose 4*x + 12 = 2*r, 4*r + 5*x + 36 + 5 = 0. Let n be r/2 + 2 - -2. Is g at most as big as n?
True
Let f be (27/(-2))/(15/90). Let m = 110 + f. Let h = 14887/522 + -5/261. Which is smaller: m or h?
h
Let g be 4*1 + 38100/(-381). Which is bigger: g or 0.15?
0.15
Let p = 37.8 + -34. Let l = p - 4. Let k = 3174 + -3209. Which is smaller: k or l?
k
Suppose 8*p - 6*p - 132 = 0. Suppose 2*o + p = -2*q - 3*o, 5*q + 2*o + 144 = 0. Let k = 29 + q. Which is bigger: 19 or k?
19
Let r be (-2)/(-3) + 257/24. Let u be 12*27/(-3888)*-120. Is u smaller than r?
True
Suppose -3*l + 30 = 3*p, -3*l - p + 26 = -2*p. Is -19/13 equal to l?
False
Suppose -2 = -5*i + 38. Suppose 3*f = -z - 1, -313*z + 312*z - 5 = f. Which is smaller: f or i?
f
Let u = -37 + 37. Suppose 3*d + 19 = 2*t, 4*t + u*d - 32 = 4*d. Suppose t + 30 = 5*n. Is 8 < n?
False
Let r(b) = b**2 + 2*b + 3. Let n be r(-3). Let u be n/4*(-4)/6. Let k be ((-11)/((-385)/(-238)))/(u/(-5)). Is k not equal to -34?
False
Let s = 16709 - 16708.97. Let x be (17 - -4) + (-4)/(-2). Is x bigger than s?
True
Let y be ((-1)/3)/(-1)*-129*(-106)/9116. Suppose 0 = -3*q + 5*s + 9, -5*q + 4*s - 2*s = -15. Suppose -3 = -q*z - x, 4*x = z + 12 - 0. Which is greater: z or y?
y
Let q(r) = -r**2 - 19*r + 34. Let h be q(-16). Let i(t) = -28*t - 981. Let u be i(-35). Which is greater: u or h?
h
Let s be ((-19 - -33) + -9)*(-4)/5 + 3269. Is 3268 greater than s?
True
Suppose 34 = -y - 81. Let a = -51761 + 51646. Is a greater than y?
False
Let o(i) = i**3 + 4*i**2 - 46*i - 