2*d + g, -2*b = 4*d + 18. Let k be (57/42)/((-2)/4). Which is bigger: k or d?
k
Let x = 74 - 53. Suppose 13*i = x*i + 384. Does i = -50?
False
Let b be (-2)/(-8) + 1/(-4). Let t(q) = 2*q**2 + 6*q + 1. Let m be t(-1). Let a be m + (-90)/(-24) + 1/4. Which is smaller: a or b?
b
Suppose -3*l = 4*r - 33, 0 = 3*r + 6*l - l - 33. Suppose 0 = -5*u - r - 4. Suppose -24 = -7*y + 18. Is y less than u?
False
Let g = 13.36 + 0.64. Let v = 14.1 - g. Is v at least 202?
False
Let k(m) = -m - 11. Let r be k(13). Let l = r + 61. Let q = l + -31. Which is greater: q or -2?
q
Let q = -4.6 - 5.6. Let h = q - -9.77. Let l = -0.33 - h. Which is greater: l or -13?
l
Let i = -336 - -318. Let q be 5 - ((-39)/i + (-8)/(-16)). Suppose 26 = 3*x - x - 5*v, 4*x - 32 = 5*v. Which is smaller: x or q?
q
Let p = 2 + -2. Suppose -4*d - 8 = 2*o, 2*d = -4*o - p + 2. Suppose 0 = -c - o + 1. Is c not equal to -9/5?
True
Let l be 6 - -6*(-4 + 10 + -16). Let q = 12 - 15. Is l at most q?
True
Suppose -1 = 4*h - 17. Suppose h*d + 20 = 4. Let t be ((d - -5) + -4)*-4. Which is smaller: 11 or t?
11
Let q = 1920.986 + -1921. Let n = -2345 - -2349.986. Let h = q - n. Does h = -2/3?
False
Suppose -4*u - 4*v = -0*v + 1088, -5*v - 288 = u. Let f = 261 + u. Are f and -0.1 equal?
False
Suppose -3*i = 4*d - 1401, -6*d + 3*d - 5*i + 1048 = 0. Suppose -12*a - d = -4371. Which is smaller: a or 336?
a
Let c be 5/((-5)/((-105)/77)). Let h be (-11)/(-44) - (-1)/(8/118). Suppose -5*q - 3*a = -h, -2*q + 2*a = 3*a - 5. Is c > q?
True
Let s be (-2)/(-9) + 32/18. Let l be (s/(-7))/(36/112). Suppose 4*p + 4*j + 34 = 14, -3*p + 5*j + 17 = 0. Which is greater: p or l?
l
Let f be (-298)/(-10) + (-2)/30*-3. Let w be 5/(f/(-105) + (-78)/70). Which is bigger: -5 or w?
w
Suppose -26*s + 150 = -s. Let p be (-2 - (-150)/81)*s. Which is smaller: p or 2?
p
Let x(g) = g**3 - 11*g**2 + 21*g + 25. Let f be x(8). Let v = 4794863/11 - 435353. Let i = 544 - v. Which is smaller: f or i?
i
Let z(g) = -420*g**2 - 36952*g + 738. Let v be z(-88). Let b be (0 - -3)*4/(-6). Let h be b/(-4) - 65/(-2). Does v = h?
False
Let y be (3/6)/(2/(-180)). Let r(v) = -85*v + 1235. Let q be r(15). Which is smaller: q or y?
y
Let h = -108 - -101.3. Let y = h - 16.3. Which is greater: y or 2/9?
2/9
Let b be ((-16)/(-56))/((-2)/(-28)). Suppose -3*w - b*l - 21 = 0, 5*w + 3 = 4*l - 0. Let o(u) = -u**2 - 17*u - 60. Let q be o(-12). Which is smaller: q or w?
w
Let s = 51.5 - -577.5. Let b = s + -651. Which is smaller: 3 or b?
b
Let x be (-81)/(-14 - 13) + (-78)/46. Suppose 2*z = -w, -6*w - 2*z = -3*w. Is w equal to x?
False
Suppose -5*w - 25 = 0, -4*q + 5*w = -7*q + 59. Let s be ((-28)/10)/(1/(1 - 11)). Is s equal to q?
True
Let h be 7/((-23478)/(-64))*-10*(-9)/60. Which is smaller: -1 or h?
-1
Let i = 5080810/13 + -391236. Is -1 at most as big as i?
False
Let j(x) = 16*x - 59. Suppose 0 = 3*k - 2*o - 24, 55*o = 57*o. Let g be j(k). Is g at most 71?
True
Suppose t + 17 = 3*j + 2*j, -5*j + 33 = t. Let y be (-1406)/76 - 2*(-6)/t. Is y < -15?
True
Suppose 483 - 1671 = 66*q. Suppose -66 = 2*t - 4*z, -2*z + 4*z = -3*t - 59. Is q less than t?
False
Let q = 397 + -323. Let r = q - 5702/77. Which is bigger: r or -1?
r
Let m = 3/26009 - -51877/1222423. Which is smaller: m or 561?
m
Let t = -77.94 - 1157.06. Which is smaller: 2 or t?
t
Let l(y) = -19*y**2 - 12*y + 3. Let t be l(2). Let k be (-18)/(-30) + t/(-5) + -2. Which is greater: 6 or k?
k
Let a be (4137/(-6895))/((-2)/(-100)). Let k be (-4)/(-6)*(-2 - 1). Let x be (29/k)/((-2)/(-4)). Which is bigger: a or x?
x
Suppose 1862*q - 1851*q = 8371. Which is greater: 759 or q?
q
Let b(s) = 3*s**2 + 16*s + 5. Let c be b(-5). Suppose c = -2*v + 8*v - 378. Suppose 3*d = 6 - v. Is -35/2 equal to d?
False
Let u be (2/(-6) - 1)*55056/(-1984). Is u not equal to 87?
True
Let x(l) = 31648*l**2 - 62*l - 34. Let w be x(-1). Is w smaller than 31676?
False
Let m be (1/3)/((100/(-285))/5). Let h = -1137/236 - m. Is 1 < h?
False
Let y = 1244 + -809842/651. Let n = y - -1184/38409. Which is greater: n or 0?
n
Suppose -3*i = 41*c - 43*c + 789, 4*i = 2*c - 792. Is 389 smaller than c?
True
Let s = -2.081 - 0.119. Let w = -2.8 - s. Which is greater: w or -3?
w
Let r be 2 + 32348/(-10) + (-36)/180. Is r at least -3228?
False
Suppose -290 = -4*r - 3*o, -5*r - 5*o + 316 = -9*o. Is 746/11 <= r?
True
Suppose -2*y = -3*v - 3, 2*y - 4*v + 1 = -1. Let f be ((-5628)/792 - -16) + 6/22. Is y smaller than f?
True
Let d(f) = f**3 - 5*f**2 - 49*f + 318. Let l be d(6). Is l equal to 184/3?
False
Let d = 8 - 7. Let x = -0.023 + -1.377. Let w = x + d. Which is smaller: w or -1/3?
w
Let c be 11/(22/(-4)) - 87. Let q be (1/c)/(2/6). Which is greater: q or 1?
1
Suppose 28 = 2*q - 5*s, 6 = -2*q + 2*s + 22. Is q > 40?
False
Suppose 4*l - 2*l - 40 = 0. Let c = 50 - 112. Let q = 81 + c. Are l and q nonequal?
True
Let w = 2110 - 1985. Is 122 <= w?
True
Let w = 7398 + -3871. Does w = 3525?
False
Let j = -41747 + 42670. Which is smaller: 924 or j?
j
Let g = 1973 + -1344. Let a = -1856/3 + g. Suppose 2508*t - 2529*t = -210. Is a at least as big as t?
True
Let a = 651 - 645. Suppose 0 = -a*s - 204 - 114. Which is smaller: s or -51?
s
Let x(m) = m**3 + 20*m**2 + m - 39. Let r be x(-20). Let q = r - -58. Which is bigger: q or -5/3?
q
Suppose -t + 5*x = -2*t + 54, -x = 5*t - 270. Let l(f) = -f + 11. Let a be l(13). Let b be (-2)/(-9) + (-372)/t*a. Is b >= 25/2?
True
Let y = -274/3 - -90. Let d = -23.9546 + 0.0546. Let z = d + 31.9. Is z bigger than y?
True
Suppose 1522 - 85 = -4*m + m. Does -478 = m?
False
Suppose 15*l = 12*l + 312. Let p = l + -120. Do 1 and p have different values?
True
Suppose -4*r + 14 = -2*u, -2*r + 0*u - 5*u = 23. Which is greater: r or 15/599?
r
Let h be 103*(-1 - ((-4 - -3) + 1)). Let f = -835 - h. Is -731 equal to f?
False
Let r be 3/(1530/(-4))*(49 - 43). Which is smaller: -1 or r?
-1
Let w be (-6)/(-9)*(-3)/8*0. Suppose 2*s + 1 = i - w, 0 = -s. Which is smaller: i or -2/217?
-2/217
Suppose 8*b + 5*p = 3*b - 25, -2*b = 4*p + 20. Is 15/31 less than b?
False
Let h = -6 - -10. Suppose 4*s + 12 = 2*s. Let i be (-2)/s*(-3 - (-30)/h). Are i and 1 nonequal?
True
Let f be (-21)/7 + (1 - -2). Let p be -1 - (4/(3 - -1) + f). Let w be (24/(-42))/p - 52/(-14). Which is smaller: -11 or w?
-11
Suppose -158 + 154 = -4*y. Let f = -209/8 - -38263/1464. Which is greater: y or f?
y
Let d = 33 + -62. Let l = 5903.9 - 5903.5. Which is bigger: l or d?
l
Let m = -32514 - -32523. Which is greater: m or -261?
m
Let d = 20/1239 + -294751/413. Let z = -721 - d. Let m = 1318 - 1324. Is m equal to z?
False
Let l = 10275/7 - 39601/21. Let o = l + 418. Suppose -26*x + 9 = -17*x. Which is smaller: o or x?
o
Let v(o) = 17*o + 79. Let r be v(-3). Suppose 3*i - 7*i + 141 = 5*h, 0 = -h + i + 30. Let x = h - r. Which is smaller: 1.3 or x?
x
Let l(n) = -5*n**2 - 4*n + 17. Let p(y) = 6*y**2 + 4*y - 18. Let v = -2 + -2. Let o(j) = v*l(j) - 3*p(j). Let x be o(-5). Is 16 equal to x?
True
Let m = -0.0686 + 0.4426. Which is smaller: m or 0.5?
m
Suppose -1255 = 4*s - z, -5*z = 4*s - 0*z + 1237. Let v = s - -240. Which is bigger: v or -2/9?
-2/9
Let f be (-174)/4*(-1425)/(-585). Let t = f - -106. Which is smaller: t or -1?
-1
Suppose 0 = -5*m + 3*x + 45, 4*m = -2*x - 5 + 19. Let r be ((-45)/(-30))/(33/m). Is 0.2 at least r?
False
Let q = 271.87 + -272. Let l = -26/3 - -176/21. Is l >= q?
False
Let m be 16/640*230*-4*1. Suppose v + v + 44 = 0. Which is bigger: v or m?
v
Suppose 5*w = -2*n - 2, 16*n - 2*w - 254 = 3*w. Let l be (-4)/(-1) + 11 + -3. Is l smaller than n?
True
Let a = 0.0589 + 0.0711. Let s(g) = g**3 - g**2 - 10*g + 2. Let c be s(4). Is a equal to c?
False
Let m = 54.58 - -3324.42. Is m greater than 0?
True
Let z = 752 - 715. Suppose -32*t - 5 = -z. Which is bigger: -13 or t?
t
Let h = -34694/14805 - -3258863/1018584. Let r = h - 107/215. Let u = 1/24 + r. Which is smaller: -15 or u?
-15
Suppose -23*g - 37*g = -10*g + 20*g. Is 1/4874 at least as big as g?
True
Suppose 2*n + 144 = -4*b - 624, -b - 185 = -3*n. Which is greater: b or -147?
-147
Let t(m) = m**2 - 20*m + 9. Let r be t(13). Let f be (-90)/(-36)*(-492)/15. Is r <= f?
True
Let c = -0.879 + 1.879. Do c and -0.0439 have different values?
True
Let r = 2535 - 2520. Which is smaller: r or 17?
r
Suppose 0 = 3*d - 