21433/453 - -142/3. Which is bigger: 0.1 or x?
0.1
Suppose -246*r - 3*y + 621 = -249*r, 5*y = 3*r + 627. Is -199 at least r?
True
Let m(c) be the second derivative of 3*c**3/2 - 5*c**2 - 2*c. Let o be m(4). Let g be 2/(-5)*(-65)/o. Is -6/29 not equal to g?
True
Let c = -1583.5 + 1585.71. Is c greater than 1/55?
True
Let q = 2327 - 2330. Suppose 31 + 5 = 4*c. Let n be (q/c)/(2/12). Which is bigger: -6/7 or n?
-6/7
Suppose 2*v + 7*v - 1098 = 0. Let u = -856/7 + v. Suppose 0 = -5*p + 3*c + 30, 3*p = 5*p + 5*c - 43. Which is greater: u or p?
p
Let j be 546/4 - 39/26. Suppose -v - 5*n = 1, 5*v - 5*n = -2*n + j. Let f be v/(-60) + (-3)/5. Is f greater than or equal to 4?
False
Let i(y) be the first derivative of -y**3/3 + y**2/2 - y + 8. Let r be i(-4). Suppose -4*n - 4*n - 152 = 0. Does n = r?
False
Suppose -4*a = -3*y - 7*a - 3, 3*a = -9. Suppose 2*c - 4*j - 6 = 0, -10 = -y*c + 3*j - 8. Let q be c - (2 + 29 - 5). Are -31 and q non-equal?
False
Let o = -160 - -321/2. Which is smaller: o or -5.1?
-5.1
Let d(l) = -4*l - 35. Let v be d(-11). Let c = -55 + v. Let b = c - -52. Which is smaller: b or -1?
-1
Suppose -6*u = 54*u + 2400. Which is greater: u or -444/11?
u
Let u = -8.4 + 7.1. Let z = u + 5.3. Let s = -316/21 - -46/3. Is s != z?
True
Let x = -5985 - -5985. Suppose 0 = 2*d - f + 97, 5*d + f = 4*f - 245. Are d and x unequal?
True
Let x = 1651/92 + 398/23. Suppose 0 = 2*d + 3*i - 72, 0 = -5*d + 5*i + 576 - 396. Which is greater: x or d?
d
Let p be (-4 - (-270)/65) + 41/(-13). Let t be 0*((-2)/4)/(p/3). Let m be 8 + -11 + (-8)/(-2) - t. Is m less than -8?
False
Let q be (-13)/(-1*2 - -1). Suppose 4*s + 14*b - 13*b = 12, -3*b = 0. Is q at most as big as s?
False
Let u be (((-5 - -9) + -6)/(-8))/((-10)/(-2720)). Let j = -137 + 213. Let w = 145 - j. Is w less than u?
False
Suppose -3*t = -5*s + 39 + 55, 5*t + 70 = 4*s. Suppose 4*k - 79 = -d, -4*d = -2*k + 6*k - 364. Suppose 8*w - 3*w - d = 0. Do w and s have different values?
True
Let b = 44/71 - 106/1775. Let u = -319/525 + b. Which is bigger: u or 3/4?
3/4
Suppose 3*c - 5*w - 15 = 0, 3*c - 7*c - 4*w = 12. Let a = 7990 + -1701866/213. Is c not equal to a?
True
Suppose -x - 20 = -5*d, 3*d - 4 = 5*x + 8. Suppose 3*j + 138 = -3*a, -2*j = 7*a - 6*a + 88. Let i be (j/(-35))/(2/(-1)). Is x smaller than i?
False
Suppose -3*p + 18 = 3*d, -7*d = -12*d - 3*p + 24. Is 82 at least as big as d?
True
Let y be ((-3)/45*20/(-26))/((-4)/(-2358)). Is 31 at least as big as y?
True
Suppose -3*s - 12 = 3*o, s = o + 3*o - 4. Suppose -22*p + 20*p = 4*l - 224, -4*p + 393 = -3*l. Let j = p - 107. Do j and o have different values?
True
Let o be 2/7 + (-9)/7. Let x be 225/1110 + (7 - (-43)/(-6)). Which is smaller: o or x?
o
Let f(j) = 17*j + 6. Let h be f(-2). Let p = h - -28. Let z be ((-15)/5 - 1)*(-2)/60. Is z at most p?
False
Let s = -7707/1430 + -3/286. Let i be (-55)/33 + (-4)/3 - -1. Let q(b) = 9*b + 14. Let f be q(i). Which is smaller: s or f?
s
Let d be (-4 - 42/(-9))*24. Suppose 61*g - 57*g + d = 0. Are -27/10 and g equal?
False
Let p be (-2827 - -1) + 0 + -1. Let a = -14399/5 - p. Which is smaller: -52 or a?
a
Let v be 100 + -91 - 6/(0 + 1). Suppose 5*t + 120 = v*k, -16*t + 11*t - 120 = k. Which is bigger: t or -20?
-20
Let i = -261 - 257. Let l = i + 506. Which is bigger: -3 or l?
-3
Let v = 15525 - 15699. Is -863/5 at least v?
True
Let b = 7 - -1.8. Let w = -9 + b. Let r = -2867 + 20068/7. Which is bigger: r or w?
r
Let a = 963245/39 + -24700. Is 0 > a?
True
Let n = 978 - 1027. Is n less than -59?
False
Let p = -21 + 28. Let d be (57 + 4)*p/(-28). Which is bigger: -15 or d?
-15
Let x be 3/10*((-700)/(-21))/(-25). Is x less than or equal to -1419?
False
Let w = 23.893 - 23.9. Let f = 0.007 - 0. Let k = w + f. Which is smaller: k or 0.1?
k
Let q(u) = u**3 + 9*u**2 - 8*u + 2. Let g be q(-5). Let z be ((-16)/10)/4*355. Let y = g + z. Is 57 greater than y?
True
Let g(c) = c**2. Let s be g(1). Suppose s - 1 = -3*o. Suppose 0 = -o*b + 3*b - 36. Is 10 <= b?
True
Suppose 2*b = 12, -59*b = -4*m - 64*b - 4106. Do m and -1032 have the same value?
False
Let b = -192041/44159190 + 1/95790. Let k = -4/3 - -2/3. Is k less than b?
True
Let h(s) = s**3 + 30*s**2 + 53*s + 84. Let n be h(-28). Suppose -37*f - 19*f + n = 0. Is 12 smaller than f?
False
Let g = 98536 + -98418.982. Let x = g + -0.018. Let r = x - 96. Is -2 <= r?
True
Let d(g) = 2*g**2 - 19*g - 8. Let l be d(10). Suppose -l*s - b = 9, -3*b - 22 = s - 5. Is s at most 7?
True
Let a = -470466238/6243 + 75359. Which is smaller: -1 or a?
-1
Let x = -3688 + -119. Which is smaller: -1 or x?
x
Suppose -50 = -16*v + 11*v. Suppose v*q + 16*q + 130 = 0. Is -1.5 greater than or equal to q?
True
Let w be 5 - (3/2 - 27/(-18)). Let o(v) = -6*v**3 - v. Let l be o(w). Do -0.2 and l have different values?
True
Let o = -1846852967 - -363831230293/197. Let w = 6070 - o. Is 0.2 < w?
False
Suppose 3*g + 2938 = 5*s, 1616 - 444 = 2*s - 2*g. Are 585 and s equal?
False
Let m = 4131 + -2946. Which is smaller: 1175 or m?
1175
Let v be -12 + 17 - (-5775)/(-1166). Which is bigger: 1 or v?
1
Let g = -692.3 + 703.1. Which is bigger: g or 50?
50
Let i be 1 - (0 - 63/(-12)). Let g be -3 + 12/42 + 374/56. Let o = i + g. Which is smaller: o or -3/8?
-3/8
Let c = -0.1 + 0.3. Let j = -209 - -117. Let g = j + 90. Which is bigger: c or g?
c
Let u be (-3)/((-2948778)/566602394) - 2. Let w = u + -9/54607. Let a = -575 + w. Which is smaller: a or 0?
a
Let o = -522 - -502.95. Let s = 0.95 - o. Which is smaller: -0.1 or s?
-0.1
Let n = -686551143/7496 + 91589. Are 0 and n unequal?
True
Suppose 29*s = -30*s - 45017. Is s greater than -763?
False
Let q = -106 + 105. Let g be (-40685)/(-555)*6/2. Let h = 220 - g. Which is smaller: q or h?
q
Let a(y) = -3*y - 2*y + 164 + 0*y + 4*y + y**2 + y**3. Let u be a(0). Is 164 at most u?
True
Let c = -11121 - -4748665/427. Suppose -2*j + 4*o - 2 = 0, -4*j - j + 2*o = 5. Is c >= j?
True
Let b be -4 - 5/(37245/(-29799)). Which is greater: b or -1?
b
Let j be 3 - (2/1 + -6). Suppose 0 = -j*v - 0*v + 21. Let l be v*2/232*(14 + -10). Is 1 > l?
True
Let s(k) = k**3 + 8*k**2 - 62*k + 27. Let n be s(-13). Let f be 7/6 + -2 + (-22)/n. Is 6/5 < f?
False
Suppose -5*v = -2 - 8, 31 = 5*x - 2*v. Suppose 0 = -3*y - 4*q + 8, 17 = 19*y - 14*y + 3*q. Is x greater than or equal to y?
True
Let t be 39/(585/1410)*6/(-72). Let z be (-122)/18 - (-2)/(-9). Which is smaller: z or t?
t
Let h(y) = 27*y - 313. Let k be h(10). Is -591/14 at most as big as k?
False
Let u(g) = 21*g**2 - 43*g + 12. Let q(t) = -32*t**2 + 64*t - 17. Let m(h) = -5*q(h) - 7*u(h). Let j be m(2). Let i = -19/4 + 77/4. Which is bigger: j or i?
j
Let n = 2240 + -2236. Let m = 11.1 - 2.1. Is n > m?
False
Suppose 0 = -t + 4*h - 5 + 23, 0 = 3*h - 9. Let m be (4/(-5))/((-6)/t*54). Is m not equal to 0?
True
Let n be 2/(-8) + 57/4. Let o = -12135 + 12149. Is n <= o?
True
Let d = 17043 + -36679/2. Does d = -1297?
False
Let o = 144 + -143.8. Let k = -1.45 + 1.45. Which is smaller: k or o?
k
Suppose 0 = 6*z + 3*h - 585, -16*z + 20*z + h = 387. Which is smaller: 779/8 or z?
z
Suppose 3*p + c + 55 = -c, 6 = -3*c. Let l be (0 - -18)*8/24. Let b be (-4 + 2)*((-57)/l)/(-1). Which is smaller: b or p?
b
Let y(x) = -x**3 - 7*x**2 - 4*x - 5. Let t be y(-3). Suppose 0 = 8*s + 64*s + 2448. Which is smaller: t or s?
s
Let k be (-6)/(-2) - (14 - 24255/2184). Which is greater: 1 or k?
1
Let n(p) = 11*p - 33. Let y be n(10). Let u = 77 - y. Suppose -3*x + r + 54 = u, -4*x - 2*r - 23 = -5*x. Do x and 1 have different values?
True
Let b be ((-2)/(-2 + -4) + (-6)/18)/2. Which is greater: -4/3149 or b?
b
Let w = 1602534 + -13124753507/8190. Let d = -1/70 - w. Let m(o) = o**2 - 3*o - 5. Let h be m(4). Is d at least as big as h?
True
Suppose -l - 221*r + 5 = -220*r, 2*l + 3*r = 15. Which is smaller: l or 0.00765?
l
Suppose 74 = 4*y - 0*y + 2*z, 12 = 4*z. Let s(j) = j**3 + 5*j**2 - 2*j + 13. Let u be s(-4). Let k = u - 18. Is y bigger than k?
False
Let f = 0 + -0.025. Let t = -30.025 - f. Let c = 31.7 + t. Which is smaller: -0.2 or c?
-0.2
Let h be (-151183)/(-365) + (-21)/5. Which is greater: h or 418?
418
Let j(r) = r**3 - 9*r**2 - 14*r + 14. Let u be j(12). Suppose 2*y = 6*y - 3*t + u, -5*y - 332 = 4*t. Which is bigger: -66 or y?
-66
Let w = 0.12718 + -0.02