-2). Is q not equal to h?
True
Let x(v) = v**3 - 16*v**2 - 130*v - 15. Let l be x(28). Is l at least 5754?
False
Let f = -0.392 + 0.4. Let c = 0.08438 + -45.07638. Let n = c - f. Is -1 equal to n?
False
Let t be ((-690)/209)/5 - 8/44. Suppose 5*g - 5 = 5. Let s be g/(-4) + 4/8. Is s less than or equal to t?
False
Let i = 214 + -214.8. Let d(g) be the first derivative of -g**4/4 + 13*g**3/3 - 11*g**2/2 - 14*g - 8. Let x be d(12). Is x smaller than i?
True
Let q(o) be the first derivative of 3*o**2/2 + 15*o + 6. Let b be q(-5). Let w be -4 - ((-297)/48 + 2). Is w at most b?
False
Let k(w) = -16*w + 14. Let t(p) = 3. Let u(x) = -k(x) - t(x). Let l be u(2). Do 46/3 and l have different values?
True
Let v(x) = -x**2 - 9*x - 7. Let o be v(-6). Let a = -6.4 + 1.6. Let n = a + 4.9. Which is smaller: n or o?
n
Let y = -218.915 + 219. Is 0.3 > y?
True
Let t be 416/936*(-3)/1. Which is greater: -22.1 or t?
t
Let p be (3/104523)/((-2)/(-4)*-2). Let b = -79994939/104523 - p. Let z = 71200/93 + b. Which is bigger: z or -1?
z
Let x = -228.41 + 0.41. Let o = x + 229. Is o > 21?
False
Let a = -3853 + 3611. Which is bigger: -1688/7 or a?
-1688/7
Let u = -6 + 6.025. Let b = -4.375 - u. Suppose -18*v - 14 - 4 = 0. Does b = v?
False
Let u be (309 + -312)/((-3)/((-18)/(-548))). Which is bigger: u or -1?
u
Let s = -0.21 - -0.41. Let t be (3/(-12))/((-165)/(-12)). Let b = 101/495 - t. Are b and s nonequal?
True
Let o = -56 + 49. Let a(n) = -n**2 - 5*n + 13. Let f be a(o). Let p = -1627/1830 + -2/183. Which is greater: f or p?
p
Suppose 2*t + k + 14 = 0, 4*k - 10 - 4 = 2*t. Let n be t/(-15) + (-34)/(-255). Which is greater: 35 or n?
35
Let i be (-3)/(-2) + (-134)/108. Suppose 2562 = -12*a + 2574. Which is bigger: i or a?
a
Let u be (-3)/(-30)*(2/6 + 2779/(-8421)). Do -1 and u have the same value?
False
Let h(a) = -15*a + 3. Let r be h(1). Let g be (-10)/40 + 15/(-4). Let u be ((-104)/(-12))/(g/6). Is u less than or equal to r?
True
Let f = -516/19 - -15308669/563692. Which is smaller: f or 0?
f
Let z be (6/(-30)*-4)/(2/615). Which is bigger: z or 244?
z
Let q be 4 + (-102)/18 + 20/3. Suppose 98 + 146 = -4*i + 3*g, -305 = q*i - 2*g. Is i at most -61?
True
Suppose -20708 + 6310 - 24455 = 27*v. Is -1447 >= v?
False
Let z be ((49 - -5) + -8)*(-275)/(-6). Let x = z - 2025. Is 83 < x?
True
Let a be ((-64)/(-12))/(-8)*(-9)/6. Let j(b) = 2*b + 3. Let n be j(a). Suppose 0 = -0*l - l - 3*u + 13, 0 = 5*u - 15. Is n <= l?
False
Let f be 1/(-6) - (-24)/(-144). Let t(k) be the second derivative of k**4/12 - 3*k**3/2 + 15*k. Let w be t(9). Is w < f?
False
Let z = 36 - 35. Let t be (6/1)/((-12)/(-8)). Suppose 5*x = 5*u, t*u = -0*x + 3*x - z. Which is greater: 2/23 or x?
2/23
Let y = -0.1361 + 2.1361. Which is smaller: 2337 or y?
y
Let p(w) = -w**3 + 22*w**2 + 4*w - 16. Let h be p(17). Let b be (-15)/h*(-8)/(-10). Let u = 674/40419 - b. Is u at most -1?
False
Let j be 42/(-18) - (-1626)/522. Which is greater: 2 or j?
2
Let x = -3 + 5. Suppose s + l - 5 = 3*s, -x*s = -5*l + 25. Let j be (-3 - (-21)/9) + 2/9. Does s = j?
False
Let a be (6*-2*(-4)/40)/(1414/(-35)). Are a and 1 non-equal?
True
Let x = 867 - 460. Let i = x - 408. Is i at least as big as -3/4?
False
Suppose -4*j = -2*z - 148, 5*z + 72 = 3*j - 32. Suppose -k = j - 32. Let r be 4/k - 5/(-45)*-3. Which is smaller: -1/7 or r?
r
Suppose 114*y - 89*y + 2275 = 0. Which is smaller: -830/9 or y?
-830/9
Let q(n) = 111*n - 1154. Let i be q(-9). Are i and -2153 nonequal?
False
Suppose -3*n - 12 = 0, -4*n = -3*p - 9*n - 8. Let y be 38/24*2 - -8*(-28)/336. Which is bigger: y or p?
p
Let j be (-4)/2 + 2*(6 - 1). Suppose -3*t + 6*t = 0, -2*k - 6 = 4*t. Let i be 4/(j/12 - 3 - k). Which is smaller: 13/2 or i?
i
Let h = -1259/3 + 6289/15. Which is bigger: -1953 or h?
h
Suppose 2*x + 1 = -2*v + 9, -12 = -v - 5*x. Suppose -28*g + 26*g = v. Let j = 130/891 - -2/891. Which is smaller: j or g?
g
Let z be (-100)/4 + (2 - 1)*-2. Let j be (4 + 102/z)*-3. Let x = 15 + -8. Which is smaller: x or j?
j
Let l = 4922 - 4917.5668. Let z = 0.0332 - l. Which is smaller: 5 or z?
z
Suppose 0 = 75*q - 82*q. Let i be q - 4/(-18) - (-217)/(-882). Which is bigger: 1 or i?
1
Let f be 1/(3 + (6 - 4)). Let y(x) = -17*x**2 - 5*x - 7. Let h be y(-2). Let i = h + 323/5. Which is smaller: f or i?
i
Let m = -0.127 + 0.252. Let l = m - -0.375. Which is smaller: -0.14 or l?
-0.14
Let x(q) = -q**2 - 7*q + 45. Suppose 3*i + 19*i = 154. Let t be x(i). Let c be (9/(-6))/((-2)/(-72)). Which is smaller: t or c?
c
Let t = 6.418 - 0.118. Let i = t - 70.3. Let p = i - -24. Is 1 > p?
True
Let i be ((-205)/30 + 7)/((-289)/20). Does i = 1?
False
Let j = 8873.47 - 8873. Does -38/7 = j?
False
Suppose 3173 + 4786 = 21*t. Suppose -2*c + 502 = 4*r, 0*r + 2*c = -3*r + t. Is 124 greater than r?
True
Suppose -428*r + 36846 = -204*r - 206*r. Is r >= 2047?
True
Suppose -2*d - 21*v = -24*v + 1035, 0 = 3*d + 5*v + 1524. Is d smaller than -512?
True
Let t = 8057.3 - 8636. Let d = t - -545. Let b = 34 + d. Is 3 bigger than b?
True
Let h = -279 - -265. Let i be (-174)/10 + h/(-35). Which is smaller: i or -12?
i
Let c = 37146831447509/76570 - 9217589331/19. Let h = c - 43648/65. Let a = h + 1371. Which is smaller: -1 or a?
-1
Let g(h) be the second derivative of -h**4/12 - h**3/3 - 76*h**2 - 5*h. Let q be g(0). Let n = -1066/7 - q. Are 2.5 and n unequal?
True
Suppose 22*v - 7 = 15*v. Let b be (8/(-210))/(180/600). Which is bigger: v or b?
v
Let n(l) = -2*l**3 - 56*l**2 - 49*l + 135. Let f be n(-27). Which is smaller: f or 2/3097?
f
Let p(j) be the second derivative of 1/20*j**5 + 0 + 16*j + 1/3*j**4 + 5/2*j**2 + 5/6*j**3. Let n be p(-3). Which is smaller: 2/149 or n?
n
Suppose -27*d = -34*d + 7. Let o be (244/(-6))/((-1)/3*d). Suppose o = -4*k - 42. Is k equal to -41?
True
Let c be (120/(-78))/10 + (-2)/(-13). Let t be (30/7)/((-11)/308) - c. Are -237/2 and t nonequal?
True
Let w be (54/(-36))/(3/(-50)). Suppose f = m - 1, 10*f = m + 15*f - w. Is m greater than -10?
True
Let u = -107 - -441/4. Let o = u + -10/3. Suppose 4 = 4*x - 0. Which is smaller: o or x?
o
Let g = -12761 + 11637. Is g smaller than -3?
True
Suppose 57*s + 100 = -71. Let k be s/((-42)/(-242)) - (-54)/189. Is -5 less than k?
False
Let l = -6423 + 6453. Is 353/12 at least as big as l?
False
Let n = -11709 - -11707. Is n less than or equal to 4/91?
True
Suppose -19*s = -s + 26*s - 20064. Are s and 459 nonequal?
True
Suppose 3*f + 5*c = 1542, -461 = -2*f + 2*c + 551. Let y = f + -778. Are y and -268 unequal?
True
Let w(n) = 57*n**2 - 975*n - 8720. Let y be w(-9). Is y greater than 4672?
False
Suppose i - 85 = -22. Let s be 27/i - (-3)/(-252). Is s > 1?
False
Suppose 9106 = 10*p - 8351 - 11033. Is 2849 smaller than p?
False
Suppose 0 = -7*a + 2*a - 2*z + 34, 0 = 4*a - 5*z - 14. Let d be (4/a)/((-2)/54). Let g be (-43 - -10) + 5 + 9. Which is bigger: d or g?
d
Let r = -9424 - -9431. Let n be (-27 + 1)*(-1)/2. Is r > n?
False
Suppose 2*d + 318 = -3*d - 3*w, 250 = -4*d + 2*w. Let n be -8 - ((4/(-1))/(-4))/(-1). Let h be n - 1105/20 - 2/(-8). Which is greater: h or d?
h
Let s = 29.7 + -267.7. Let z = s + 212. Which is bigger: z or 2/9?
2/9
Let d = 395053/78032 + -1/4877. Which is bigger: d or 4?
d
Let w(b) = 27*b**3 + 4*b**2 + 3*b - 4. Let a be w(2). Which is smaller: a or -14?
-14
Let q be -3 + 6 + ((-2543)/1272 - 1). Which is smaller: q or 1?
q
Suppose 4*t = -3*i + 15, 5*t + 4*i = 20 - 1. Suppose 0 = 5*f + t*n - 0*n - 20, 0 = -n. Let g be 1 - f/4 - 7*-1. Is g greater than 33/5?
True
Let p be (6/1*1)/2. Let f be ((-256)/12)/(p/(-9)). Let k = f - 60. Is 4 > k?
False
Let z(k) = k**3 - 4*k**2 + k + 1. Let w(j) = 3*j**2 - 2*j - 1. Let q be w(-1). Let u be z(q). Let c = u + -5. Which is smaller: c or 1/29?
c
Suppose -3*v + 5*t + 11 = 244, -2*v + 2*t = 154. Let g be 19/v + (-9)/(-4). Suppose -q + 9 = 3*s, 2*q - 4 - 12 = -5*s. Which is smaller: q or g?
g
Let s(i) = i**3 - 7*i**2 - 17*i + 39. Let o be s(-7). Do -532 and o have the same value?
False
Suppose -4*x = -5*t + 92, -61 = -4*t - 0*t - x. Let a(g) = 3*g**2 + 2*g - 2. Let f = -10 - -12. Let i be a(f). Is i at most as big as t?
True
Let v = 36281 + -36407.063. Let x = v + 0.063. Which is bigger: x or 1/3?
1/3
Let f be 176/1144 - 558/(-429). Is 0.7 > f?
False
Suppose -11*a + 11*a = -4*a. Wh