 3*p + 0*p - 1 = -4*w, -3*p = 5*w + 4. Let j be 3/p*(-6)/(-369). Which is smaller: j or 1?
j
Let q = 0.3572 + -10.3572. Is -54/7 at most as big as q?
False
Let x(q) = -11*q - 46. Let a be x(-5). Let r be -2 - ((-3)/4 + (-93)/(-12)). Let p = a + r. Is -1/47 > p?
False
Suppose -2*d + 66 = 4*d. Let c(l) = l**3 - 12*l**2 + 12*l - 1. Let a be c(d). Let w(z) = z**2 - 10*z - 1. Let g be w(a). Is g at least as big as -2/79?
False
Suppose -4*v = -8 - 164. Let m = v + -28. Let z(y) = -2*y + 1. Let w be z(-7). Is w at least m?
True
Let d = 76 - 15. Let s = d + -37. Which is greater: -2 or s?
s
Suppose 9 = -3*n + 12, -831 = 4*t + n. Suppose 0 = -u - 103 - 105. Is t > u?
False
Let f = -0.025 - -0.19. Let d = f + 20.835. Is 0.1 < d?
True
Let m = -318.4 - -521.4. Is m at most as big as 1?
False
Suppose -2*i = 2*f - 738, -4*f - 1086 = -i - 2*i. Let h = 226 - i. Which is smaller: h or -142?
-142
Suppose 47*a - 2459 = 82 + 185. Suppose 0 = -2*m + m + 58. Is a < m?
False
Let b(u) = -4*u - 28. Let r = 687 + -710. Let j be b(r). Which is bigger: j or 62?
j
Let b(s) = 28 + 17 + 5*s + 14. Let k be b(-9). Is 20 <= k?
False
Let a(o) = 2*o**2 + 349*o + 1691. Let d be a(-5). Is -311/100 < d?
False
Let o = 55 - -283. Let q = 326 - o. Suppose 0 = -3*y - 2*y + 3*h - 9, 0 = -y - 4*h - 11. Is q at most as big as y?
True
Suppose -8600 = 73*j + 27*j. Let f = 478436 - 11958748/25. Let o = f + j. Which is greater: o or -1?
o
Let j be (-14854)/2205 - 10/225*-5. Let r = j + 40/7. Let q = 1 + -1. Is q < r?
False
Suppose 0 = -4*h + 5*b - 107, h - 4*h - 72 = -b. Let a = -15 + h. Are a and -39 nonequal?
True
Let n be -2891*(-3 + 119/49). Is 1654 not equal to n?
True
Let d be 54/13014*(152/36 - 4). Which is smaller: 1 or d?
d
Suppose 5*k + 750 = 95. Let i = k - -147. Suppose i*q = -q + 51. Which is bigger: 8 or q?
8
Let z be (-1)/3*14/2. Suppose 0 = -20*q - 4*q + 96. Suppose -6*l = -q*l + 6. Which is smaller: z or l?
l
Suppose 4*b - 42 = -34. Suppose 146 = -3*r + b*v - 0*v, 0 = 3*v - 3. Is -49 > r?
False
Let i be (-50)/(-15)*36/15. Suppose 0 = i*z - 2*z - 48. Suppose 0 = -n - 1, z = 4*g - 6*n + 2*n. Is g at most 9/4?
True
Let u be -115*(12 - 558/45). Which is bigger: u or 55?
55
Let q be (-1)/1 + (4 - (-1 - 0)). Let w be (q/32)/(11180/(-3142)). Let d = w + 3/688. Which is smaller: d or 0?
d
Suppose -2*z + 0*z - 8 = 0. Let r be ((-2)/z)/(10/(-14)). Suppose 16*w - 40*w = 239 - 239. Which is bigger: r or w?
w
Let h = 3 + -5. Let m be (1 - h - (6 + -2)) + 7. Let s be 296/12 - (-2)/m. Is s at most 25?
True
Suppose 12*f + 230 = -11*f. Let o(l) = -l**3 - 9*l**2 + 13*l + 31. Let w be o(f). Are 5/36 and w unequal?
True
Suppose -2*z - 4*k + 31 = k, z - 11 = -k. Let u be ((-10)/(-25))/(z/10)*8. Let w be (-4)/(-12)*1/u*-1. Are 2 and w non-equal?
True
Let j(h) = 2*h - 16. Let x be j(7). Let g be 1700/40*(-1)/3*x. Which is bigger: g or 28?
g
Let i = 15060.13 + -15307. Let s = i - -247. Let o(y) = -y**3 - 5*y**2 + 6*y + 1. Let h be o(-6). Which is greater: h or s?
h
Let j = 1.834 + -1.425. Which is smaller: j or 1/2?
j
Let m be 12/(-9) - 4/6. Let n be ((-2)/(-6))/(m/(-6)). Let p = 0.09692 - 0.02692. Is p less than or equal to n?
True
Let r = 3872/9 + -19378/45. Which is bigger: r or 7241?
7241
Let u = -35083/606386 + -2/7051. Let f be (0 - 2)*((-1666)/(-68) + -24). Is f equal to u?
False
Let h = -8638 - -8552. Let c be (-2)/(-7) + (-1793)/(-21). Let b = c + h. Is -3/14 at least b?
True
Let n = -72 - -98. Suppose -19*p + n*p - 385 = 0. Which is bigger: p or 52?
p
Let l = 255 - 52784/207. Let p(c) = -11*c + 65. Let b = -164 + 170. Let z be p(b). Do l and z have the same value?
False
Suppose -5*n + 74 = -3*g - n, 0 = 5*n - 25. Let t = g + 2. Let x be (t/(-24))/((-8)/(-6)). Which is bigger: x or -0.17?
x
Let h = 4541 + -4663. Is h < -131?
False
Let i = 701/1050960 + -3/2416. Let p = 2123/348 + i. Let s = p - 214/15. Which is smaller: -9 or s?
-9
Let y(z) = 7*z**2 + 97*z + 20. Let w be y(-10). Which is greater: w or -253?
w
Let a be 175/63 - (-4)/18. Suppose 3 + a = 6*s. Let c be ((-24401)/1222 - -20)/((-9)/4). Is c greater than s?
False
Let o(c) = -49*c. Let k be o(-2). Let v = 21994/3 - 7233. Let l = v - k. Which is smaller: l or 92?
l
Suppose 118*s = 101*s + 44200. Which is smaller: s or 2599?
2599
Let d = 418 + -413. Suppose -5*k - 270 = d*r, -8*k = -11*k + 5*r - 186. Is k greater than -59?
True
Suppose 0 = -3*p + a - 14 + 32, 2*a = 3*p - 18. Suppose -42*j = -4*x - 44*j + 42, -4*j = -x + p. Is x bigger than 107/10?
False
Let f = -1/3827 + -3114/2728651. Is 0 > f?
True
Let j be 235/35 - (-2)/7. Let f be (-4)/(-46)*j/(-49). Suppose -792*c - 14 = -806*c. Which is smaller: c or f?
f
Let t be 13 - (-4 - (-17727)/(-19)). Which is bigger: 945 or t?
t
Suppose 5*f - 2575 = 5*l, -5*f + 5*l = -10*f + 2605. Let b = -518 + f. Which is bigger: b or 1/103?
1/103
Suppose 6*y = -207 + 101 + 100. Which is smaller: y or 9381?
y
Let s(h) = -2*h**2 + 0*h**2 - 18*h - 40*h + 74*h - 24. Let y be s(6). Which is smaller: y or -6?
-6
Let h = -16316 + 7168. Which is smaller: h or 0.1?
h
Let c(h) = 2*h**2 - 29*h - 349. Let y be c(-24). Which is bigger: 5991/4 or y?
y
Let h = 655 - 583. Let s be 30/h*9/(-45). Is -6/7 at least as big as s?
False
Let b be 6*1/2 - (-85)/(-85). Let j = -1279/171 - -73/9. Which is smaller: b or j?
j
Let y = -0.15508 - -0.11608. Which is smaller: y or 3?
y
Let d be 82/10 + 2/(-10). Let t(l) = l**3 + 9*l**2 + 13*l. Let n be t(-7). Suppose -n - d = -w. Is w less than or equal to 14?
False
Suppose -4*i - 324 = -2*i + 34*i. Is i != -74?
True
Let v be (-34)/(-289) + (-1 - 1455/(-5406)). Let u = -10295/2226 + v. Is u != -6?
True
Let s = 18632.8 + -18651. Which is smaller: s or 0.3?
s
Let r = -1135 - -918. Which is bigger: r or 11?
11
Let t = 5 - 4.9. Let b = 9.377 - 8.75. Let y = 0.027 - b. Is t bigger than y?
True
Let k = -0.65 - -0.32. Let j = -363 + 363.47. Let a = k - j. Which is smaller: a or 0.2?
a
Let z(m) = 3*m - 19. Let f be z(9). Suppose 0 = -f*l - 2*l + 1200. Is 121 at most l?
False
Let o = -2125382/33 - -13036844/99. Let f = o - 67208. Let y = -8344/117 + f. Which is greater: y or -4/5?
y
Let g = 6064 - -2011. Is g <= 8075?
True
Suppose -7*z + 32*z - 400 = 0. Let n be z*(2/4 - (-80)/(-168)). Is 2/9 >= n?
False
Let j(r) = 2*r**2 + 160*r + 973. Let t be j(-6). Is 48 <= t?
True
Let b = -2694.276 - -2694. Which is bigger: 1 or b?
1
Let f be (-2)/2*(-5 + 18369/3672). Let v(b) = -18*b - 91. Let x be v(-5). Which is bigger: f or x?
f
Suppose -2*g - 1631 - 2099 = 8*g. Is g > 2?
False
Let f(d) = 5 - 2 - 9*d + 11*d. Let y(s) = 2*s + 24. Let v be y(-13). Let q be f(v). Which is smaller: q or 3/7?
q
Let z be (-1)/3*0*5/10. Suppose -2*v = -z - 16. Let p = 7 - -1. Are v and p equal?
True
Suppose 0 = -3*s + z - 256, z = 4*s - 4*z + 334. Let c(u) = -43*u + 1. Let h be c(2). Let w = s - h. Do w and -3/2 have different values?
True
Let i be ((-2)/8516)/(1 - 28/32). Let u = i + 55414/31935. Is 2 at most u?
False
Let d(k) = -222*k - 1724. Let v be d(-7). Which is bigger: -171 or v?
v
Let d be 227 - (4 + 42/(-12)). Let n = d + -224. Which is smaller: n or 15?
n
Let t = -440374/90985 + 4/2935. Which is greater: t or -6?
t
Let s(t) = -1. Let k(g) = g**3 - 4*g**2 + 3*g + 8. Let r(b) = k(b) + 4*s(b). Let y be r(3). Let x be (-188)/(-40) + 6/y. Which is smaller: x or 7?
x
Let r = 18097.53 - -410.47. Is 0 smaller than r?
True
Let u = 279 - 278.92. Let i = u + 0.02. Let g = 7.94 - 8. Is g != i?
True
Let f = -776.2 + 775.9. Which is smaller: 3882 or f?
f
Let v = -8509 - -8253. Is -256 != v?
False
Suppose 7*t = 4*t - 18. Let a = 23338/11 - 210526/99. Which is smaller: a or t?
t
Suppose 5*w = 4*a + 147, 5*a - 66 = 4*w - 7*w. Suppose -4*y = -2*v - 118, y + 10 = 3*v + w. Suppose -5*k - s = -32, 4*k - y = -5*s + s. Is k >= 7?
False
Let x = 2 - 4. Let v = 428 - 435. Let m = -9 + v. Which is greater: m or x?
x
Suppose -u - 4*f = f - 30, -3*f - 5 = -4*u. Let p be (1 + 21)*8/((-10)/u). Are -87 and p unequal?
True
Let s = 35485 + -35485. Which is greater: s or -142/145?
s
Let o = -1.02311 - -0.02311. Which is greater: o or -157/19?
o
Suppose -11078*a + 11064*a + 7 = -7. Are 22/739 and a nonequal?
True
Suppose -256 + 206 = -50*s. Let p = -1041/45880 + 3/1240. Which is smaller: p or s?
p
Suppose 0*l - 12 = -3*l. Let u be (-1)/(6/(-1