 - 94 = 0. Let j be y/6*324/48*1. Is -18 at most j?
True
Let o(y) = y**2 - 7*y - 30. Let j be o(10). Let h be (3 + -4 + j)/(-1) - 1. Let p be (-24)/(-18)*1/6. Which is greater: p or h?
p
Let a(z) be the first derivative of z**4/4 - z**3 - 2*z**2 + 3*z - 20. Let h be a(4). Suppose h*n = 0, 0 = 2*k + 3*k + 4*n - 5. Is -43 < k?
True
Let d = 257.5 - 269. Let h = d + 8.5. Which is greater: -0.025 or h?
-0.025
Let p = 2/89193 + -536108/42366675. Which is greater: 0 or p?
0
Let g(y) = -867*y - 5049. Let k be g(-6). Is k bigger than 153?
False
Suppose -o = -c + 2, -3*o + 5 = -8*o + 4*c. Suppose 321 = -3*j + o*x, -5*j - 179 = 2*x + 342. Are -105 and j unequal?
False
Suppose 72 = -2*j - 2*j. Let p be ((-486)/4)/(-9)*(-2)/(-3). Let i(g) = g**2 - 5*g - 56. Let n be i(p). Are j and n nonequal?
True
Let v = -101 - -42.6. Let l = 0.6 - v. Let h = -58.8 + l. Does h = -0.04?
False
Let j be (-55261)/(-30514) - 2/(-38). Which is bigger: 2 or j?
2
Suppose -11396*t = -11409*t. Does t = 6/61?
False
Let u be 4/(-6)*51/(-32470). Which is smaller: 1 or u?
u
Let t = 46246 - 46154. Let p = -142 + 236. Which is smaller: p or t?
t
Let i = 1679263886 - 7926125577797/4720. Let m = -1/944 - i. Is m equal to 9?
False
Let c = 220377/8 + -9358750075/339736. Do c and 0 have the same value?
False
Let s = -444 + 679. Let t be 249 + (-351)/(44 + -17). Is s at most t?
True
Suppose c + 6*u = 7*u, 5 = 3*c - 2*u. Suppose -125 = -c*o - 100. Which is smaller: 18/5 or o?
18/5
Suppose -p - 12 = -11. Suppose -2*h = 2*z + 3*z - 21, 0 = -4*h + 4*z. Suppose 8 = r + w - 2, w = h*r - 46. Is p < r?
True
Let h be (-1729)/(-195) - (-4)/30. Let x be h/6*(-880)/30. Do -45 and x have the same value?
False
Let x = -1091980053/151601048 - 158056/94593. Let v = -2/1803 + x. Which is smaller: -9 or v?
-9
Suppose 2*w + 2*a = 11436, 2*w - 65*a = -64*a + 11448. Is 5721 at most as big as w?
True
Suppose -4*p + 5*j - 15 - 30 = 0, -4*j = p - 15. Let l(s) = s**2 - 2*s - 12. Let y be l(p). Let x be (y - 3)/(1*9). Is x less than or equal to 2?
False
Let q(d) = -d**3 - 17*d**2 + 36*d + 38. Let p be q(-17). Is -574 bigger than p?
False
Let s(m) = -16*m**2 + 139*m - 58. Let j be s(8). Let x be (-57)/(-2) - (-30)/15. Which is smaller: x or j?
j
Let g be 151 + 16/24*(-3 + 0). Let h = g - 748/5. Let o = 6 - 16/3. Is h < o?
True
Let j be ((-9)/12)/(19/10260). Let y = j - -260. Which is bigger: -146 or y?
y
Let j = -1.95 - -2. Let y = -0.2021 - -275.4021. Let h = y - 275. Does j = h?
False
Suppose -105 = 5*n - 0*n. Let f be 4/(-5) + -12 + -23*(-4)/(-10). Which is greater: f or n?
n
Let g = -69998/407 + 172. Is g <= 0?
False
Let a = 175.201 - 26.177. Let s = -149 + a. Is -0.1 not equal to s?
True
Suppose 2*h + 141 = 5*w, -5*h - 21 = -6. Suppose 35*q - w*q - 192 = 0. Are q and 178/7 equal?
False
Suppose -17986 = 417*f - 440*f. Is f <= 782?
True
Let k(h) = 3*h**3 + h - 2. Let c be k(1). Suppose c*j - 8 = 0, g - 4*j - 14 = 4*g. Which is smaller: g or -13?
-13
Let n be 2266/(-8)*(-2)/(-3). Let q = -572/3 - n. Suppose 94864*u - 94804*u + 60 = 0. Is u not equal to q?
True
Let j = -11115.418 - -10.418. Which is smaller: j or -2/3?
j
Suppose m = -3*v + 15, 3*v = 2*m + 8 + 7. Which is smaller: m or -6/11387?
-6/11387
Suppose -4*g = -3*a + 5*a - 266, -a = 3*g - 198. Let t be (-380)/g - (-2)/(-13). Let d be -3 + (t/(-13) - -3). Is 2/7 at most as big as d?
True
Let u = -30.912 + -5.167. Let o = 8.29 + -8.211. Let h = o + u. Which is greater: h or 1/2?
1/2
Let a be 467921/(-2002638) + 6/38. Suppose 5*x - o + 6 = -2*o, -4*x = -4*o. Is a at most as big as x?
False
Suppose 161*t - 173*t = 1680. Let u = t - -17218/123. Which is smaller: u or -1?
-1
Let q be 90/2718*2/6. Which is greater: q or 1?
1
Let g = -77 - -77.83. Let x = -47.17 - g. Let q = x + 56. Is 1/3 <= q?
True
Suppose 4*f - 16 = 0, 4*m + 443 + 29 = f. Let o = 2105/18 + m. Which is bigger: -0.1 or o?
o
Let q(z) = -z - 42. Let i be q(-42). Which is smaller: i or 178.2?
i
Let g(j) = -14*j + 43 - 2 + 64 + 1. Let d be g(7). Is d at least 8?
True
Let v = 3.638 - 3.687. Do -17 and v have the same value?
False
Let s = 274 + -511. Let b = 111 + s. Is b greater than -127?
True
Let r be ((-6)/(-9225))/((-17)/102). Are 1 and r non-equal?
True
Let x = 0.01273 + -1.01273. Which is bigger: x or -5/163?
-5/163
Let n = -14829.1 - -14828. Do n and 479 have different values?
True
Let n(t) = t**3 + 29*t**2 - t - 49. Let g be n(-29). Let p(s) = s**3 + 19*s**2 - 19*s + 48. Let d be p(g). Is 29 bigger than d?
True
Let a(j) = -2*j**2 + 76*j - 73. Let p be a(1). Which is smaller: -5/2067 or p?
-5/2067
Let d = 1982111/981990 - -1/18185. Which is greater: d or 2?
d
Suppose -4*y + 28 = 0, -4*i + 66 = y - 61. Is -1/256 < i?
True
Let o = -243 + 247. Let j be -3*o/12 + -1 + 1. Is j equal to 2/97?
False
Let k = 400.4 - 400.8. Which is greater: 165/4 or k?
165/4
Let x = -134948/60585 - 2/1731. Is -2 greater than x?
True
Let b = 24.4 + -25. Suppose -40 = -l + 6*l. Let q be (2 - 2)*4/l. Which is bigger: q or b?
q
Let g = 301 + -289. Let q be g/30 + (-8)/(-5). Are q and 81 equal?
False
Let q(b) = -285*b + 3490. Let y be q(12). Which is bigger: 352/5 or y?
352/5
Let g = -2221.3 - -2221.32. Which is bigger: 428 or g?
428
Let s = 4980 + -5001. Suppose -4*a = -4 - 4. Which is smaller: s or a?
s
Let r = 129 - 127. Let s = -125 + 140. Suppose 120*i = 117*i - s. Which is greater: r or i?
r
Suppose 0 = v - 6 + 4. Suppose -a - 40 = -4*z, -v*a - a = 0. Suppose z*r = 3*r + 84. Is 12 at most r?
True
Let p = -4.7 + 6. Let l = p - 9.3. Let s = 54726 - 54726.1. Does s = l?
False
Let m = -15 - -47. Let q = m + -26. Let p(f) = f**3 - 5*f**2 - 7*f + 7. Let t be p(q). Are t and -3 unequal?
True
Let p be (0 - 66)*(-99995)/(-5565). Let b = -1186 - p. Which is smaller: b or -1?
-1
Let u = -2341 + 3761. Are 1418 and u non-equal?
True
Let s(t) = -18*t**2 - 297*t + 154. Let m be s(-17). Let h be (3/(-72))/((-6)/104). Which is bigger: m or h?
m
Let w = 18083 - 17139. Which is smaller: w or 951?
w
Let r be -599 + 1 + 8 + -2. Let o be ((-15)/10)/(6/r). Is o at most as big as 146?
False
Suppose 4*f + 3*f = 5*f. Suppose -4 = 2*n, 4*j + 2*n = -f*j - 4. Suppose 4*r - 5 - 35 = j. Are r and 7 equal?
False
Let a = -11.677 + 3.677. Are -0.175 and a non-equal?
True
Suppose 242*t = -61122 + 156001 + 495601. Is t bigger than 2439?
True
Suppose 223*u - 98*u - 521 = -396*u. Is u bigger than 23.81?
False
Let c = 0.858 + 416.142. Let g = -411 + c. Is g less than 0.07?
False
Suppose -2102 = -4*d - 0*d - 2*s, 3*s + 21 = 0. Which is smaller: d or 539?
d
Let o = -19118 + 19119. Which is bigger: 3/7720 or o?
o
Let x = -5.062 + 0.112. Let n = 4.9916 + x. Which is bigger: n or 0.1?
0.1
Let b = 14 + 7. Let v = b - 21.25. Let g = 5.25 + v. Is 3 < g?
True
Let k = 3640 - 3596. Is k at least as big as 0.13?
True
Let x = 2215/3 + -449585/609. Is x greater than -1?
True
Let q(o) = -141*o**2 + 666*o - 2681. Let f be q(4). Is f at least -2270?
False
Let i = -7 + -9. Let o(v) = 3*v - 133. Let w be o(0). Let d = -150 - w. Is d <= i?
True
Let g = -6 + -7. Let f = 43057/3 + -14353. Which is smaller: f or g?
g
Let o = 0.8 + 0. Let d = 0.02 + -6.42. Let u = d + 6. Which is smaller: o or u?
u
Suppose 25 = q + 4*q. Let f(l) = -l + 4. Let t be f(q). Let m = 1621307/9 - 180145. Is m smaller than t?
False
Let j(g) = -2*g - 7. Let v be j(-2). Let q = v + -1. Let h be -2 - (q - (-13)/5). Which is smaller: h or -1?
-1
Let x = 11236 - 11243. Which is bigger: 253 or x?
253
Let v(q) = -q**3 - 5*q**2 + 3*q + 9. Let o be v(-5). Let c be (0 + o)/2 + (-185)/(-55). Let g = 98 + -96. Which is bigger: g or c?
g
Let p be (-37133)/(-34860) - 33/(-77). Let h = p + -9/332. Which is smaller: h or 0?
0
Let v be (4/8)/(1/(-18)). Let w(s) = 2*s**2 + 15*s - 42. Let l be w(v). Which is smaller: l or -82/5?
-82/5
Let s = -249 - -5477/22. Let o = 3/22 - s. Does -3.1 = o?
False
Let v(f) = 501*f - 403. Let h be v(1). Is 93 greater than h?
False
Let w(p) = -p**3 - 17*p**2 - 44*p - 29. Suppose -3*v = -5*y + 17, 4*v + 31 = 9*y - 4*y. Let q be w(v). Are 4/133 and q nonequal?
True
Let a be (7476/3744 - 2)/(-3). Which is smaller: a or -2?
-2
Suppose 15 = -3*n, 4*d - 5*n + n - 52 = 0. Let m = -141.994 + 143. Let g = 0.006 - m. Are d and g non-equal?
True
Let u(h) = -11*h**2 - 5 - h + 12*h**2 - 2 - 1. Let p be 