t be 7/(-6) + (-73)/(-438). Which is smaller: -5/81 or t?
t
Let f = -0.25 + 0.18. Let y = 0.17 + f. Let c = y + -1.1. Are 2/5 and c unequal?
True
Suppose -3*v = 3*p - 2922780, -1 = p + 3. Let w = -679061773/697 + v. Let c = 9/41 - w. Is 1/2 less than c?
False
Let t(z) = 3*z + 28. Let p(h) = 3*h + 27. Let a(l) = 6*p(l) - 5*t(l). Let j be a(-7). Is j smaller than -3/10?
False
Let h be (52 + -1)*14056/420. Let r = h - 844864/495. Which is smaller: r or 1?
r
Let m be 8/15*9/12. Is m not equal to 0.4?
False
Suppose 0 = -11*u + 1513 + 544. Which is smaller: u or 188?
u
Let b(j) = j**2 + 6*j + 9. Let m be b(-5). Suppose m*p - 2*p = 10. Suppose k = 5*s, 5*s = s + p*k. Which is greater: s or -6/13?
s
Let k be (((-108)/8)/(-27))/(2/424). Is k less than or equal to 1170/11?
True
Suppose -10*a + 21*a = -22. Let y(l) = -l - 6. Let f be y(-5). Let t be (f/(-1))/2*-4. Are a and t unequal?
False
Let d be (3 - -10)*(-1 + 2). Suppose -11*v + d*v = 528. Let n = 3426/13 - v. Is n < 0?
True
Suppose 21*i + 4 = 25*i. Let d(v) = -1 + v + 2*v - v. Let x be d(i). Are x and 1 equal?
True
Suppose 672 - 680 = -8*c. Which is smaller: -17.7 or c?
-17.7
Suppose 11*j - 743 + 105 = 0. Is 58 equal to j?
True
Let b(m) = m**2 + 8*m - 12. Let y be b(-10). Suppose -2*x + 3*x = -y. Which is greater: -10 or x?
x
Let c be (-165330)/(-400) - (-1)/(-8). Let x = -415 + c. Which is smaller: x or -2?
-2
Let v = -207 - -3107/15. Suppose -4 - 2 = t. Let m be 1/15 - 2/t. Which is smaller: v or m?
v
Let y be 2*1/(1/68*4). Let k = 94 - 60. Is k smaller than y?
False
Suppose 0 = -4*p + 4*u + 4228, 5*p + 27*u - 31*u = 5290. Are 1061 and p non-equal?
True
Suppose -9*x + 36 = -3*x. Suppose -12*v = -x*v. Let a be v/(-1) - (-12)/(-6). Do -1 and a have different values?
True
Let s be 2282/(-49) + -7 - 0. Is s at most as big as -53?
True
Let a(h) = h**2 + 3*h. Let m be a(-2). Let g be (-2)/7 + (-5)/7. Let c be g*3/(4 - 1). Which is greater: c or m?
c
Suppose 7*o - 39 = -18. Let v = 20.06 - 0.06. Is v less than o?
False
Let q = -575.03 - -575. Which is bigger: q or 10/7?
10/7
Let f = 2149 - 8697/4. Which is smaller: f or -26?
-26
Suppose 0 = -s - 37 + 51. Let a be ((-60)/(-8540))/((-4)/s). Do a and 1 have different values?
True
Let c = 999 - 995. Is c less than or equal to 58/13?
True
Let o = -83.3 + 80. Let u = -3.1 - o. Let w = -1 + 0. Which is smaller: u or w?
w
Let w = -30 - -32. Let p be w/(-7) - 20/(-21). Let m = -3 - -2.94. Which is smaller: p or m?
m
Let t = -8 + 14. Let k(i) = i + 4. Let r = 1 + 1. Let d be k(r). Is d less than or equal to t?
True
Let g = -2857/257279 + -4/1231. Which is bigger: g or 0?
0
Suppose -4*x + 10 = 2. Suppose x*j - 5*o + 13 = 0, 2*o - 3 = j + 2*j. Let i = 11 + -9. Which is smaller: j or i?
j
Let z(q) = -5*q + 31. Let p be z(6). Which is smaller: 1/89 or p?
1/89
Suppose -10*j = -7843 - 1337. Is 919 greater than or equal to j?
True
Let t = -126.013 - -0.013. Is t at least -2?
False
Suppose -5*i + j = -881, 13*i - 9*i + 5*j = 699. Is 176 smaller than i?
False
Let h = -9805 - -813761/83. Is -2 < h?
True
Let t(a) = -2*a**2 + 20*a - 67. Let x be t(5). Let o(l) = -l**2 + l - 19. Let y be o(0). Which is greater: y or x?
x
Let s = -122 + 285. Which is smaller: 162 or s?
162
Let d(j) be the first derivative of 8 + 0*j + 1/3*j**3 + 0*j**2. Let y be d(0). Which is greater: y or -6/5?
y
Let a = 921 + -17509/19. Let f = -8/19 - a. Which is smaller: 0.2 or f?
f
Let y = 146 + -137. Which is smaller: y or 6?
6
Suppose 2*t = 782 - 772. Let u = 15 + -34. Let h = -13 - u. Which is smaller: t or h?
t
Let y(s) = -11*s + 21. Let u be y(2). Let q be -3*(-4 + u)/15. Which is smaller: q or -2/145?
-2/145
Let c = -0.9 + 1. Let s(m) = m**2 + 19*m. Let z be s(0). Which is bigger: c or z?
c
Suppose -3*j - 5*b = -71, 2*j - 3*b = -2*j + 85. Which is bigger: 0.3 or j?
j
Let t be (-2 + 2)/(-1 - 0). Let g be 1 - 6 - 1196/(-236). Does g = t?
False
Suppose 103 = -3*u + 112. Is -0.069 greater than u?
False
Let j = -571 - -761. Which is bigger: 187 or j?
j
Let h(s) = -3*s**2 - 2*s**3 + 4*s + s**3 + 8 - 2*s**2. Let z be h(-6). Is 19 less than z?
True
Suppose 3*d + 0 = -y + 14, 3*d = 2*y + 17. Let n = -10/13 - -153/182. Which is smaller: n or y?
y
Suppose -c = -10*c + 207. Let k = 114/5 - c. Which is smaller: k or 2/7?
k
Let i = 2.3 + 1.7. Let v = i + -7.6. Which is bigger: v or 0?
0
Let s = -6/7 + 103/112. Let x(t) be the first derivative of t**2/2 - 7*t - 14. Let d be x(8). Is s bigger than d?
False
Suppose 4*v + 92 + 78 = 3*n, 2*n + 2*v = 90. Let g = -55 + n. Let r = -0.2 + 0.3. Which is smaller: r or g?
g
Let x be (1/(1869/(-6)))/(8/(-14)). Which is greater: 0 or x?
x
Let j(m) = m**3 + 11*m**2 - 21*m + 269. Let w be j(-16). Is -676 at least w?
False
Let k(h) = -h**3 - 4*h**2 - 2*h - 5. Suppose 3*l = -5*j - 20, -5*j - 13 - 7 = l. Let m be k(j). Suppose -2*d - 2*g = 16, -m*d + 4*g - 14 = 3. Does -7 = d?
True
Let s be 2/5 + (-44)/110. Is s greater than or equal to -2/169?
True
Let d = -40 - -11. Let x = -9 - d. Do x and 0 have the same value?
False
Let w = -90 + 78. Let z = 9 + -3. Let b be 9/z*32/w. Is b at most -1?
True
Suppose -20*i + 22*i = 0. Is -1/289 at least i?
False
Let r(g) = 2*g + 1. Let w be r(1). Suppose 0 = -w*u - 3. Let v(z) = -z**3 - 2*z**2 + 1. Let y be v(u). Do y and -2 have the same value?
False
Let t = -299 + 293. Which is greater: -7 or t?
t
Let w be (1/(-2)*0)/(-1). Suppose -14 = -4*z + i, w*z + 4*i + 11 = z. Let g be 7/(-126)*z/(-4). Are 1 and g nonequal?
True
Let i be (4 + -3)/(1/(-11)). Let u = -15 + 27. Let q = i + u. Is -1/5 < q?
True
Let a(z) be the first derivative of z**3/3 - 2*z**2 - 5*z - 11. Let l be a(5). Which is bigger: 1 or l?
1
Suppose -4*q - 4 = -2*a, 0 = -6*q + q + 2*a - 5. Does q = -1/52?
False
Let m = -25822 + 61043207/2364. Is -1 >= m?
False
Let u = 33 - -22. Which is greater: 57 or u?
57
Let f = 84.9875 - -0.0125. Is -2 bigger than f?
False
Suppose 0 = 11*k - 14 - 41. Suppose -4*i + k = -3*t, -5*t + 2*i + 3 = -12. Which is greater: 8 or t?
8
Let v = -224 - -237. Which is smaller: v or 18?
v
Let y = 0 + 2. Suppose 0 = -y*m - 3*m. Let c = 14 + -57/4. Is m at least c?
True
Let b = 0.14 - 6.14. Let x = -6 - b. Let m = -92 + 90. Is x greater than or equal to m?
True
Let h = 278 + -207. Which is bigger: 2 or h?
h
Let u = -344.418 - -344. Let a = u - -0.018. Which is greater: a or 0?
0
Let l = 157 - 107. Let f = 75 - l. Let r = -20 + f. Is r less than 6?
True
Suppose -s - 5 = 41. Let p = -41 - s. Is 44/9 at most p?
True
Let l be 44/33 - (877/3 + 0). Which is smaller: l or -293?
-293
Let g(r) = -r**2 - 21*r - 19. Let v(y) = -11*y - 9. Let d(b) = 2*g(b) - 5*v(b). Let k be d(7). Is 1/91 != k?
True
Let l = 41.2969 - -0.0031. Let r = -41 + l. Are r and 0.06 non-equal?
True
Let a = 0 + 0.2. Suppose c + 4*c = 5*g + 40, -4*g - 5 = 5*c. Let p be 10 + (c - 4) + -3. Which is smaller: p or a?
a
Let n = 134 - 110.1. Let j = -26 + n. Let d = j - -15.1. Which is bigger: d or 2?
d
Let p = -1123 - -1089. Let t be (-1)/2 + (-6)/(-4). Which is smaller: t or p?
p
Let g(d) = -64*d**2 + 320*d + 1. Let q be g(5). Which is smaller: 2/1215 or q?
2/1215
Let a(o) = o + 15. Let q be a(-6). Let b = 0 - -0.1. Let f = b - 0.1. Is q < f?
False
Let l = 1608 + -1603. Suppose 2*a - 4*a = 0. Suppose 2*o + 1 - 13 = a. Are l and o equal?
False
Suppose -32*k + 537 = 25. Let t = -0.1 - -0.2. Does k = t?
False
Suppose 2*o - 10 - 8 = 0. Let i be (3/(-2) + 2)/(8 - (-5 - -11)). Is o greater than or equal to i?
True
Let v = 10 - 10. Let t be 0 + 6/(0 - 1). Let c be t/(-88)*(-2)/(-3). Which is greater: v or c?
c
Let l be (-2 + 3)/(4/28). Let p = 12.8 + -15. Let f = 1.2 + p. Which is smaller: l or f?
f
Let n(z) = 23*z - 277. Let p be n(12). Is p at most as big as -2/77?
True
Let u = 252 - 235. Do u and 73/4 have different values?
True
Let w(a) be the second derivative of -a**4/12 - 7*a**3/6 + 5*a**2/2 - a. Suppose 3*n = -5*z - 11, z = 4*n - 0*n + 30. Let r be w(n). Is r >= 5?
True
Let l = -4.447 + 4.69. Are 2 and l unequal?
True
Let t = 0.02 - 0.01. Let y = t + -1.01. Let q = 1.041 - 0.641. Which is greater: y or q?
q
Let i = -2/1381 + -16550/15191. Do -1/6 and i have different values?
True
Let d = 10.3 + -11. Let h(c) = -101*c - 5148. Let s be h(-51). Which is smaller: s or d?
d
Let m = 2517 - 12524/5. Are 11 a