 or x?
x
Let w = 2976 + -2673.1. Let v = -303 + w. Which is smaller: v or 15?
v
Suppose -180*r + 10 = -175*r. Suppose -r*x - 16 + 5 = p, 0 = -5*p - 4*x - 37. Let t = 15 + -21. Which is greater: p or t?
p
Let o = -3 - -2. Let u = -33612 - -33337. Are o and u equal?
False
Suppose -3*a + 5038 - 5011 = 0. Which is smaller: a or 136/15?
a
Suppose -4*d = -y + 436, 0 = 6*y - 5*y - 3*d - 433. Are y and 427 unequal?
True
Let w = 18.5 - 16.84. Let g = -0.36 + w. Let s = g + -1.4. Is s less than or equal to -5?
False
Let z = 4543 + -1681. Let l be 1/2*(-36)/z. Do l and 0 have the same value?
False
Suppose 9*z + 6 = -12. Let y(o) = -o**3 - o**2 - 5. Let s be y(z). Which is greater: -22/17 or s?
s
Let g = -134076 - -2186645481/16309. Which is greater: g or 0?
0
Let v(h) = h**3 + 37*h**2 - 41*h + 40. Let c be v(-37). Let w = c - 32689/21. Which is greater: -2 or w?
w
Let o = -15 + 14.3. Let g = 1853.7 + -1854. Is o bigger than g?
False
Let r(v) = -70*v + 2875. Let g be r(41). Is g greater than or equal to 124?
False
Suppose -54*d + 2*s + 3340 = -53*d, 5*s + 5 = 0. Which is smaller: d or 3337?
3337
Suppose 6*m - 5327 + 4587 = 2*m. Are m and 193 non-equal?
True
Suppose -2*x = 72 - 76, 4*x + 4560 = 2*d. Does d = 2280?
False
Let c be 3099/444 - 2 - (0 - -5). Let n = 157/444 + c. Which is bigger: -127 or n?
n
Let a = -5047.1 - -5046. Which is greater: 0.0314 or a?
0.0314
Let f(z) = z**3 + 11*z**2 + 22*z - 17. Let s be f(-8). Is 2/1853 at least s?
True
Let k = -6748.2 - -6748. Is k equal to -22/17?
False
Let f = 4 + -1. Suppose -5 = -a - f. Suppose g = -3*s + 1, 5*g = 3*s + a*g + 15. Is -1/13 smaller than s?
False
Let r = 68 - 42. Suppose -r + 8 = -6*q. Suppose -p = p + q*p. Are p and -2/129 equal?
False
Let j(r) = 41 - 22*r + 7 - 26 + 21. Let c be j(2). Let m be 1/3 - (-1)/(-12). Are m and c nonequal?
True
Let s(j) = -4*j**2 - 11*j - 197 + j**2 + 94 + 89. Let p be s(-4). Are -17 and p non-equal?
True
Suppose -4*c - 15 - 22 = 3*k, -k + 5*c - 6 = 0. Let l be (k/(-6))/((-64)/144). Let t be -23 - -17 - (-2 - 1). Is l less than or equal to t?
True
Let z = -32473/6 - -5413. Let x be (0/(-1))/((-2)/(-1)). Does z = x?
False
Suppose 2*l - 4*z = -3900, -51*l - z = -56*l - 9804. Is l greater than -1962?
False
Suppose -1048 + 212 = -11*u. Let b = -2/25 + 12/25. Is u <= b?
False
Let w = -2016.4 + 2025. Is -20 > w?
False
Let f = 7637 - 7696. Is -2/23 less than or equal to f?
False
Let x be -2 + 5 + (-1)/((-2)/(-2)). Suppose 10 = -2*m - x*y, -20 = 4*m - 4*y - 0*y. Which is bigger: -12 or m?
m
Let j = 2275 + -1758. Which is smaller: 515 or j?
515
Let w be (154/35 - 5)*-110. Let l be 6/(-1)*4*84/w. Is -32 at most as big as l?
True
Let f = 3/38 + 13/76. Let a = 2767.1 - 2770. Which is bigger: a or f?
f
Let x be -23 + 38 - (-14)/(-2). Let u be (-4 - (-171)/36)*x. Which is greater: u or 47/7?
47/7
Let a be (-1)/(-33)*(48 - 46). Does a = 54?
False
Let g = 7375 - 7330. Which is greater: 4/27 or g?
g
Let x = 5501/10 - 367067/670. Is x >= 2?
True
Let x be (-299)/2 - (-2 + 60/(-40)). Is -167 at most as big as x?
True
Let b be ((-100)/650)/(36/(-39)) - 527/(-6). Which is smaller: 100 or b?
b
Suppose 0 = -2*x - 0*x - o + 4, 2*x = o - 8. Which is smaller: -6/1975 or x?
x
Let b = -5.203 - 16.807. Let u = 11.29 - 11.28. Let v = b + u. Is 1/3 greater than v?
True
Suppose 13685*j - 13659*j - 3614 = 0. Which is smaller: 128 or j?
128
Let i be (-32)/(-20)*190/4. Let a(m) = -1294*m - 51684. Let p be a(-40). Is p at most as big as i?
True
Suppose -2*q = 7 - 1. Let c be 4/((-6)/q) - 72. Let v = 99 + c. Which is smaller: 31 or v?
v
Let w = -6.62 - -6.7. Let r = w + -0.057. Let u = -0.077 - r. Does -0.06 = u?
False
Let n = 902 - 526. Let w = n + -6019/16. Let j be (-5 - (-85)/20)/(9/(-12)). Is w equal to j?
False
Let t(j) = -3*j**2 + 35*j - 21. Let p = 37 - 79. Let o = 53 + p. Let u be t(o). Is -3/14 less than u?
True
Let a be 15/(-5) + (42 - (3 + -3 + 6)). Are 38 and a non-equal?
True
Let z = 103 - 116.6. Let b = 13.3 + z. Let y(r) = r**3 - 4*r**2 + 2*r - 3. Let j be y(4). Is b at most as big as j?
True
Let k = -75 + -59. Let b = k - -225. Which is bigger: b or 3/8?
b
Suppose 2*a + 25 = 17. Let u be (849/(-12) - -4)/(6/a). Is u >= 45?
False
Suppose 402 = -4*f - 146. Let a be f/9 + 12/54. Let k = 1255 - 1268. Is a >= k?
False
Let x = 52736/3964443 + -3/7301. Is x at most 1?
True
Suppose -2*p + 2 = 2*n + 8, 0 = -3*n - p - 3. Is n greater than or equal to 2/3211?
False
Let x = 0.13341 - 2.13341. Which is bigger: 581 or x?
581
Let j(y) = 237*y - 3803. Let d be j(19). Which is smaller: d or 694?
694
Let a be 18/48*190/(-114) + 6/(-16). Is a >= -3/4637?
False
Let g = 21848 + -21984. Let x be 3/12 - (-541)/(-4). Are g and x nonequal?
True
Suppose 2716*z = 2720*z. Let n be -5*(-87)/(-3) - 1. Let r be ((-4)/n)/((-1)/3). Are r and z non-equal?
True
Let j = -674 + 674.0622. Let a = j - -2.5078. Let y = -2.5 + a. Which is smaller: y or -0.1?
-0.1
Let g be (-4)/(-5)*(-27445)/(-22). Which is smaller: 1000 or g?
g
Let v = -6.451 - -6.5. Let x = 1041.951 - 1041. Let r = x + v. Which is bigger: r or 3?
3
Let x(d) = -d**3 + 15*d**2 - 54*d - 14. Suppose -5*q + 4*h = -7*q + 34, -h + 12 = q. Let b be x(q). Which is bigger: b or -6/47?
b
Let x be (9 - -3)/6 - -16. Let u = -1 - -1. Which is smaller: u or x?
u
Let t = 1.1 - 1.05. Let f = -0.05 - t. Let p = 16.06 - 16.7. Is f smaller than p?
False
Let p be -283 + 289 + -109*7. Is -762 <= p?
True
Suppose 2*c + 11*c = 4602. Suppose -t = -4*a + c, 91 = -0*a + a + t. Is a at most 90?
True
Suppose -3*i - 2*n - 8 = 0, -16*n + 18*n + 8 = -5*i. Which is greater: -3/2996 or i?
i
Let m = 1718 - 5806. Let l be m/21 + (-2)/6 + 1. Let o = -1360/7 - l. Which is smaller: 3 or o?
o
Suppose 4*z - 12 = 24. Suppose -z = -10*h + 1. Is 20 != h?
True
Let k = -48/5 - -463/55. Let u(f) = -f**3 - 2*f**2 + 4*f + 2. Let d be u(-3). Which is bigger: d or k?
d
Let a = 3781.1 - 3781. Which is greater: a or 3148?
3148
Let x = 579/44 + -7427/220. Suppose 0 = -w - w - 40. Which is greater: w or x?
w
Let k(c) = -c**2 - 11*c - 15. Let o be 2/((-6)/(-81)*-3). Let s be k(o). Suppose s*p = 3*a - 117, p = -3*a + a + 93. Which is bigger: a or 43?
a
Let a = -223/444 - -1/444. Is 1/385 less than or equal to a?
False
Let w be 0 + (-6)/14 - 1200/(-350). Suppose -3*z - 775 - 666 = -b, 487 = -z - w*b. Do -481 and z have different values?
False
Suppose -2*t = q - 9017, 0 = 5*t - 103 + 108. Is 9018 equal to q?
False
Let o = 1/710 - -7087/9230. Let u = 745603/35 - 21303. Which is bigger: o or u?
o
Suppose -4*z + 10*s = 7*s + 2172, -5*z - s - 2753 = 0. Is z < -550?
False
Let q(j) = 240*j + 218. Let i be q(1). Which is greater: 455 or i?
i
Let b(h) = -h**2 + 6*h + 13. Let s be b(7). Suppose -d = s*d. Suppose -3*r - f + 22 = 0, -16 + d = -4*f. Do r and 9 have different values?
True
Let q be 9*(-5 - -2)/(-9). Suppose 0 = -q*t + f + 22, -5*t + f + 8 + 26 = 0. Let p = 0.0399 - -3.9601. Which is bigger: p or t?
t
Suppose 353 = 44*q - 307. Suppose 10 = h - 1. Let b = 3 + h. Does b = q?
False
Let v = 925 + -514. Suppose 0 = -15*a - 96 + v. Let d be 94/(-12) - a/126. Is 3 smaller than d?
False
Let d(h) = -h**2 + 25*h - 2. Let j be d(0). Let b = -2463/784 - 1/784. Are b and j unequal?
True
Let q be (5 - 78/12)/(956/(-16)*-57). Is q at most as big as -1?
False
Let l(r) = 16*r - 10. Let u be l(3). Let i = u - 116. Let o = i - -236/3. Is 10 != o?
True
Let s = 7652734/291 + -26298. Is s bigger than 0?
True
Let z = -1661.91 - -1662.2. Is z less than or equal to -230?
False
Let k(h) = 316*h - 17051. Let o be k(58). Are o and 1275 nonequal?
True
Let u = -5061 - -5061.6. Which is greater: u or 40?
40
Let p = -30760.4 + 30761. Is p at least as big as -12/11?
True
Suppose -6*b + 0*b = -30. Suppose b*m = 3*v - 189, -m - 4*v - 33 = -7*v. Let f = m - -2. Which is smaller: f or -36?
f
Let j(u) = -17*u**3 - u**2 - 19*u - 48. Let k be j(-3). Is 459 greater than k?
False
Let r = -4574.1 - -4574. Is 4363 <= r?
False
Let s = 0.101 - 54.101. Let x = 14 + s. Let w = -40 - x. Which is smaller: w or -1?
-1
Let h be (2/(-6)*1)/(2/(-24)). Suppose -h*k - 75 = m, 90 = -5*m + 2*k - 219. Let u be (-64)/22 - m/21. Which is smaller: 1 or u?
u
Let z = -2337 + 2346. Let g(n) = n**3 + n**2. Let h be g(0). Suppose -2*f + 5*u = -13, h = -f + 3*u + z - 0. Which is