9
Let n be (-30)/4*((-10)/(-3))/(-5). Suppose 4*h - 4*o = h + 19, 2*h + n*o = -18. Let s be (-4 + 8 - 5)*h. Is s <= 2/13?
True
Let k be (-1)/(-5) + (-15610)/175. Let a = -153 - k. Which is bigger: a or 2?
2
Let s be 5 + (412/(-12) - 7). Is -36 less than or equal to s?
False
Let l(i) = 70*i - 491. Let b be l(7). Which is smaller: 42/191 or b?
b
Let f = -20.4 + 219.4. Let x = -199 + f. Which is smaller: -14 or x?
-14
Let g(i) = 6*i + 3. Let x be g(3). Let f be 4/(-14) - (-279)/x. Let h be 1184/112 - (-60)/42. Which is smaller: h or f?
h
Suppose 276 = -771*y + 783*y. Is 131/6 greater than y?
False
Let h(p) = -p + 3*p - 2*p - 122 + 33 + 6*p. Let n be h(15). Which is smaller: 43 or n?
n
Let t(w) = -2*w - 114. Let r be t(22). Let h be -2 + -1 + r/14. Which is smaller: -15 or h?
-15
Let j be (58/87)/((-2)/3). Are 2/9849 and j equal?
False
Let t be (-4)/1 + (-1)/(13/(-52)). Let r(d) = -d**3 - d**2 + 6. Let p be r(0). Let n be p/(-71)*4/8. Which is bigger: t or n?
t
Let o = -112 + 114. Suppose 0 = -4*u + 3*g - 493, o*u - 5*g = -3*u - 610. Are -128 and u equal?
False
Let x = 5528 + -5399. Is -1/3 at most as big as x?
True
Suppose -5*s - 35 = 5*y, s + 21 = -3*y - 2. Let o be 159 - (-6 + 1)*24/20. Let f be o/(-26) + 72/(-468). Which is bigger: y or f?
f
Let l be 13/91 + (1040/168 - 6). Is -1716 bigger than l?
False
Suppose 2*k + k = -90. Let j(b) = 26*b - 393. Let p be j(14). Is p at most k?
False
Let r = -237 - -242. Let d be r/1 - (-22)/(-5). Is d smaller than 12/5?
True
Suppose 0 = 4*b - 3*l + 8894, -2*b + 4*l + 268 = 4720. Which is smaller: -2218 or b?
b
Let o = 0.54842 + 0.09458. Is o bigger than 1.1?
False
Let s be (-8)/6 + (-112)/(-84). Suppose 0*c - 4*z - 26 = -3*c, 5*c + 3*z + 5 = s. Are -6 and c equal?
False
Let y = 5986 + -4274. Is y less than or equal to 1712?
True
Let t be (-1)/(82/(-51246)) + 50/1025. Do 626 and t have different values?
True
Let n be (18*(-9)/84 - -2)*-36. Let g(v) = -v**2 - 4. Suppose -h + 0*h = 0. Let q be g(h). Which is smaller: n or q?
q
Suppose d = -3*j + 4*d, -5*j - 3*d - 24 = 0. Is j at least as big as 0.0189?
False
Let r(o) = 28*o**2 + 3*o + 7. Let f = -129 + 127. Let z be r(f). Let j = -105 + z. Which is smaller: j or 6?
6
Let r = 91 - 83. Let d be r/48 + (-172)/24. Is d != -16?
True
Suppose -5*w = 2*p + 20, 3*p - 16 = 17*w - 13*w. Which is smaller: p or 23/149?
p
Let x be -8 + 1575/(-18) - (-6 + (-13)/(-2)). Is 23 smaller than x?
False
Suppose -67 = 23*s + 186. Suppose -5*l + 27 = 4*f, -4*f + 2*l + 2*l = 0. Suppose -4*k - 49 = -f*j, 2*k + 3*j = -3*k - 68. Is s greater than k?
True
Let q be -2*(-3)/(-18)*-21. Let k(p) = q*p**2 - 15*p - p**3 - 3*p**2 + 4*p**2 + 15. Let a be k(6). Is -3 greater than a?
False
Let o = -18561 - -18751. Is 189 less than or equal to o?
True
Suppose 21*p = -2*p + 5 - 51. Let o = 7.6 + 111.4. Which is greater: o or p?
o
Let q = -107 + 10. Let h = q + 102. Suppose h*s - 20 = 3*p - 3, 3*s - 7 = p. Which is bigger: -4/37 or s?
s
Let p be (-10355)/(-5) + 56/(-4). Are p and 2055 unequal?
True
Let m = -559/2 + 280. Let q = -0.43 + -200.57. Is m smaller than q?
False
Let w = -102347/366 + -280/183. Are w and -280 non-equal?
True
Let r = -380.97 - -5.97. Let u = 376 + r. Which is smaller: u or -60?
-60
Suppose 4*m - 57 = -3*b, -4*b - 8 = 5*m - 79. Let t(w) = -2*w + 15 - 7*w - 30*w**2 - w**3 + 40*w**2. Let g be t(9). Is g greater than m?
False
Let a be (-6 + 9 - 1)*(0 - -1). Let l be (5/(-2))/(a/(3 - 7)). Let d be (l/(-27))/(6/(-36)). Which is smaller: 0 or d?
0
Let v(h) = 3*h**3 - 14*h**2 - 23*h + 6. Let l be v(-7). Is -1547 at most l?
False
Let n = 487 + -496. Let k be 12/8*(-100)/3. Let q be (-52)/5 + (-20)/k. Which is smaller: q or n?
q
Let s be (1/(-3))/(3/(-270)). Is s at most as big as 6.3?
False
Suppose -2 = 5*v - 7. Let c be (125/61 - 2)*(-8)/(-6). Let s = -101/610 + c. Is s less than or equal to v?
True
Suppose -3*d - 5 = -17. Suppose -d*g = g + 5. Let m = -34397.04 - -34397. Is m at least g?
True
Let a(i) = -5*i + 69. Let s be a(14). Let x = 230162214/10195357 - 9510/421. Let c = x - 1/397. Is c < s?
False
Let k be (-198)/(-363) - 4060/22. Which is greater: -1831/10 or k?
-1831/10
Suppose 0 = 8*o - 3*o - 40. Let q(w) = -w**2 + 8*w + 2. Let m be q(o). Suppose -5*y = 22 - m. Which is bigger: -2 or y?
-2
Suppose 384 - 384 = s. Suppose 3*c + 8*c - c = s. Does c = 44?
False
Let j = -37 - -33. Let u be 3 + (-1550)/210 + j/14. Is -5 at least as big as u?
False
Let g(m) = -m**2 - 10*m + 13. Suppose 0 = t + 2*i + 5, i - 4*i + 15 = 0. Let f be g(t). Is f smaller than -60?
True
Let d = 2221 + -2220. Which is greater: d or 1/5119?
d
Let p = -3266.2 + 3265.9. Let f = 31 + 20. Are p and f equal?
False
Let i = 1.99 + -0.69. Let n = 1.3 - i. Are -1.59 and n unequal?
True
Let p(i) = 76*i - 3. Let v be p(2). Suppose -2*x - 48 = 3*c - v, 0 = 3*x - 5*c - 104. Suppose -3*s - 20 - x = 0. Is s greater than -20?
False
Let m = -908.677 - -949.03. Let f = 0.253 - m. Let u = f + 40. Are u and -28 unequal?
True
Suppose 3*b - d = -0*b + 11, 2*d - 28 = -4*b. Suppose -b - 61 = -2*z - 5*q, -5*z + 165 = -3*q. Let v = z + -31. Is v greater than or equal to -7?
True
Let v = -1.7 + -22.1. Let h = v + 18.8. Which is bigger: h or 16?
16
Suppose 0 = -2*q + 2*j - 0*j - 16, 0 = 3*j - 6. Let t be (-34)/10 + q/(-60)*-6. Let r be t/((-8)/1)*2/(-22). Is -1 at least r?
False
Let s = 58765 - 58757. Suppose l - n - 9 = 0, -6*l - 4*n + 4 = -2*l. Is s greater than or equal to l?
True
Let z(b) = -58*b**2 - 163*b + 1791. Let n be z(12). Which is bigger: n or -8514?
-8514
Let v(g) = 28*g + 100. Let l be v(-9). Let b = 134 + l. Which is smaller: -75/4 or b?
-75/4
Let a = 2390 + -2386. Which is greater: a or -20?
a
Suppose 0*y + 5*m = 4*y + 2568, 0 = -y - 2*m - 642. Let b be 4/30 - (-4)/(360/y). Let s be -7 - (-12)/(4 + b). Which is bigger: s or -12?
s
Let j = -106 - -105. Let y = -840 - -797. Is j smaller than y?
False
Let l = -7543/21 + 2519/7. Are 5342 and l equal?
False
Let x(p) = 6*p + 21. Let a be 20/2*(25/(-10))/5. Let r be x(a). Let i(d) = -d**3 + 9*d**2 + 7*d + 21. Let u be i(10). Are r and u nonequal?
False
Let g(z) = z**3 + 14*z**2 + 24*z - 1. Suppose 60 = -5*y - u, 5*y + 23 = -3*u - 37. Let v be g(y). Is 1/138 less than v?
False
Let b = 8319 - 8319. Which is smaller: b or 1602?
b
Let u be (68277/29250 - 3) + 28/(-12) + 3. Which is smaller: u or -1?
-1
Suppose 57*z + 342 = 58*z + g, -2*g = -4*z + 1344. Which is smaller: z or 313?
313
Let a = -0.011 - -0.211. Suppose 4*m = h + 2*h - 285, -m - h - 66 = 0. Which is greater: a or m?
a
Suppose -4*r + 2016 + 960 = 0. Suppose -45*h = -33*h - r. Which is greater: h or 63?
63
Suppose -621*q = -n - 620*q + 2, -2*n + 4*q = -10. Which is greater: -12.36 or n?
n
Let y = -0.3 + -0.7. Let p = y + 2. Let h be ((-54763)/(-184) + 3/8)/(-98) - -3. Do h and p have the same value?
False
Suppose -23*q = 259 + 293. Which is smaller: q or -49/2?
-49/2
Let w = -64.6 + 56. Let i = w + 8.5. Let v be (-126)/(-49) - (-8)/(-14). Is v not equal to i?
True
Let k = 5223.8 + -5224. Is -272 <= k?
True
Suppose -33*l + 2*v - 5 = -30*l, -3 = 5*l + 2*v. Are -2/18995 and l unequal?
True
Let g = -16.4 + 15. Let r = -13 + 34. Let q = r + -19. Is g not equal to q?
True
Suppose 0 = 35*z + 176824 + 13051. Which is smaller: z or -5426?
-5426
Let b be 904/(-30)*20/12. Let n = 50 + b. Which is smaller: 2.4 or n?
n
Suppose -5*n - 109 = -3*w + 4*w, 518 = -5*w + 2*n. Let q be ((-6)/664)/(w/(-16) + -7). Is q >= 1?
False
Let a = -120479/40 - -3012. Suppose -3*z = -0*z. Let f(s) = -2*s. Let k be f(z). Is a at least k?
True
Let w be 23928/6*2/10676 - 1. Let d = w - -3/17. Which is greater: d or 1?
1
Let f = -163 + 90. Let n = f + 90. Which is smaller: -5 or n?
-5
Suppose -2*g = 4*t - 20, -5*t = 6*g - 4*g - 24. Suppose 2*s + g*i - 126 = 0, i + 63 = -0*s + s. Which is bigger: s or 62?
s
Suppose 22 - 58 = 6*s. Let a be -5 + ((-8)/3)/(s/9). Is 3/94 less than or equal to a?
False
Let f = 25.9 - 26. Which is smaller: 11111 or f?
f
Let q = -3914 - -3914. Which is smaller: 1/1686 or q?
q
Let p = 89 - 85. Suppose -5*k - 8 = 3*v, 2*v + 16 = -2*k + p*v. Let g be (k/12*-6)/86. Is 1 equal to g?
False
Let z = 47 - 47.09. Let x = z - 0.025. Let v = 0.015 + x. Which is greater: -8 or v?
v
Let x be (81/15 - 1) + 4/(-10). Suppose -f = -x*b - 13, 2*b