 -3*d - 5*g + 1 + 7 = 0, 2 = 4*d - 2*g. Let x be u(d). Is 2 at most x?
False
Suppose 21*t + 13299 = -10767. Which is bigger: t or -1149?
t
Let k be (110/12 - 9)*9. Let p = -0.03 + -0.08. Which is smaller: k or p?
p
Let r = 544133/2864226 - 40/9007. Which is greater: 0 or r?
r
Suppose 3*x = u - 6, 3*x + 9 = -u + 15. Which is smaller: -8/2661 or x?
-8/2661
Let q = 16766 + -16770.637. Which is bigger: 0.2 or q?
0.2
Let p = -5050238/199 - -25378. Which is bigger: p or -1?
p
Suppose 13*f - 89 = 28. Let p be 3*(6 + (-24)/f). Which is bigger: p or 12?
12
Let o(d) = 11*d - 112. Let v be o(22). Let a = v + -129. Are 1/10 and a unequal?
True
Suppose -2*i + 82 = -4*i. Let u = -51980 + 571331/11. Let z = u - i. Which is smaller: z or -1?
-1
Suppose -r - 142 = 4*h - 7*h, 6 = -3*h. Let a be (-4)/((-40)/(-15))*r/2. Is a equal to 111?
True
Let j(b) = -2*b - 5*b**2 + 12 + b**3 + 4*b - 2*b**3. Let n be j(-3). Suppose m + 0*m - 5 = 0, -d - 3*m + 12 = 0. Do d and n have different values?
True
Let x(a) = 2*a**3 + 244*a**2 + 38*a - 196. Let v be x(-122). Which is greater: -4833 or v?
v
Suppose 0 = 2*u + 3*u - 25, -3*u - 125 = 5*n. Let x be (0 + 3 + -3)/(-2). Which is smaller: n or x?
n
Let l be -1 + 9 - (-3839)/(-480). Let w = -19 + 18. Is w < l?
True
Let g = 2797 + -2566.2. Let j = g + -231. Is -2/7 <= j?
True
Suppose 2*n - 2*d - 814 = 0, 5*d + 998 = 4*n - 632. Which is smaller: n or 391?
391
Let w = -4458.89 - -4459. Which is smaller: w or -2/3?
-2/3
Let r = -212 - -210.02. Let x = r - -0.98. Let k = -2747/15 - -183. Does x = k?
False
Suppose 0 = 9610*d - 9695*d + 85. Which is bigger: d or 1/6747?
d
Let r = 274.283 - 274. Let f = r + 29.717. Which is smaller: f or 2?
2
Suppose 17*r - 108 = -10*r. Suppose -8*f - r*f = 0. Is 1/330 bigger than f?
True
Let q = 93 - 93.1. Let k = 128959/9672 - -1/9672. Which is smaller: q or k?
q
Let z = 81 - 50. Let l be 3*(144/(-30))/((-18)/220). Let n be l*1/6 + 4/6. Do n and z have the same value?
False
Let y = 22.9 - -1.2. Let p = y - 25. Let a = -1518 - -4556/3. Is p at most a?
True
Let s = -267 + 266.859. Let x = 26.859 - s. Let c be 4/(-16) + 1/(-28). Which is smaller: x or c?
c
Suppose 44*n + 55*n = 121*n - 63778. Which is smaller: n or 2897?
2897
Let q be 56/(-30) + (-16)/120 + 6. Let t(y) = y**2 + y - 11. Let h be t(-5). Let n be h/(-15)*5/(-1). Which is smaller: n or q?
n
Suppose 0*x = 4*n + 3*x + 33, 0 = 3*n + 4*x + 16. Let s(d) = 125*d + 741. Let r(a) = a**2 + 10*a - 6. Let u be r(0). Let f be s(u). Which is smaller: n or f?
n
Let r be (17/(-102))/((-28)/42). Do -1455/7 and r have different values?
True
Let y(w) = -w**2 - 692*w - 10150. Let l be y(-15). Let z be 1*-2*(-32)/10. Which is greater: l or z?
z
Let w = -2163 + 45422/21. Let c be 5/25 - 302/10. Let l = -30 - c. Is l at most w?
False
Let a(d) = -5*d**3 + 32*d**2 + 6*d - 7. Let p be a(7). Let l = 112 + p. Which is bigger: -45/4 or l?
l
Let r(a) = 9*a - 60. Let y be 14*2/(-4) + 31. Let f be r(y). Is f less than 153?
False
Let j = -637.8 - -604. Let o = -33.8 - j. Which is smaller: o or 10?
o
Let r(j) = -j - 10. Let d be r(-10). Let p = -13363 + 3273941/245. Is p >= d?
True
Let q = -240155/40579 - -367/62. Which is bigger: 1 or q?
1
Suppose -4896 = 4879*k - 4881*k. Are k and 2451 equal?
False
Suppose 50*c = -46263 + 18663. Which is smaller: 5 or c?
c
Let a = 821 - 4102/5. Let o be 59/(-7) + 16/(-28). Which is smaller: a or o?
o
Let u = -5426.7 - -5433. Suppose 3*f + 2*c + 2 = 0, 4*f + c - 2 - 2 = 0. Suppose -3*m - 5 = 2*d - 6*d, -3*d + 8 = f*m. Is m not equal to u?
True
Let d = -11324/555 + 750/37. Let f be (-1)/(-1)*-1 - -2. Is d at most f?
True
Let g(i) = -4*i - 81. Let m be g(-22). Suppose m*a + 10*a = -952. Is a greater than -111/2?
False
Let l = 32215 - 18280. Which is smaller: -2/5 or l?
-2/5
Let v be 1224/(-459) + (-922)/(-330). Which is smaller: 0 or v?
0
Let x(a) = -a**3 - 4*a**2 - 6*a - 3. Let n be x(-4). Let g(b) = 26*b**3 + b. Let c be g(-1). Let s be n/18 + 18/c. Are s and -0.47 nonequal?
True
Let r(k) = 77*k + 4388. Let b be r(-57). Are b and -2/25731 nonequal?
True
Suppose 281*z - 275*z = 0. Suppose z = 7*d - 25 - 73. Are 18 and d equal?
False
Suppose 0 = 2*z - 10, 2*i + 2*z = 18 + 30. Suppose -2*t - 16 = -3*v, -5*t - 16 - i = -5*v. Which is greater: 0.44 or v?
v
Let n(a) be the first derivative of a**3/3 - 15*a**2/2 + 23*a - 126. Let g be n(9). Which is smaller: g or -29?
g
Suppose -4*c = -5*n + 4 + 7, 0 = -3*c - 5*n - 52. Let a be (-150)/(-18) + c*1. Which is greater: -511 or a?
a
Suppose -5*y + 5*b = -13 + 48, 2*b = -5*y. Let d be -1 - y - (-10)/(-8). Let a = 1.778414 + 0.221586. Is a less than or equal to d?
False
Let p be (1286/10*19)/((-38)/95). Let v = -6279 - p. Which is bigger: v or -172?
v
Let g = 97.609 + -98. Let l = -4.391 - g. Is l smaller than -25?
False
Let r be 4/15*(120/15 - 2). Are -0.096 and r non-equal?
True
Let d = 3355.575 - 3403. Let g = 0.425 + d. Which is bigger: 0.1 or g?
0.1
Suppose -775 = 9*w - 766. Is w <= 6/587?
True
Let w = 67 - 65. Suppose -3*x = w*i + 22 - 78, -56 = -2*i - 4*x. Do i and 136/5 have the same value?
False
Let q = -3796 + 3703. Is q at least -1218/13?
True
Suppose -7*p = 2*v - 2*p - 1440, -v + 710 = 5*p. Suppose 13*t + v = 3*t. Does t = -75?
False
Let y = -3526 - -3971. Which is smaller: 443 or y?
443
Let g(i) = -367*i + 6609. Let h be g(18). Is h <= -52?
False
Let g be -27*42/(-2835) - 10266/(-10). Which is smaller: g or 1017?
1017
Suppose 3*r - 2 = 4*r. Let q(n) = 3*n + 23. Let m be q(0). Let k(w) = 2*w - 47. Let b be k(m). Which is greater: r or b?
b
Let x = -7802 - -7800. Which is bigger: 21.27 or x?
21.27
Suppose -103*r + 106*r + 5*p - 782 = 0, -2*r + 3*p = -553. Is 272 at least r?
True
Let h = -2.3 - 155.7. Let f = 175 + h. Are -0.11 and f equal?
False
Suppose -9868 = 4*m + 40*n - 37*n, -4948 = 2*m + 5*n. Is m < -2464?
False
Let r be ((-228)/2394)/(2/(-21))*(-3 + -14). Let z be (-5 - 0)/((-2)/(-2)). Let c be (16/z)/(2/10). Which is greater: c or r?
c
Let a = 3.2 - -6. Let w = a + -9. Let o be (4/10 + (-63)/(-105))*(-4)/14. Is w equal to o?
False
Let x be 27/(-12) + 2 + (-73)/(-324). Let y = 17/81 + x. Which is smaller: 0 or y?
0
Suppose 0 = 4*o - 3*t + 33, 29*o = 32*o - t + 16. Which is smaller: o or -304?
-304
Suppose 0 = 26*m - 16*m - 130. Suppose -m*a + 18*a + 65 = 0. Which is smaller: a or -16?
-16
Let o be -847 - (7 - 6)/(11/(-99)). Are -840 and o unequal?
True
Let f be (-9 + 9)/(2 - 1). Suppose g + 2 + 2 = 0. Let a be (g/(-9)*-3)/3. Which is smaller: f or a?
a
Suppose 0 = 3*f + 2*w - 4956, -25*w - 6621 = -4*f - 32*w. Which is greater: 1655 or f?
1655
Let s(m) = -m**2 - 4*m - 2. Suppose 0 = -11*w + 471 + 156. Let b = w - 60. Let l be s(b). Which is greater: l or -1.1?
l
Let a = 300 + -251. Let l = a - 248. Which is bigger: l or 0.2?
0.2
Let p(t) = -t**3 + 19*t**2 - 11*t - 18. Let r be p(18). Suppose -4*u - r = -u. Let y be (-134)/(-12) + 6/u. Is 2/5 bigger than y?
False
Let o(t) = -4*t + 131. Let a be o(20). Let f be ((-123)/a + 2)*(-34 - -33). Which is smaller: 0 or f?
0
Let q = 4.6292 + 0.3708. Is 54 equal to q?
False
Let y = 8.577 + -8.898. Do -1 and y have different values?
True
Let i = 440 - 272. Let s = 180 - i. Is -3 at least s?
False
Let d(b) = -62*b - 245. Let q be d(-4). Is q at most as big as 282/109?
False
Let c = 6790 + -6791. Are c and -5/638 unequal?
True
Let n be 0 + 28/21 + 1765/15. Let y = n - 118. Which is bigger: y or -1/731?
y
Let m = 179622/22933823 - 28/3443. Which is smaller: m or 1?
m
Suppose -4 = -2*h - 56. Suppose 2*b = -t + 5*t + 210, -4*t + 553 = 5*b. Suppose 0*g = g + 5*c + 45, 5*g - 4*c = -b. Which is smaller: h or g?
h
Let n = 128.80178 - -0.26822. Let g = n + -130. Let r = g + -1.27. Which is greater: -3/4 or r?
-3/4
Let r = -5624 + 3552. Let o be (((-768)/r)/(-8))/(4/(-14)). Is 0 smaller than o?
True
Let a be 611/(-47) + 115618/8894. Is -1 smaller than a?
True
Let j = -57.868 + -0.132. Let h = 115 + j. Let v = h - 54. Which is greater: 1 or v?
v
Let k(t) = -3*t**3 + 41*t**2 - 125*t - 10. Let q be k(9). Let y = -13/4 + 343/108. Does y = q?
False
Suppose -20*x + 667 = -413. Which is greater: x or 429/8?
x
Let z = -238919 + 18396457/77. Let k = -38/7 - z. Suppose -4*w + 0*q + 4 = 4*q, 2*q - 2 = -w. Which is bigger: w or k?
w
Suppose -6*y = -9*y - 51. Let w = 