= -5*k**2 - 9*k + 1. Let r be i(t). Is m equal to r?
False
Let m = -100 + 87. Let d = m + 14. Let u be 2 + 0 - ((-54)/d - -3). Are 54 and u equal?
False
Let n(g) = -8*g - 17. Let x be n(-4). Suppose -40 = f - 4*z, 5*z + 0 = -x. Is 0 < f?
False
Let l be (221370/(-81480) - ((-8)/(-28) - 0)) + 3. Which is smaller: 1 or l?
l
Let i = -197.2 - -1098.2. Let l = i - 823.2. Let v = l - -4.2. Is 0.1 <= v?
True
Let a = -2584 - -2664.26. Let c = -81 + a. Let m = 2.54 + c. Which is bigger: 1/4 or m?
m
Let r = 2120 - 1925. Do r and 212 have the same value?
False
Let g(h) = -73*h - 146. Let s be g(-2). Which is bigger: 24/247 or s?
24/247
Let f be -19 - -7 - (-564)/48. Is 203 > f?
True
Let m = 45 + 2. Suppose 9 = 4*d - m. Let w be (-106)/10 - (-16 + d). Which is smaller: w or -8?
w
Let n = -68066/5 + 13615. Suppose 4*x = 2*m + 11 + 5, -5*m - 15 = -5*x. Is n < m?
True
Let c = -1 + -1. Let k = -4 - c. Suppose -942*d + 923*d - 190 = 0. Which is greater: d or k?
k
Suppose 41*s = 73*s - 50*s - 20286. Which is smaller: s or -1132?
-1132
Let j(f) = f**3 - f**2 - 3*f + 3. Let o be j(2). Suppose -3 - 61 = b. Let h = -63 - b. Is h greater than o?
False
Let v be 189/81 + 2/(-10). Which is smaller: 34 or v?
v
Let r = -5.6 + -2.3. Let v = r - -7.6. Is v greater than or equal to -2/33?
False
Suppose -2*m = 4*o - 126, 6*m = 11*m - 5*o - 375. Which is smaller: m or -29?
-29
Let k be 96/(-720)*(-1 + 4) - (-6456)/15. Is 438 less than or equal to k?
False
Let f = 69935/19 - 3681. Is 1/4 smaller than f?
False
Let g be (-1*(-5)/(-2))/(7/(-14)). Let k = 122 - 54. Suppose -4*x - k - 92 = -4*r, g*r = 2*x + 197. Is 38 greater than or equal to r?
False
Let q be (-1)/4 - (-175)/(-4). Let l = q - -29. Let g = -2724 + 2708. Which is smaller: g or l?
g
Let w = -557069/6 + 92338. Let v = w + 506. Let t = -1.7 - 0.3. Is t at most as big as v?
True
Suppose 8*a + 191 = 215. Suppose -5*w + 3 = -a*w - o, 2*w - 21 = -5*o. Which is greater: w or 27/13?
w
Let n = 0.1601 + -0.1361. Is 1/4 greater than n?
True
Let x(t) = 2*t**2 + 41*t - 66. Let n = -634 + 612. Let g be x(n). Which is smaller: -12/97 or g?
-12/97
Let b = 139/78 - 29/26. Which is greater: b or 15?
15
Let g(x) = 3*x**2 - 9*x - 4. Let n(f) = -f**3 + 5*f**2 + 2*f - 6. Let c be (-4)/14 - 296/(-56). Let k be n(c). Let w be g(k). Which is greater: w or 2?
w
Let g = 1025 - -418. Is 1445 != g?
True
Let i = -1459 + 969. Let k be 57/1*i/(-147). Is k at most as big as 190?
True
Suppose 5*k - 22 = -5*n - 27, -3*n - 5*k = -5. Suppose -2*x - o = 2*x + 22, o + 17 = -3*x. Is x > n?
False
Let i = -1.228 - 66.872. Let g = -48.1 - i. Which is bigger: -7 or g?
g
Suppose -2*a - 14 = x + 2*a, 28 = 3*x - 2*a. Suppose -x*i + 858 = -17*i. Suppose 5*u - 6*u - 78 = 0. Do i and u have the same value?
True
Let i(p) = -2*p**2 + 33*p + 17. Let l be i(14). Let h = l + -349/4. Do h and 45 have the same value?
False
Suppose 27*x - 164*x = 22920 - 452. Which is smaller: -3746/23 or x?
x
Let n(i) = i**3 + 5*i**2 - 6*i - 2. Let z be n(-5). Let h = 1157 + -1126. Is z equal to h?
False
Let a(z) = -z**2 + 118*z - 1958. Let q be a(98). Which is smaller: q or 48/83?
48/83
Suppose 44 - 65 = -7*b. Suppose -b*f = -o - 10, 4*o + 6 = -5*f - 0. Which is greater: 2 or o?
2
Suppose 16 = 2*g + 2*k, 5*k - 15 = -2*g + 13. Suppose -4*x - g*x = -624. Suppose -m = 3, -2*y + 7*y - m - x = 0. Which is bigger: 13 or y?
y
Let u = 296302636/341 + -868922. Which is smaller: u or 1?
u
Let n = 399 + -395. Suppose n*m = b + 23, -m = 5*b - 13 - 19. Which is smaller: 72/11 or m?
72/11
Let y be 21/(-6)*(-438)/(-1533). Is y less than or equal to -2/11829?
True
Let v = -7 + -28. Let d = v - -43. Let w = 10 - d. Is 0.02 smaller than w?
True
Let d(w) = w**3 - 8*w + 7. Let v be d(1). Let h = -7 - -10. Let b be (-5)/(-18) + h/(-6). Is v smaller than b?
False
Let o(l) = l**3 - 6*l**2 + 35*l - 15. Let k be o(6). Let f = -195 + k. Let z = -468/493 + 19/29. Which is bigger: z or f?
f
Let z = -77/163 + 111139/240099. Which is bigger: 1 or z?
1
Let j be 14 + 1750/(-110) + 0 + (-2)/22. Let o = 2.9 + 28.1. Let x = o + -32.7. Which is bigger: j or x?
x
Let o = 3/269 + 11020/807. Let q = o - 13. Which is bigger: 0.02 or q?
q
Suppose 44382 - 128022 = -40*b. Which is bigger: 2092 or b?
2092
Suppose 5299 + 3601 = -20*j. Let l = 674 + j. Is l smaller than -1/2?
False
Suppose 40*j + 156761 = 39321. Which is bigger: j or -2937?
j
Let a(y) = 65*y - 26. Let u be a(2). Suppose -u + 255 = w. Suppose -20 - w = -2*q + d, 4*d + 259 = 3*q. Is q >= 85?
True
Suppose -5*h - 5*r - 3165 = 0, 4*r + 493 = 2*h + 1753. Are h and -632 nonequal?
False
Suppose 4*c = 3*x + x + 64, -x - 20 = c. Let v(n) = n**2 + 22*n + 73. Let w be v(x). Which is greater: -1/80 or w?
w
Let q be 338/5 - 18/(-60)*-2. Let a = 71 - q. Let y be 4/(-14) + -7 + 3 + a. Is 1/5 != y?
True
Let c = -129/61 - -14793/6649. Let b = -2872/1635 - c. Is -3 >= b?
False
Suppose -4*l - 2*h = -12, 5*l + 18*h - 16*h = 16. Which is greater: 507 or l?
507
Let r(i) = -i**3 - 7*i**2 + 18*i + 7. Let f be r(-9). Suppose -2*j + f = -1. Let g be (3/j)/(7/(-112)). Which is greater: -13 or g?
g
Suppose -5*u = 2359 - 64. Let m be (8/(-10))/(u/(-465) + -1). Does 62 = m?
True
Let t = -545 - -552. Suppose -15*s + 23 = -t. Which is smaller: 3 or s?
s
Suppose -2*u = -177 + 185. Let k(h) be the third derivative of -h**5/60 - h**4/8 + h**3/2 - 4*h**2. Let i be k(u). Which is smaller: -2/119 or i?
i
Let o be 10/(-1*2/2). Let i = -2 - o. Let m be ((-7)/((-98)/6))/((-6)/i). Is 1 less than or equal to m?
False
Let v = 3628/189033 - 2/1703. Is v equal to -1?
False
Let d = -62 - -39. Suppose -3*h + 206 = 4*i - h, 2*h - 98 = -2*i. Let g be 74/(-3) + -6*(-6)/i. Do g and d have different values?
True
Let y = 133 + -135. Suppose -869 = -6*j + 1651. Let n be j/(-5) + y + 2. Which is greater: n or -83?
-83
Let z = -22.91 + 23. Let q = -37 - -37.1. Let b = q - z. Are b and -6 nonequal?
True
Suppose -4*z - 16 = -0*z. Let a be (-117)/385 + z/(-14). Suppose -121*v - 172*v + 169 = -124. Which is greater: v or a?
v
Let g = -512.8 + 377. Let k = 136 + g. Let c = -0.09 + 8.09. Which is bigger: c or k?
c
Let t = -1221763/109 + 11209. Which is bigger: -0.09 or t?
t
Let g = 39128 + -52544. Which is bigger: g or -13417?
g
Let s(a) = 45*a**3 + 15*a**2 - 109*a - 5. Let q be s(6). Is q greater than 9601?
False
Let j(a) = -62*a**2 + 21*a - 111. Let q be j(3). Let w(s) = -606*s**2 + 2*s - 1. Let k be w(1). Which is smaller: k or q?
q
Let q = -5918 - -5918.392. Is q != -13?
True
Suppose -17*a - 87 - 3908 = -64*a. Suppose -7*h - 420 = -12*h. Is h at most as big as a?
True
Let u be (186/130)/((-54)/45). Which is smaller: -1 or u?
u
Suppose 179 = 4*k - 761. Suppose -237*h = -k*h + 2. Which is smaller: h or -14/33?
h
Let y be (-6)/((-30)/25) + (-9)/9. Let g be (-1)/((-1)/y)*1/(-2). Let q = 0.34 - -23.66. Is q at most g?
False
Let v be -2 + ((-6)/(-2))/3. Let k be 18/(-10)*100/30. Let s be ((-492)/33784)/(-2*k/16). Which is greater: v or s?
s
Let p = -2.478506 + -0.021494. Let v = 5.91 + -6. Are p and v non-equal?
True
Suppose -404*l = 29*l - 13*l - 420. Let x = 1887 + -145296/77. Which is bigger: l or x?
l
Let w be (-160825)/(-375) - (0 - (-2)/(-15)). Suppose -2*j + w = -2*l - 4757, -2*j - 7774 = 3*l. Let v = -33732/13 - l. Which is bigger: -4 or v?
v
Suppose 14*u + 23 + 27 = 8. Let n = -1/672 - -359/15456. Is u bigger than n?
False
Suppose -4*u - 23 = 9. Let b(w) = -w**2 - 11*w. Let v be b(-11). Suppose 3*z - 21 = 4*q - 3*q, -2*z + 10 = v. Is u equal to q?
False
Let v(s) = -37*s**2 + s - 2. Let h be v(2). Let w = 14965 + -14967. Is w <= h?
False
Suppose 4*y + 3 = -5. Let t be (y/3)/(18/1107). Which is bigger: -39 or t?
-39
Let v(q) = -142*q**2 - 15*q + 7. Let z be v(1). Is z greater than 21?
False
Let u = -10 + 7. Let t be (-26)/(-13) + 84/2. Suppose 39*c = t*c. Which is bigger: u or c?
c
Let w = -2661 + 5180. Let c = 7777/3 - w. Which is greater: c or 73?
c
Suppose -5*m + 8 = 3. Let r be -2 + 26991/(-4674) + 7. Let n = -35/41 - r. Which is bigger: m or n?
m
Suppose -2*k = c - 33, 0*c - 2*k = -c + 21. Suppose -4*m = -8*f + 13*f - 112, -m = f - c. Let v be (-4)/5*110/(-4). Which is greater: v or m?
m
Let d(b) = 4*b**2 + 116*b - 245. Let v be d(-31). Which is smaller: 1/2337 or v?
1/2337
Suppose 5*p - 16 = -s + 6, 14 = 2*s - 5*p.