be (-15)/(-1) + (-9)/a. Do 12 and w have different values?
False
Suppose -k + 2*w = 5, 2*k + 3*w + 49 = 4. Suppose 0 = 4*d, -4*r + 3*d - 65 = r. Let u be r/20 + (-1)/(-4). Is u >= k?
True
Let f = 12.7 - 13.99. Let s = f + 12.79. Let c = s + -40.5. Is 2/5 less than c?
False
Let v(f) = 23*f**2 + 3*f + 5. Let h(k) = k**3 + 3*k**2 - 6*k - 10. Let i be h(-4). Let z be v(i). Suppose -6*a + z = a. Which is smaller: 15 or a?
a
Let x be (-2)/5 - 128/(-20). Let f be (-112)/252*(-2 - 17/2). Is x > f?
True
Let g be (20/8)/((-5)/(-2)). Let p be (-1 + -6 + 8)*(-2 + g). Which is greater: p or 1/19?
1/19
Suppose -3*h + y = -1417 - 98, 0 = 2*h + y - 1000. Are 504 and h unequal?
True
Let o = 133 + -135.62. Let h = -2.71 - o. Which is bigger: 0.05 or h?
0.05
Let m = 790.19 - 31.19. Are m and 3/2 nonequal?
True
Let d = -0.06158 - -0.06158. Is d greater than or equal to 3312?
False
Let s = -525 + 522.18. Let d = s - -2.83. Which is greater: d or -0.2?
d
Suppose -2*s - 15*u = -13*u - 50, 2*u + 4 = 0. Let x be ((-2)/s)/((-36)/(-3456)). Is x > -6?
False
Suppose -12 = c - 5*o, c - 10*o = -13*o - 4. Which is smaller: -199/27 or c?
-199/27
Let n = 9664/3 + -48338/15. Is 343/6 <= n?
False
Suppose t - 3*t + 5*f = -6, -4*f = 3*t - 32. Let v be 362/6 - t/24. Suppose 5*d - v = 3*x + 55, -2*d + 5*x = -46. Is d at least 22?
True
Suppose 2*v - 9 = 17. Let w = 13575 - 13569. Which is smaller: w or v?
w
Suppose 4*g = -4*t + 48, -34*t + 32*t - 20*g + 276 = 0. Let q be (-2)/4 - 21/150. Does q = t?
False
Let t be (-30)/(-3)*((-144)/30 - -5). Suppose t*k + 4*q - 4 = 0, 6 = -k - 0*q + 2*q. Is k less than or equal to -17/20?
True
Let n = 0.0079 + 11.3921. Let a = n - 11.6. Is -4.5 at least a?
False
Let v be (-2)/25 - (-130)/1625. Is v > 1/861?
False
Let c be 3/9*10 + 6/(-18). Suppose -c*n = -3*y + 330, -5 = -4*n + 15. Is y <= 118?
True
Let h = -373/3034 + 5/37. Let y = 20163 + -20164. Are y and h equal?
False
Let s = 1342 + -1696. Is s != -357?
True
Let z = -19036 + 19042. Is z < -35?
False
Let t = 424285/1538334 + -116/421. Does 1 = t?
False
Let h = 5695 - 5696. Is h at least -3277?
True
Let r = -4 - -3.35. Let i = -3787.85 + 3789. Let g = r + i. Is g at least 0?
True
Let q(n) = -3*n**3 - 4*n**2 - 3*n - 1. Let m be q(-2). Suppose -m*f - 265 = -8*f. Let r = f - -54. Which is greater: 2/257 or r?
r
Let p = 8133 - 8128. Which is smaller: 314/49 or p?
p
Suppose 45 = 5*d + 5*q, -3 = 2*d - 4*q - 9. Let p be (2/3)/(d/(-21) - -3). Is -8 equal to p?
False
Let y = 58 + -24. Let w be (-4)/(-12)*(-2)/y. Suppose -u = 3*u + 4. Is w at most u?
False
Let d(x) = -2*x**3 - 21*x**2 - 56*x - 7. Let g be d(-6). Let b be (4/18)/((-20)/(-375)). Are b and g equal?
False
Let n be (1/(-1252))/(-19 + 33618/1768). Is 0 greater than n?
True
Suppose 0 = -3*x - 7*x + 810. Suppose 0 = 9*d - 225 + x. Is d at least 15?
True
Let u(r) = -r**2 - 6*r - 16. Let o be u(-11). Let w be -1*-15*o/3. Let a be w/20 + 5 + 2/(-8). Is a at most as big as -1?
True
Let g = 1.882 + 0.108. Let w = g - 1.29. Which is greater: w or 2/5?
w
Let v = -25777 - -25772. Which is greater: 0.0147 or v?
0.0147
Let n be (-13265)/(-30) + 14 + 170/(-12). Which is smaller: n or 2208/5?
2208/5
Let f be (-11)/((-1 + -8)/(-306)). Is -362 > f?
True
Suppose 5*o - 749 = -3*i, -2*o - 46*i = -41*i - 330. Is o <= 1/51?
False
Let q be 593*(6479/323 - 20). Is q at most as big as 34?
False
Let t be (292/16)/1 + -6. Let j = 13 - t. Which is bigger: j or 1?
1
Let c be (72/32)/((-3)/8). Let t be (c/(-12))/(10/244). Let z = t - 181/15. Which is bigger: -1 or z?
z
Suppose 5*m = -12 + 82. Let f = 22 + -27. Let k(d) = -d**3 - 5*d**2 - 6*d - 14. Let b be k(f). Are b and m equal?
False
Let q = 0.2086 + 0.7914. Which is greater: -486 or q?
q
Let q be 284/8 + 4*(-10)/(-80). Is q at most as big as 35?
False
Let o = -96 + 92. Let m be o/((-96)/(-9))*(-22)/(-33). Is m less than or equal to 0.075?
True
Let x(m) = 2*m - 3. Suppose -2 = -0*w - 2*w, w = l. Let t be x(l). Let q = 823 + -32095/39. Which is greater: q or t?
q
Suppose 4*l + s = 17, 6*l + 2*s - 1 = 9*l. Suppose -2*c + l*c = a - 5, 0 = 3*c + a - 5. Which is greater: 10/19 or c?
10/19
Let u(r) = -r**2 - 2*r - 1. Let x(q) = 8*q**2 + 29*q - 2. Let z(m) = -5*u(m) - x(m). Let f be z(-8). Let g be 2 + (-21)/f + -2. Do 2 and g have the same value?
False
Suppose -826*g = -842*g. Let k be (-2)/(-6) + (-2)/6. Suppose k = 2*w - w + 2. Which is smaller: w or g?
w
Let t = 5655 - 5655. Which is smaller: t or 20?
t
Let l be (3/(-9) - (-2660)/(-228))/(9/13242). Is -17656 not equal to l?
False
Suppose 0 = -30*a + 37*a - 455. Suppose -13*s - a = 78. Which is greater: -13 or s?
s
Let x be ((-264)/(-54))/(4/(-42)). Let i = x - -52. Let y = 24 + -21. Which is smaller: y or i?
i
Let z be 4/14 - 10/(-14). Let c = -191380 - -191357. Which is bigger: c or z?
z
Let w = 44.6 + 2.4. Let v = 61.7 + -12.7. Let l = w - v. Does l = -2?
True
Suppose 0*h + n = 4*h + 19, 4*h + n + 21 = 0. Let r be (2/((-40)/(-38132)))/h. Let u = -381 - r. Which is smaller: 1 or u?
u
Suppose 5*o - 7 = -2*j, 12*j = 8*j - 5*o + 9. Which is smaller: j or 8/779?
8/779
Let p = -0.0261 + 40.0261. Let m = -183/2 - -92. Is p < m?
False
Let d(g) = -2*g**3 - 77*g**2 - 627*g + 108. Let h be d(-12). Let o = -7 + 11. Is h <= o?
True
Let z = 32.121 - 0.121. Let k be (-23)/15 + 4/20. Is k smaller than z?
True
Let u = -2.1 - -2. Let p = 1.3284 - 6.1284. Is u at least as big as p?
True
Let d = -0.506 - -0.204. Let a = -3.48397 - -3.48397. Which is bigger: a or d?
a
Let r(h) = 4*h + 30. Let c be r(0). Let m(n) be the first derivative of 7*n**3/3 - n**2 + 6*n + 6. Let j be m(2). Is j less than c?
False
Let b(r) = -195*r - 22. Let s be b(3). Let o = s - -5465/9. Which is smaller: o or -0.069?
-0.069
Let o be ((-3)/(-6) - (-4 - -12))*-4. Which is smaller: 28 or o?
28
Suppose 10*z + 4 = 24. Suppose 45*n = 40*n. Suppose n = z*j + 51 - 9. Which is greater: j or -20?
-20
Let z(i) = -579*i - 1157. Let r be z(-2). Which is greater: 3/116 or r?
r
Let b(t) = -5*t**3 - 3*t**2 - 3*t + 25. Let k be b(3). Let p = -579/4 - k. Let s = 17 - 29. Which is smaller: p or s?
s
Let w(y) = -2*y**2 - 219*y + 172. Let z be w(-111). Which is smaller: -130 or z?
z
Let g(t) = -8*t + 96. Let r be 5/(603/(-108) + 6). Let f be g(r). Do -2/317 and f have the same value?
False
Let w = 77.1 + -77. Let b(s) = -25*s**2 - 2*s + 7. Let o be b(-2). Is o at most as big as w?
True
Let t(m) = -2*m**3 - 15*m**2 + 21*m + 67. Let q be t(-12). Is q at most as big as 1111?
True
Suppose g + 6 = -2. Suppose -6*z = 6*z - 36. Suppose 16*y = -z*y + 19. Which is smaller: y or g?
g
Suppose 49*v + 950 = 11*v. Let i(u) = -u**3 - 26*u**2 - 39*u + 51. Let y be i(v). Is 399 greater than or equal to y?
False
Suppose 0*k + k = 6. Let m = 40697/10 - 8125/2. Is m at most k?
False
Let u = -16 + 13. Let z be 21*3/(-27 - 0). Which is bigger: z or u?
z
Let k be 0/(0 - (-12)/(-16)*4). Let c = -1033/275 - -78/25. Is c <= k?
True
Let f be (-578)/4 + (-6)/(-4). Let g = 731 + -873. Which is greater: g or f?
g
Let w = -1/251609 - -31199951/109449915. Which is greater: w or 1?
1
Suppose h + 1443 = -5*n, 0 = -153*n + 150*n - 5*h - 879. Is -276 at most as big as n?
False
Let w = -7547/33370 - -7/470. Which is greater: w or 1?
1
Suppose 291*m = 300*m + 9. Let b be -15*m/6 + -3. Is b less than 21?
True
Let g(j) = 6*j**3 - 3*j**2 + 2. Let y be g(-2). Let d be (y/20)/(2/5). Let z be (-12)/((3/14)/((-30)/(-210))). Which is smaller: z or d?
z
Let d be (-100788)/(-88)*1/260. Let h = d - 9/440. Which is smaller: h or 5?
h
Suppose -5*d - c = 0, 0*d + d - 5*c = 0. Suppose -6 = -6*o - 12. Let j be (o + 3 + 4)/(90/(-4)). Do j and d have the same value?
False
Suppose 278 + 268 = 14*x. Which is smaller: x or 425/11?
425/11
Let b = -436299/32 + 109299/8. Let c = -28 + b. Let u(t) = t**2 + 4*t. Let w be u(-4). Which is greater: c or w?
c
Let k be -1 - 2/((-2)/11). Suppose -5*t - x = -30, 0 = 5*t - 2*t + 4*x - 35. Suppose -t*o = -2*s, 0*o + 2 = -s + 3*o. Is s at least k?
True
Suppose 0 = 4*v - 0*v - 40. Let g be (v/(-4) + 2)/((-2)/36). Let t = -8 + 16. Are t and g nonequal?
True
Suppose -53*s - 19764 = -65*s. Let a be (12/5)/((-2)/(-15)). Let p be s/a*6/(-9). Is -60 <= p?
False
Suppose -213*s - 11755 - 2455 = 487. Which is greater: s or -64?
-64
Let a(r) = -11*r**3 + 6*r**2 - 6*