6 - 7.06. Is t equal to -1/64?
False
Let y(d) = -d**3 + 9*d. Let s be y(-3). Suppose 2*t - 8 = h + 133, -5*t - h + 370 = s. Is 73 less than t?
False
Let m = -53975/393 - -412/3. Let c = -7132 - -7133. Do c and m have different values?
True
Let z be ((-212)/(-8))/1*10. Suppose -226 + z = -c. Which is smaller: -38 or c?
c
Let m = 419 + -151. Is m at most as big as 266?
False
Suppose 4*k - 2183 = 9*d + 635, -5*d - 4*k - 1578 = 0. Which is smaller: d or -360?
-360
Let l = 20 + -15. Suppose l*t - 52 + 32 = 0. Let v be (-300)/48 - 2/t. Does v = -6?
False
Let p = -8 + 10. Let c be p/3 - 5/8. Let o = 1362 + -1361. Which is bigger: c or o?
o
Let j be 17 + -15 - 726/10. Let q = j - -3052/45. Is q bigger than -4?
True
Suppose 11*f = -7*f + 4788. Let y = f + -293. Which is smaller: -23 or y?
y
Let n(y) = -y**2 - 5*y - 7. Let u be n(-8). Let x be 2/(-4) + (37216/(-1216) - (-4)/38). Is u smaller than x?
False
Let g = 0.14 + -0.42. Suppose 7*m - 5550 = -1021. Let t = m - 1293/2. Which is greater: g or t?
t
Let l = -457 + 446.48. Let c = -10.4 - l. Is c at most -1/4?
False
Suppose 0 = -0*p - 5*p - 580. Suppose 5*f + 2 + 561 = 3*m, -3*f + 4*m = 329. Is p != f?
True
Let a = -3636 - -69069/19. Let k(h) = -h**2 - 32*h + 227. Let y be k(-38). Which is greater: y or a?
a
Suppose -17*u + 82 = 82. Let a = -192 + 4609/24. Are a and u non-equal?
True
Let k be (-14)/1 - 104/(-8). Is 3/1229 < k?
False
Let r = -4 + 2. Let b = 24295 - 898951/37. Which is smaller: b or r?
r
Let f = -41 + 45. Suppose 3*t = -n - 143, 0 = f*t + 4*n - 2*n + 190. Let g = 50 + t. Which is smaller: g or -5?
-5
Suppose -15 + 9 = -6*c. Let g = -8 - -12. Let f = g - 3.88. Which is bigger: c or f?
c
Let l = -0.937 + -0.153. Let p = 54.1 - 53.06. Let z = p + l. Do z and 6/7 have the same value?
False
Suppose 0 = 4*k - 4, 71*j - 3 = 75*j - 3*k. Which is bigger: 1/807 or j?
1/807
Let v(a) = -a**3 + 7*a**2 + 9*a - 6. Let k be v(8). Suppose -10 = k*m - 3*m. Suppose u - 2*u = -m. Which is greater: u or 13?
13
Let t = -186 - -185. Let s = -7 + 8. Let p be 0 - s/((-26)/(-24)). Are p and t nonequal?
True
Let l be 5/(-2) + 175/50. Let o(z) = 17*z + 10. Let a be o(l). Which is smaller: a or 29?
a
Let p be (40/(-36)*60/50)/(2/672). Is -450 >= p?
False
Let x be 4/(-14) + (2 - 6588/(-21)). Let m = x + -315. Is 0.1 at most as big as m?
True
Let i = -0.3731 + 0.2731. Which is smaller: i or 141.9?
i
Let q be 12/(-2)*(-11)/(-11) + 1293. Which is smaller: q or 1288?
q
Let d = 45 - 30. Let m = 53 - d. Let r = 32.7 - m. Is r not equal to -1?
True
Suppose 6*w + 2*f = 5*f - 4563, 2*w + 5*f + 1503 = 0. Which is smaller: w or -756?
w
Let i be (-3861)/(-594) - 21303/3279. Is 0 less than i?
True
Let q = 292 + -439. Let t = 147 + q. Is t < 1?
True
Let t(z) = -3*z**2 - 58*z - 18. Suppose 2*y = 5*w + 91, -35*w + 34*w = y + 21. Let f be t(w). Is f at least as big as -116?
True
Let y(g) = 4*g**2 + 13*g - 13. Let b be y(1). Let h(v) = 3*v**2 - 3*v - 3. Let i be h(b). Does 33 = i?
True
Let f(u) = 898*u - 5389. Let p be f(6). Is p less than -33/493?
True
Let u be 23/(-4)*(722/(-158) - -5). Let b = 2/79 - u. Which is greater: 0.03 or b?
b
Suppose 17*o - 16*o - 256 = 2*g, -3*o = 2*g - 744. Suppose 0 = 6*d - o - 8. Which is smaller: 133/3 or d?
d
Suppose 129 - 147 = 6*r. Let s be 2725/905 + (r + 4)*-3. Which is greater: -1 or s?
s
Let x = 8 - -136. Suppose x = -19*c - 521. Which is smaller: c or -36?
-36
Let f(k) = -3*k**2 + 55*k - 207. Let r be f(13). Which is greater: -1/597 or r?
r
Let b(u) = -u**2 + 5*u. Let a be (-2)/12*-25 - 9/54. Let w be b(a). Suppose -2*r - 1 = -c - 14, w*c = -5*r - 13. Is -27/4 greater than c?
True
Let a be (-2 + 6 + -8 + 7)/((-186)/(-8680)). Do a and 158 have different values?
True
Let m = -45 + 44. Let l be (3/m)/((-6)/(-10)) - 114. Is l < -119?
False
Let y = -39 + 38.4. Suppose h + 3*j = 27, -h - 2*j + 22 = -0*h. Let u be 3/h - 34/72. Which is smaller: y or u?
y
Let s(x) = 10*x**2 + 21*x - 84. Suppose 0 = 11*f - 7*f - 20. Let m be s(f). Which is greater: 270 or m?
m
Let l be (-343)/147*270/(-21). Does 1 = l?
False
Let n = 117 + -51. Suppose 2*k - 52 = -n. Suppose -8*c - 21 = 27. Which is greater: c or k?
c
Let q be 749/21 + (-2)/3 - 4. Suppose -2*v - 3 = -5*v, -2*n + 87 = 5*v. Let l = n - q. Is 11 < l?
False
Let i = 0.05 - -0.25. Let j = 0.2 - i. Let h = 283 + -285. Is j <= h?
False
Let m(k) = 3*k**3 - 9*k**2 + 32*k + 17. Let o be m(10). Which is smaller: o or 2433?
2433
Let x be ((-4)/138)/((-1246)/(-313369)). Which is greater: x or -8?
x
Let a = 0.44 + 137.56. Let b = a + -138. Which is smaller: b or -5?
-5
Suppose -4*b - 11 = -2*t + 3, -21 = t + 5*b. Let q = 738 + -725.52. Let i = q - 12.92. Is i bigger than t?
True
Let y be (-2)/7 - (-3333)/77. Suppose -3*g = -125 - y. Suppose 0 = a - 5*a - g. Which is bigger: a or -12?
-12
Let q be (-5 + (-435)/(-40) + -1)/((-24)/(-16)). Is q at least -13?
True
Let h be ((-4)/8)/((2/(-28))/1). Let m be 12/h - 2/(-7). Suppose -b + 52 = 5*w - w, -2*w - m*b + 20 = 0. Is 25/2 bigger than w?
False
Let b be (-3 - 0/5) + -1. Let a be (-1)/4*(0 + b). Let u be (1/(-7) + a)/(4/196). Is 41 at most u?
True
Suppose 32*g = -54*g - 5*g + 23205. Suppose -3*h = -2*h - 256. Is g at least as big as h?
False
Let a be 20*(-24)/90*52. Let z = a - -275. Is -1 greater than z?
True
Suppose b = 7*n - 2*n + 804, -2*b = 5*n + 792. Let k be -2 - -2 - 2 - 324/n. Let m = 19 - 20. Is k greater than or equal to m?
True
Let k = 355 - 351. Suppose 4*j - 68 = -3*d, -k*d + 110 = -j - 6. Are 86/3 and d nonequal?
True
Let a = -4451 - -3688. Is -759 not equal to a?
True
Let t = -565 - -552. Are t and 75 nonequal?
True
Let o be 102/(-153) - (-3)/(18/(-50)). Let n(f) = -3*f**2 + 3*f. Let z be n(2). Let g be 53/z + 3/(-18). Are o and g non-equal?
False
Let k = -10876 - -10898. Is k smaller than 760/37?
False
Suppose z = g - 11, 36 + 13 = 3*g + z. Suppose 45*o - 2580 = g*o. Is o at least 87?
False
Let y(l) = 12*l + 44. Let i be y(-6). Let w be (-9)/(-63) + (-1788)/i. Which is greater: 61 or w?
w
Let p = -645.68033 + 0.97033. Let d = p - -642. Which is bigger: 0.1 or d?
0.1
Let r = -1826.6 - -1826.71. Is r <= 1/50?
False
Let v = 217 + -423/2. Let x be -4 + 9 - 0/(-7). Which is smaller: v or x?
x
Suppose 9 = 2*v - 5. Suppose 2*y = v*y + 175. Let l = 65 + y. Which is smaller: -2 or l?
-2
Let i = -106 - -106. Suppose r + 6*w - 13 = w, -2*r + 3*w = i. Let x be ((4 - 3 - 1)*-1)/r. Is 0 > x?
False
Let o = -6 - -4. Let k = -14 - -12. Let x be ((k/27)/2)/((-5)/30). Is o at most x?
True
Let x = 13/1960 + 250139/111720. Is 2 smaller than x?
True
Let k = 6188 + -6188. Let b be ((-12)/(-13) + -2)/2. Which is smaller: k or b?
b
Let f = -0.03 + -8.97. Let h = 8.78 + f. Let z = 235 + -235. Does z = h?
False
Let i be (-40)/12*518/(-111)*(-18)/7. Which is greater: i or -126?
i
Let f(m) = -11*m - 11. Suppose 5*p + h + 8 = 0, -p = -3*h - 4 - 4. Let k be f(p). Do -4/49 and k have different values?
True
Let a be 65/975 + 63484/(-60). Which is bigger: -1059 or a?
a
Let r be -6 - ((1316/552 - 5/2) + -6). Which is bigger: r or 0?
r
Suppose 178 + 38 = -8*c. Let u be (c - -33) + 96/(-11). Which is smaller: -2 or u?
u
Let u be 1*(-2)/2*(-14)/56. Let r = -52 - -25. Let f = 64 + r. Is u < f?
True
Let p = 173 + -89. Let i = 93 - p. Suppose h = -3*b + 11, 5*h + 4*b - i - 2 = 0. Is -5 greater than or equal to h?
False
Let o = -1506173/5 - -302260. Let t = 1016 - o. Let r = t - -233/25. Do r and 1 have the same value?
False
Let l be (-4)/(-8)*(-328)/128. Which is smaller: -2 or l?
-2
Let k(i) = -i**3 + 15*i**2 - 19*i - 109. Let j be k(-4). Is j > 272?
False
Suppose -12296*h + 288 = -12294*h. Which is greater: h or 1016/7?
1016/7
Let k be (21/6 + -5)*(3 + (-3 - -12)). Is k at most 316?
True
Let j = 154265/14 - 11019. Let m be 1/(-3) - 1/(-3). Is m less than or equal to j?
False
Let k = -1363 - -1322. Let t = 35 - -7. Let g = k + t. Which is bigger: g or 50?
50
Suppose -d = -3*y + 8, 4*y = -3*d + 2*d + 13. Is -21/556 greater than or equal to d?
False
Let q = -9421 + -583. Which is smaller: q or -10005?
-10005
Let l be 12/42 - 1/(14/(-1242)). Let x be (-6)/14 - (-1 + (-633)/7). Is x less than l?
False
Suppose -o = -12*o - 14307 - 6527. Do o and -1895 have the same value?
False
Let c = 1/25281 - 25294/328653. Which is smaller: 0.114 or c?
c
Let p