8800)/(-1350)*4/32. Do -1 and z have the same value?
False
Let w be (-8)/(-3)*(-21)/(-4). Suppose -w*k + 21 = -17*k. Let j = k + -6. Which is greater: -14 or j?
j
Let b(q) = 2*q**3 - 29*q**2 + 17*q - 104. Let n be b(14). Which is smaller: n or -306/5?
n
Suppose -54*n + 61*n - 7 = 0. Let i be (n + -2)*-5 + 22 + -25. Which is smaller: i or -64?
-64
Let x = 4672 - 4674. Which is bigger: x or -32?
x
Suppose 57*v - 14946 - 6210 = -25*v. Is 253 smaller than v?
True
Let z = -18 - -42. Suppose 0 = -0*d - 3*d - k - 85, -4*k + z = -d. Let p = 32 + d. Which is smaller: 5 or p?
p
Let b(h) = 2*h**2 - 20*h + 123. Let z be b(16). Let g = 319 - z. Which is smaller: 2 or g?
2
Let x(z) = 2*z - 2. Let h be x(-7). Let y be ((-2)/5)/((-13)/(-494)). Which is bigger: y or h?
y
Let u(s) = -28*s**3 + 29*s**2 - 2*s - 5. Let w be u(3). Is -510 at least as big as w?
False
Let q(p) = p**3 - 42*p**2 + 327*p - 39. Let c be q(10). Which is bigger: 33 or c?
33
Let k = 21132 + -23904. Which is bigger: -2769 or k?
-2769
Let l(k) = -k**3 + 18*k**2 + 24*k + 5. Let h be l(19). Let q = -76 + h. Let j be 6/3 - 3/(9/q). Are j and -9 nonequal?
True
Let y be 96/(-4452)*(-30)/36. Are -1 and y equal?
False
Let g = -375 + 4871/13. Suppose -93 = -9*m - 102. Which is bigger: g or m?
g
Let h be (9269/(-1536515))/((-2)/(-30)). Which is smaller: h or 1?
h
Suppose 4*j + 0 = -4. Let c = -5.898 + 6.001. Is c at most as big as j?
False
Let x = -5071 + 5071.3. Let t = -0.09 - 0.71. Let p = -0.73 - t. Are x and p equal?
False
Suppose -k - 3*a = 5, -4*a + 0*a = 2*k + 6. Let m be -39 + 2 + (1 - k - -1). Let r be (m/8)/((-111)/24*6). Which is smaller: r or 0?
0
Let f = 11752 + -11882.8. Which is greater: 1/4 or f?
1/4
Let n = -313 - -313.0586. Let c = n + -0.0176. Which is bigger: c or 0?
c
Suppose -362 = -6*s + 4. Let q be 3456/56 + (-14)/(-49). Is s > q?
False
Let y = -236141/1490 + 317/2. Which is smaller: y or 1?
y
Let y = 192 + -192.0454. Let v = y - 2.9546. Which is bigger: v or -0.025?
-0.025
Let c = -2256 - -2256. Which is smaller: c or -2/3125?
-2/3125
Suppose 2*s - 9 = -93. Let f(v) = -v**3 + 28*v**2 + 56*v + 76. Let q be f(30). Which is smaller: q or s?
q
Suppose -6 = -5*t + 4*w, t = 6*t - w - 9. Let l be (-4)/((-5)/45*4). Suppose t*f = -f + l. Which is greater: 3/2 or f?
f
Suppose -4*t + 32 = -3*k, 31 = 3*t - 0*t - 4*k. Let d(z) = -5*z**2 + 3*z**2 - 2*z + 7 - 3*z**2 + 4 + z**3. Let q be d(t). Is q at least 2/83?
True
Let t = -5708 - -28444/5. Let b = -6977 - -6958. Is b at least t?
True
Let x be 179/59 + (-8 - -5). Let s(v) = v**2 - 16*v - 16. Let n be s(16). Let f be ((-4)/(-6))/(n/24). Is x equal to f?
False
Let x(c) = -3*c**3 + 2*c**2 + 2*c + 1585. Let z be x(0). Do 1585 and z have the same value?
True
Suppose -630 = 24*f - 30*f. Suppose 13*z + 90 = -f. Which is bigger: -13 or z?
-13
Suppose 5*k - 25*k + 120 = 0. Let p(q) = -q**2 + 4*q + 14. Let a be p(k). Is 11/20 at most as big as a?
True
Let v = -8553 - -8567.194. Let g = -0.006 - v. Let x = -14 - g. Is -8 equal to x?
False
Let k be 3 - 17224/12*-9. Let p be (k/84 - 0) + (-4)/7. Let w = -154 + p. Which is smaller: w or 1/8?
w
Let s = 6312/5 + -38547389/30535. Are 0 and s equal?
False
Let h be (2424/(-40))/(-2 - 44/(-20)). Let s = -339 - h. Is s greater than -38?
True
Let d be (-2 - 8/(-3))*(-18 + 21). Let j be (56/350)/(-1*d/(-3)). Which is smaller: 0 or j?
0
Let z = 8480.1 - 8480. Which is greater: -12834 or z?
z
Suppose 4 = -p, 409*p = -3*y + 408*p + 53. Which is smaller: 31 or y?
y
Let w = 32.3 + -32.4. Let x = -20 - -2. Which is bigger: x or w?
w
Suppose 9*m + 22354 - 18880 = 0. Which is smaller: -387 or m?
-387
Suppose -r = 21*r - 66. Suppose r*l + 18 = -3*h, 7*l - 3*l + 20 = 0. Let k = -1606 + 175056/109. Is k bigger than h?
True
Let h = -1083.563 - -1084. Let i = h - 0.047. Let a = i - 0.09. Is a not equal to 0?
True
Let p = -0.049 + 0.073. Let w = p + -53.024. Let s = 52 + w. Which is greater: 0.01 or s?
0.01
Let h(q) = -5*q**2 - 6*q - 21. Let t be h(-6). Let x = t + 186. Which is greater: 18 or x?
x
Let b be ((-738)/(-48))/((-9)/42*7/(-2)). Suppose h = 5*p - 9, 5*p = 2*h + 2*h + 6. Let j = 21 - h. Are j and b unequal?
True
Suppose 3*m + 18*m - 42 = 0. Let v be (m/66)/(4/(-36)*39). Which is greater: v or -1?
v
Let c be (-3 + 0)/((-357)/14). Let w = 10.061 - 0.061. Which is bigger: w or c?
w
Let r(a) be the third derivative of a**4/24 - 58*a**3/3 - 5*a**2 + 13*a. Let z be r(14). Which is bigger: 2/7 or z?
2/7
Let b(g) = 44*g**2 - 148*g - 401. Let f be b(-3). Is 879/2 bigger than f?
True
Let b(m) = 2*m**3 - 25*m**2 + 13*m - 4. Let t be b(12). Let o be (10/3)/(t/(-264)). Let y = 113 + o. Is y greater than -1?
True
Let r be (-10*16140/(-10750) + -15)/((-2)/(-395)). Which is smaller: 2 or r?
2
Let w(d) = 329*d + 1150. Let f be w(7). Which is smaller: 3450 or f?
3450
Let m(j) = j**3 + 2*j**2 + 2*j - 2. Let y be m(2). Let r be 5 - (4*((-772)/(-112) - 7) - 12). Is y > r?
True
Let i be 6675/39 + (-2)/13. Let r = 208 - 37. Is i at least r?
True
Suppose 2*a + 4 = 6*a. Let f = -16019/14 - -8012/7. Which is smaller: a or f?
f
Let d = 153 + -153. Let f be -5*(-44)/(-55) + (d - 34). Is -36 smaller than f?
False
Suppose -591*c = -662*c + 53605. Is c at most 754?
False
Let a = -13430 + 13379. Does 64 = a?
False
Let r = 0.5 + 3.5. Let g = -2935 + 2935. Is g at least r?
False
Let m be (5008 + -2)*34/(-68). Which is greater: m or -2509?
m
Let i = -20.9 + -252.1. Let j = i - -272. Which is greater: -0.06 or j?
-0.06
Suppose 0*d - 21 = -3*d - 2*r, 3*r = d + 4. Let m = d + 9. Let b be (297/18)/(5 + (-35)/10). Is b < m?
True
Let i be 3*(15869904/(-721359) + 22). Is i at most 0?
True
Let c be (3 - (78/5)/6)*45/(-54). Is -31 at least c?
False
Let s(z) = -5*z**2 - 33*z + 47. Let a(x) = 4*x**2 + 32*x - 46. Let q(g) = 4*a(g) + 3*s(g). Let h be q(-26). Is h >= -120?
False
Let w be 1 - (1100/(-125)*(-5)/(-2) + 0). Suppose m + 36 = 3*m - 2*r, -2*r + 69 = 3*m. Is m at most as big as w?
True
Let y be (-4)/((241965/1896)/(-5)). Let x = y - -1/849. Let b(t) = -t**3 - 12*t**2 - 20*t. Let w be b(-10). Is x at most as big as w?
False
Suppose 3*x - 6 = 5*j, 39*j - 40*j - 10 = -5*x. Is j greater than 63/121?
False
Let j be 20/(-230) + 347/23. Suppose 0 = 4*h - 9*h + 30. Suppose -h*y = j - 261. Is 40 != y?
True
Let p(o) = 5*o**3 - 29*o**2 + 144*o - 7. Let u be p(6). Which is smaller: 895 or u?
u
Let s = -2/1333 - 1325/5332. Which is smaller: -4406/3 or s?
-4406/3
Let z(y) be the second derivative of -y**5/20 + 11*y**4/12 - 31*y**3/6 + 3*y**2 + 114*y. Let w be z(6). Does w = -1/208?
False
Let c = 943 + -945. Are c and 2643 non-equal?
True
Let g = 12052 + -12053. Which is smaller: g or -3/2960?
g
Let l = 3.888 + -3.9. Let a = l - 10.788. Let p = a + 8.8. Which is greater: p or -24?
p
Let l be -1*2 - -2*267/6. Suppose -4*u - 4*h = -712, u = -2*h + l + 91. Is u at most as big as 175?
False
Suppose -390*t = -196*t - 197*t. Which is greater: 21/370 or t?
21/370
Let x = 12.12269 - -0.07731. Let n = -48.8 + 49. Which is smaller: n or x?
n
Let d = 6705 - 6629. Which is bigger: d or 1434/19?
d
Suppose 0 = 69*r - 82 + 151. Which is smaller: r or -2/13283?
r
Suppose 0 = 2*b - 3*g - 7 + 18, -5*b + 4 = 3*g. Let t be ((-69)/9*b)/((-6)/126). Is t <= -161?
True
Suppose 47*w - 33*w = -5040. Let u = -368 - w. Suppose 3*o + n + 11 = 0, o + 17 = -0*o + 3*n. Is u > o?
False
Let f be 795531/(-774) - (-2)/(-12). Let k = 1028 + f. Suppose 0*p - 3*p = -3. Which is greater: p or k?
p
Suppose -j = -c + 21, -4*j + 27 = -5*c + 109. Let k(z) = 2*z**2 + 53*z + 162. Let y be k(j). Is -3/29 not equal to y?
True
Let y be (1/(-3))/(1/(-6)). Let n = -43546 + 43550. Are n and y equal?
False
Suppose -8 = c - 4*b, 0 = -5*c + b + 26 + 29. Suppose -5*j = -4*k + 2 - c, j = -4*k + 26. Which is smaller: 8 or j?
j
Let g = -8 + 12. Let r be -3*3 - (65 + -81). Suppose 2*o - 2 - g = 2*i, r = -i + 2*o. Which is smaller: i or 4/33?
4/33
Let p = -10662 - -10448. Which is greater: p or -201?
-201
Let o be 9 - 129/(-153) - -7. Let s = -564/17 + o. Let i be 1 + (-9 - 0)*2. Is i less than s?
True
Let q = 152.94754 + 0.05246. Is q smaller than -0.01?
False
Let i be ((-555780)/(-3894))/((-1)/(-55)). Which is greater: i or 7851?
7851
Suppose 6*p = 2*p + 4. Let x be (-4*(-9)/84)/(0 + -1). Let w = -52/105 - x. Do p and w h