k or j?
j
Let x be (-2)/11*1 + (-349)/(-187). Let r = x - 24/17. Let g be 2/28*(-3 - -7)/1. Are g and r nonequal?
True
Let n be ((-39)/234*3/(-2))/(15/(-12)). Suppose j = 3*j + 18. Is n smaller than j?
False
Let n(a) = a**3 - 42*a**2 + 6*a - 224. Let i be n(42). Let h be (i/42)/(10/15). Is h greater than -1/134?
True
Let z = -4719 - -283133/60. Let g = 13/180 + z. Is g at most as big as 2?
True
Let h = 2327 - 2327.3. Let d = -16.9 + 17. Let p = -0.28 + d. Which is greater: h or p?
p
Let v(t) = 58 + 23 - 13*t + 22 + 41. Let b be v(11). Which is smaller: b or 5/17?
5/17
Let c = -16837 - -16858.04. Are c and 4 non-equal?
True
Let l(d) = -2*d**3 + 38*d**2 - 37*d + 27. Let y be l(18). Let b be ((-9)/10)/(y/15). Which is smaller: -12 or b?
-12
Let m be (-1)/(-2) - (28/24 - 0/24). Which is bigger: 206 or m?
206
Let d = 87 + -160. Let x = 76.277 + -74.277. Which is smaller: x or d?
d
Let p = -2 + 2.3. Let c = -293 - -278.15. Let h = c - -15. Is h less than or equal to p?
True
Suppose 815 = 2*b - h, 4*b - 3*h + 389 - 2024 = 0. Let t = b + -404. Is t greater than -5?
True
Let v = 95 + -96. Let w be 184/(-12) + v + (-4)/(-12). Which is smaller: w or -18?
-18
Let j = 160591/570 + -1691/6. Let n = -12 + 13. Is j less than or equal to n?
True
Let f be (132/120)/((-36)/8940). Which is smaller: -273 or f?
f
Suppose 60*g = 54*g - 48. Let q = 212 - 229. Are q and g equal?
False
Let b = -2.516 + 2.616. Is b > 1465?
False
Suppose -3*d = 5*u + 219, 0 = u + 2*d - d + 45. Let o be ((-4)/u)/((-4)/(4*-15)). Is o less than -2?
False
Let z(p) = 6*p + 35. Let h be z(-5). Let s be 6/(-75)*h + (-38)/5. Suppose 4*x = -4*k - 32, 15 = -2*k - 4*x - 9. Which is smaller: s or k?
s
Let o = -600597 + 4214829/7. Which is greater: o or 1520?
o
Suppose -154*n + 11911 = -45*n - 8690. Is n at least -14?
True
Let p = -158427137/4112 + 38528. Does 1 = p?
False
Let p = -31/51 + 1300/153. Is 7 less than p?
True
Let u(b) = -b**2 + b + 2. Let a be u(-2). Let o(z) = 2*z + 14. Let w be o(a). Let j be w/22*20/(-6). Which is smaller: 0.2 or j?
j
Let y = -17 + 22. Suppose y = -4*r + 25. Suppose -r*z - 212 = -27. Is z bigger than -37?
False
Let n(a) = -29*a**2 - 726*a - 26. Let u be n(-25). Is u at most -3/11?
True
Let x be ((-8)/(-12))/(226/(-6)). Suppose 5 = 4*o + 31*l - 32*l, -3 = 2*o + 5*l. Is o != x?
True
Let s = -8992/76143 + 2/4479. Let f = 3886/23 - 169. Which is bigger: s or f?
f
Let o = -301.262 - -305.9. Let h = o + -0.638. Let s = 0.7 - -0.3. Which is smaller: s or h?
s
Let r = -346/9 - -115/9. Let n = r + 925/33. Which is greater: 3 or n?
3
Let y = 10536 - 8469. Are y and -2 unequal?
True
Let f = -315.9 + 316. Let j = -183 + 82. Are f and j unequal?
True
Let l = 6781 + -6784.083. Let o = -0.083 - l. Let g = 0 + 0.1. Is g at most as big as o?
True
Let x(w) = w**3 - 73*w**2 + 145*w - 213. Let s be x(71). Let z be 10/(-45) - 64/(-450). Is z greater than s?
False
Let w be (1 - -1) + (-20514987)/3213. Let r = -6383 - w. Let h(y) = -y**2 + 19*y - 71. Let b be h(14). Is r smaller than b?
False
Let m be (-4)/(-14) - (6 + (-280)/49). Suppose 2*s + 5*n + 17 = -1, m = -4*s - n. Which is bigger: s or 1/352?
s
Let v(j) = -j**3 + 18*j**2 - 31*j - 36. Let u be v(16). Let w be ((-146)/u - 6)*-3. Which is greater: -5 or w?
w
Let f(g) = 1. Let p(w) = w - 7. Let k(u) = 4*f(u) + p(u). Let q(t) = -3*t + 11. Let b(y) = -9*k(y) - 2*q(y). Let o be b(0). Is -7 equal to o?
False
Let j be ((-5 + 1)/(-2))/(3 - 854/286). Is j > 140?
True
Let l(y) = 120*y + 35. Let o be l(12). Is 1473 less than o?
True
Let q = 22 - 33. Let v = 14280.1 + -14280. Does q = v?
False
Suppose -8*o + 26*o - 2268 = 0. Let q be (-3 - (-366)/o)*(-3)/36. Which is smaller: q or 1?
q
Let i be 4/3*236/(-33512). Is i equal to 0?
False
Let q be (22/4 + -5)/((-9)/1548). Which is smaller: q or -108?
-108
Let f be (-28)/(-4) + (-8)/(16/377). Does -183 = f?
False
Let l = 54 - 30. Let n = -22 + l. Let p be (-12)/18 + n/(-6) + 1. Which is smaller: p or -2/89?
-2/89
Let x(j) = 4*j - 14. Let y be x(5). Suppose -y*f = -11*f + 40. Suppose 58 = 8*w - 14. Is w >= f?
True
Suppose -3*h + 3*x = 4*x - 42, 70 = 5*h - x. Suppose h*a - 306 = -4*a. Which is smaller: a or 18?
a
Let f = -238 + 232. Let m be (-2900)/(-60)*4/((-16)/f). Is m greater than or equal to -2/3?
True
Let f = 0.4316 - 0.118. Are f and -0.1 nonequal?
True
Let a = -3700 - -3780. Is 79 less than or equal to a?
True
Suppose d = -86 + 247. Suppose -6*a - d = -11. Let s = a - -25. Which is greater: -1/46 or s?
s
Let c be 6 - 132/(10 + 12). Which is greater: 7/527 or c?
7/527
Let j(r) = 1624*r + 11368. Let h be j(-7). Is 12 bigger than h?
True
Let u = 14 - 29. Let b = u + 22. Suppose 4*m - b = -31. Which is greater: -3 or m?
-3
Let y = -17084/6475 - 2/1295. Which is bigger: y or -4?
y
Suppose 4*m - j = 10965, j - 6*j - 25 = 0. Which is smaller: 2741 or m?
m
Suppose 0 = -24*y - 68 - 964. Which is smaller: y or -37?
y
Let s(b) = 52*b - 463. Let w be s(15). Is w bigger than 318?
False
Let v = -8267/2 + 4121. Which is bigger: 6 or v?
6
Let z = -194 + 644. Let x = z + -399. Which is bigger: 5 or x?
x
Let n(s) = 2 - s + 3 + 4. Let w be n(4). Suppose -w*a + a = 0. Which is smaller: 12 or a?
a
Suppose 81*q - 82*q + 3*m + 620 = 0, 4*q = -5*m + 2412. Is q greater than 611?
False
Let i be ((-4)/10)/(1/(-10)). Let j(q) = 6*q + 146. Let k be j(-24). Let n be (-4)/k - 300/(-42). Which is greater: n or i?
n
Let z = 0.03 + -0.061. Let q = z + 25.031. Let y = 9 - q. Which is greater: -1 or y?
-1
Let x be (-3)/15 - 36/(-5). Let y = -3.6193 - -3.62. Let q = -4.9993 - y. Is x < q?
False
Suppose 2*n + 541 = -23*m + 20*m, -5*n - 910 = 5*m. Which is smaller: -129 or m?
m
Suppose 0 = -1090*k + 1068*k + 264. Which is smaller: 85 or k?
k
Suppose 25*y - 22*y = 6. Let f be 4 + 2/(y/(-5)). Let m be f*-3*(2 + 15). Which is smaller: m or 49?
49
Suppose 3615 = 702*u - 717*u. Is u at most -257?
False
Suppose v + 28 = -49. Let q be ((-50)/(-20))/((-4)/(-232)). Let w = -222 + q. Is v > w?
False
Suppose -4*h - 3*x = -171, -6*h = -2*h + 2*x - 166. Let m = 43777 + -481109/11. Are m and h nonequal?
True
Let d be (-49)/(-14)*(-6)/1. Let z = -22 - d. Let s be (z/(-1) - 1) + (-297)/(-77). Are 4 and s nonequal?
True
Let s = -0.8 - 0.2. Let v be ((-2)/(-20)*5)/(9/(-126)). Let o be (v/(-63))/1*7. Is s at least as big as o?
False
Let l = -331921/30 - -11063. Let i = 6029/5820 + l. Which is smaller: i or 1?
i
Suppose 4*r - 382 = 2*v, 2*r + 4*v = -0*v + 166. Let u(y) = y**2 + 601*y - 7889. Let f be u(13). Is r at most f?
True
Let w be ((-16576)/(-935730))/(1 - (-34)/20). Let n = w + -3/281. Which is smaller: n or -1?
-1
Let k(s) = -s**2 - 205. Let l be k(0). Let v be (-2)/(-6)*(-328 + -290). Which is smaller: v or l?
v
Let a be 4/(-6)*(6/(-2))/(-6). Let m = -1282 - -1268. Is m at least as big as a?
False
Let t(k) = k**3 - 23*k**2 + 101*k + 47. Let x be t(14). Is x < -312?
False
Let k = -498/145 - -17/5. Which is smaller: k or -20?
-20
Let s(u) = u**2 + u + 3. Let j be s(2). Let p(i) = -i - 1. Let m be p(j). Let r(c) = -4*c - 38. Let v be r(m). Is 6/5 at most as big as v?
True
Suppose -6*b + 1 = -2*y - 3*b, -y + 4*b = 8. Suppose 18 = -4*v - 2*o, 18 = v + o + y*o. Which is greater: v or -6?
-6
Let n(f) = -74 + 9*f + 34 - 74 - 10. Let g be n(15). Which is bigger: g or 0.08?
g
Let w = 37 - 32. Suppose -3*n - 2 = -w*n. Is n <= -108?
False
Suppose 17*r + 3682 = -1010. Let o = 87 + r. Which is smaller: -190 or o?
-190
Let m = 227 + -221. Let x = 2 - m. Which is smaller: x or -2/3?
x
Let t(x) = x**3 + 3*x**2 - 18*x - 42. Let j be t(-4). Which is smaller: 21 or j?
j
Let x = -2453 - -1331. Let o be (-19669)/x - 4/11. Which is greater: o or 18?
18
Suppose 32 = 28*v - 36*v. Let z be 66/363 - v/(-22). Which is smaller: z or -3/80?
-3/80
Suppose 309 = g - 225. Suppose -14*j - g = -8*j. Do j and -90 have different values?
True
Let b = -218 - -155. Let o be ((-2)/168)/(42/b). Which is greater: o or -1?
o
Let u = -8887 + 13618. Which is greater: 4730 or u?
u
Let s = 868 - 948. Let k be (-60)/s + (-41)/(-4). Is 12 >= k?
True
Suppose 41*c = -3*c + 4752. Suppose -4*x = -2*u + 446, 3*x - 3*u + 0*u + 342 = 0. Let b = c + x. Which is bigger: b or 2/49?
2/49
Let i = 0.034 + -0.014. Let j = 0.18 - i. Let a = j + 0.04. Which is bigger: a or -2?
a
Let g be (9849/216 + 7/