s = 176 - 168. Let c be 2/s - (-5)/(-30). Is c at most 16?
True
Let w be (10695536/(-22100))/(-1) + (2 - 1). Let n = w - -7558/221. Let v = -519 + n. Is v less than or equal to 1?
True
Let d = 341 + -353. Which is smaller: -268/25 or d?
d
Suppose 0*b + 175 = 5*b. Let w = b + -66. Do -30 and w have the same value?
False
Let p be (4/(3 + -1) - 4)*5. Let t(a) = 26*a + 255. Let d be t(p). Is d > 1?
False
Let b(t) be the second derivative of -t**4/6 - 17*t**3/6 + 9*t**2 + 78*t. Let v be b(-7). Which is greater: v or 37?
v
Suppose 45*j - 35*j - 88046 = -28*j. Which is smaller: 2319 or j?
j
Let q be 5 - (1 + -6 + 2). Let j be (-22 + 1)*(1 + -50). Let i be (-1)/q - j/(-168). Which is greater: 2 or i?
i
Let y = -905 - -25. Let g = y - -169842/193. Which is smaller: g or 1?
g
Let y(t) = 89*t - 32. Let s(o) = 40*o - 17. Let u(i) = 9*s(i) - 4*y(i). Suppose -6*n + 2*n = -32. Let q be u(n). Which is greater: 4 or q?
q
Let v be (2/2)/(-9) + (-58014)/(-162). Let f = 359 - v. Is 14/39 at most as big as f?
True
Let c be ((-6)/9)/((-6)/1206). Suppose -5*f - 4*d - d = -190, -3*f + 2*d = -c. Let l = -42 + f. Which is smaller: -3 or l?
-3
Let k = -11.5 - -9. Let t = 4.1 + k. Let q = -1.7 + t. Are -9/2 and q nonequal?
True
Let y be 1236/22 - (-4)/(-22). Let u be 1 - 22*2/y. Let p = 2690 - 2689. Which is bigger: u or p?
p
Let k(y) = 5*y**2 - 5*y - 220 + 220 + 2*y**3. Let l be k(-3). Which is bigger: -4 or l?
l
Let w = 6699 + -26757/4. Which is bigger: -0.061 or w?
w
Let k = -61 + 42. Let g = -72/7 + 662/63. Which is smaller: g or k?
k
Let m = 314.5 - 36.5. Let q = 268 - m. Which is smaller: q or 2/5?
q
Let g = 5/1246 + -52387/13706. Suppose -4*r + 0*j - 6 = 3*j, -5 = 3*r + 2*j. Which is smaller: r or g?
g
Let i be 1857/(-198) - (-40)/(-16). Let x = -34/3 - i. Which is greater: -14 or x?
x
Let z = 3845 + -4326. Is z at least -478?
False
Let l(g) be the first derivative of g**4/4 - 2*g**3/3 - 4*g**2 + 37*g - 166. Let i be l(5). Which is smaller: 73 or i?
i
Let z be (-152)/20*(11 + -16). Which is smaller: z or 5/8?
5/8
Let t(x) = 19*x**2 + 5*x - 155. Let d be t(-17). Is 5251 bigger than d?
False
Let x = -12815 + 5138. Is -7678 < x?
True
Let h = -18 - -24. Let s be h/(7/((-28)/(-6))). Suppose m = -s + 3. Is -1/18 not equal to m?
True
Let j = -256/5 + 2453/40. Suppose 5*l - 3*l + 3*b = 15, -20 = 5*l - 4*b. Is l >= j?
False
Let y = -66 - -91. Suppose -2*q + 92 = -2*v, 2*q + y + 55 = -2*v. Is v less than 0?
True
Let i be (-46)/23*(-2)/(-4). Let d(r) = -r**3 + 3*r**2 + 3*r + 1. Let a be d(-2). Let o be (i - 2/1)*a/150. Is o at least as big as 0?
False
Let m be 73/((-219)/300)*((-7)/(-4) - 2). Let q be 2*1 + 84/2. Let k = m - q. Which is smaller: -18 or k?
k
Let d(j) = -j**2 - 15*j - 31. Let r be d(-12). Let o(k) = -4*k + 12 + r*k - 65. Let i be o(17). Which is smaller: i or -37?
-37
Let d(s) = s**3 - 21*s**2 + 99*s + 76. Let c be d(10). Which is bigger: 115 or c?
115
Let m be (-78)/(-104) - (-25)/4. Suppose -3*h - 9 = 2*t, 5*t - m*t = 2*h + 12. Which is bigger: t or -2?
-2
Let j = -0.143 + -177.857. Let a = j + 177.8. Which is bigger: a or -5/9?
a
Let o = 278 + -281. Let u be (-3344)/(-480) + o/(-15). Is u at most as big as 7?
False
Let g be (147/9)/((-4)/(-12)). Let d = g - 42. Suppose d*h + 11 = 32. Is -1 at least h?
False
Let z = -7.954 - 3.046. Is z greater than 0.122?
False
Let t = 12.444 - 4.444. Which is smaller: -106 or t?
-106
Let q = 41 - 36. Suppose -u = -s + 5, 0 = -4*s - 2*u - 5 - q. Suppose 4 = -5*m + v + 3, s = v - 1. Is -2/241 at least as big as m?
False
Suppose 4*t - 4*b = -8, 4*t + 8 - 32 = -4*b. Let a be t/28*(-16)/2. Let m = -328120/3 + 109373. Which is smaller: a or m?
a
Let o = -15 + 107/7. Let l(j) = j**2 - 11*j - 55. Let a be l(8). Which is greater: a or o?
o
Suppose 2 - 18 = -4*n. Suppose -127 = -t + j, -4*j = n*t + 61 - 609. Let m be (-2)/(-11) - 46/t. Is 1 at most as big as m?
False
Let y(u) = 5*u + 25. Let f be y(2). Let c be (0 - 1)*(60 - f/5). Which is greater: -54 or c?
c
Let n = -5806 + 5794. Is -254/19 at least n?
False
Let r = -43 - -3. Let t be (2/(-3))/(r/15 + 2). Let c be (4/(-28))/(t/10). Are c and -1 nonequal?
True
Let z = 715 - 713. Let h be (12/8 - z)*3*196. Which is greater: -295 or h?
h
Suppose -10*f - 5362 = -1832. Let n = f - -365. Let l = 160/7 - 145/14. Which is smaller: n or l?
n
Suppose 275 = 128*m - 129*m. Which is smaller: -283 or m?
-283
Let a = 490 + -487. Let r be 26*((-35)/(-42))/((-1)/a). Which is greater: r or -67?
r
Let g(v) = -17*v - 32. Let m be g(0). Let x(t) = -t**3 - 2. Let j be x(-2). Suppose 0 = l - j*l - 155. Is l not equal to m?
True
Let h = 144126504/1955 + -73722. Which is bigger: h or -1?
h
Suppose 1748 = -0*u - 22*u - 4324. Which is greater: 4 or u?
4
Let m = 8275 - 15123. Is m at most as big as -6849?
False
Let t(u) = 2*u + 12. Let z be t(-5). Let q(f) = 4*f**2 + 4*f + 3. Let v be q(-2). Let b be (-1 - z)*v/(-66). Are b and 5/3 non-equal?
True
Suppose 9*n - 5*n + 1280 = 0. Let h be (15/n*2)/(15/(-6)). Is h > -1?
True
Let c = -60658/3 - -20220. Let i = 57 - 341/6. Which is bigger: i or c?
c
Let t(i) = -31 + 6 - 21*i - 29 - 6. Let w be t(4). Is -144 at least as big as w?
True
Let d(s) = -20*s + 313. Let y be d(7). Suppose 2*f = -5 + y. Which is smaller: 0.3 or f?
0.3
Let l = 109/159 + -1/53. Let y = -529 + 646. Let p be y/(-9) + (-6 - -2). Is l > p?
True
Let u = -15368/5 + 61210729/19915. Do -1 and u have the same value?
False
Suppose 27*n - 22 = -76. Let x be (-4 - (-52)/8)*n. Which is smaller: 3 or x?
x
Let i = -1219 - -1185. Is i > 17?
False
Suppose -120*f - 18 = -114*f. Let t be (-12*(-6)/18)/(4/(-54)). Let v be (4/(-21))/((-3)/t). Is f greater than v?
True
Suppose -26*p + 20*p = -18. Suppose o = -3*o + i - 5, -p*o + i = 4. Do o and 18/41 have the same value?
False
Let h(d) be the second derivative of -d**4/12 - 5*d**3/6 + 17*d**2/2 + 15*d. Let r be h(-7). Suppose 3*a = 4*y - 4, -4*a = -r*a. Which is smaller: -2/21 or y?
-2/21
Let s = -0.025 - 0. Let x = s - -30.025. Let y = 25 - x. Which is smaller: y or 0.1?
y
Suppose -271*a + 6 + 17 = -294*a. Which is greater: -3/1429 or a?
-3/1429
Let s = -1353874/5005 + 283/385. Let j = 417 + -147. Let y = j + s. Which is bigger: 0 or y?
y
Let y = 0.26 - 0.16. Let h = -0.46 + -4.44. Let z = h + 2.9. Which is smaller: z or y?
z
Let b = -97 - -171. Suppose -210 + b = -2*l. Let t = -69 + l. Which is smaller: t or 1/21?
t
Let v = 3267 - 3252. Is v >= 18?
False
Let m be ((-1515)/404)/(5/8). Which is greater: -253/36 or m?
m
Suppose -2*q - 6*m + 518 = -5*m, -5*m = 0. Is 272 greater than or equal to q?
True
Let h(c) = -c**3 - 9*c**2 + 22*c + 2. Let p = -19 - -8. Let v be h(p). Let o = -156 - -1094/7. Is v at most as big as o?
False
Let k be (-1 - -2) + 11 + -12. Suppose 6*s - 13 + 1 = k. Suppose 0 = -w - 3*m + 1, -2*w + s*m - 4 + 6 = 0. Which is bigger: -2 or w?
w
Let j be (-426)/51 - 6/(-9 + 3)*8. Which is bigger: j or 5/33?
5/33
Let z(l) be the first derivative of l**3/3 - l**2/2 + 3. Let o be z(1). Suppose 4*w + o*w - 88 = 3*a, 3*w = 3*a + 93. Which is bigger: -35 or a?
-35
Suppose 196954 = -76*w - 70*w. Which is greater: w or -1348?
-1348
Let r = 1129 + -25971/23. Let b = -75427.2 + 75427. Is r greater than or equal to b?
True
Let z(g) = 88*g + 1180. Let o be z(-16). Which is bigger: o or -231?
o
Let s(q) = 15*q**2 - 1 - q**3 - 8*q + 5 + 7 - 7*q**2. Let o be s(7). Let n = 26 + -21. Is n at most o?
False
Let t = 0.2 - -2.8. Let j = -10 + -4.5. Let n = -6.5 - j. Which is greater: t or n?
n
Let o = 4 - 0. Suppose 0 = -2*n - o*l - 12, 2*n = -0*n - 5*l - 15. Let k be 13 + (-1 + n)*3. Does 12 = k?
False
Let i(b) = -9*b - 967. Let o be i(-52). Which is bigger: -497 or o?
-497
Suppose -2*v = -3*y + 240 - 332, 140 = 4*v + 5*y. Which is smaller: v or 37?
37
Suppose 41 = -5*a - 34. Let m(z) = -10*z - 1. Let x(n) = 31*n + 38. Let y(v) = -3*m(v) - x(v). Let q be y(a). Which is smaller: q or 0.2?
q
Let h be 123407/31*(-106)/(-8)*346. Let a = 18250962 - h. Let s = a + -659. Is 1 at least s?
True
Let d(s) = 2056*s + 43555. Let r be d(-21). Suppose -q - 2*q + 1140 = 0. Is q less than r?
False
Let m = 623.16 + -883.4. Let o = -260 - m. Is o greater than -2?
True
Suppose -29*s + 32*s - 5*c = 115, -2*c = 4. Suppose 33*g = 68 - s. Which is smaller: g or 9/100?
9/100
Let s = -80.0555