= -1259 - -1267. Let s = -2 + -1. Which is smaller: s or d?
s
Let i = -140 + 140.308. Let l = i - 0.308. Let d = 58 - 103. Which is greater: d or l?
l
Suppose -4*q - 2970 + 32090 = 0. Suppose -18*t + 2348 = q. Which is bigger: -273 or t?
-273
Let b = 51.839 + 0.161. Let u = 45 - b. Which is greater: -11 or u?
u
Let x be -32 + 42 - (-3 - (-3 - 7)). Is 3/40 smaller than x?
True
Suppose -5*j = -2*o - 2*o - 25, -15 = -5*j + 2*o. Suppose -186 - 154 = -5*w. Let z be (-98)/424 + 17/w. Which is greater: j or z?
j
Suppose 5*p - 5*u - 1340 = 0, -5*p + 266 + 1090 = 3*u. Suppose p*s = 272*s - 58. Which is greater: 91/3 or s?
91/3
Let b = -55.83629 - -0.03629. Is -4/7 less than b?
False
Let k(z) = -758*z - 808. Let b be k(-19). Are 13594 and b equal?
True
Suppose -w + 5*w + 2*k - 6 = 0, 4 = w + 3*k. Let v(f) = -18*f**2 + 2*f - 6. Let g be v(3). Let r = g - -971/6. Is w equal to r?
False
Let j be (7/(-2))/((-852)/(-568)). Is j smaller than 18/5?
True
Let a be 4 + (21 - 454/18). Which is smaller: a or -14242?
-14242
Let v = -4133 - -4133. Is v greater than or equal to -1/1417?
True
Let l be 5 + 166174/190 - (-3)/(-5). Are l and 1755/2 equal?
False
Let h(n) = n**2 + 2. Let r(o) = -o**3 - 25*o**2 - 2*o - 53. Let g(f) = h(f) - r(f). Let w be g(-26). Which is greater: w or 34/9?
34/9
Let m be -2*20*(-12)/(-60). Let z(j) = -2*j**2 + 2*j. Let i be z(3). Let y be 1*104/i*1. Which is greater: m or y?
m
Let k = -1599553/192 - -8331. Is 1 greater than or equal to k?
True
Let r be 142/7739 - 3486/(-109). Suppose -h = -i + 32, i + 5*h = h + 17. Is i at least as big as r?
False
Suppose 57*w + 100*w + 149*w = -15606. Which is smaller: -14 or w?
w
Let w(z) = 31 - 310*z + 314*z + 20. Let f be w(-8). Does 19 = f?
True
Let i be (-640948)/(-165)*35/(-66). Let k = 2060 + i. Is -1 < k?
True
Let z be 2/(-164)*-73 - 1. Let i be ((-17)/((-68)/20) - 15) + (-55)/(-5). Which is greater: i or z?
i
Let c(w) = 6473 + 2*w**2 - 6551 + 22*w - w**2. Let y be c(-25). Is -12 at least as big as y?
False
Let h = 234 - 233. Let j = -0.113 - 1.147. Let b = j + 1.4. Is b greater than h?
False
Let d = 135 + -111. Suppose -9*f + d*f = 225. Which is smaller: 14 or f?
14
Suppose 2*s - 4*z + 12 = 0, -2*s = 4*z - 0*z - 20. Suppose -5*j = s*n + 326, -54 = 3*n + 2*j + 457. Is -174 <= n?
True
Suppose -30 - 12 = 16*u + 70. Which is smaller: -187/26 or u?
-187/26
Let t = 142.859 + -0.059. Let l = t - 143. Which is greater: l or -28?
l
Let r(c) = 2*c - 61. Let j be r(28). Let p be (-10)/(-12) - (j/(-1))/5. Is 18 at most p?
False
Let d be ((-2)/3)/(-1)*3. Suppose d*m - 4 = 4. Suppose 2*l - 9 = 5*h, 20286*h + 24 = 4*l + 20282*h. Is l bigger than m?
True
Suppose 4 = -12*r - 20. Let l(n) = 10*n**3 + n**2 - 2*n - 2. Let q be l(r). Which is bigger: -147/2 or q?
-147/2
Suppose 5*q - c - 20 = 0, 3*q - 4*c = -c. Suppose -q*w = -8*w - 81. Suppose -16*u = 296 + 120. Which is greater: u or w?
u
Let l be 191/(4/22 - (-408)/176). Let n be (2086/4)/7 - -1. Let i = n - l. Is -2 bigger than i?
False
Let i = -17.4 - -582.4. Let t = i + -562. Is -4 > t?
False
Let r = -42 - -42. Let d = -236.3 - -215. Which is greater: d or r?
r
Let r = 88 - 44. Suppose 3*u = -5*m - 19, r = -5*u - m + 5*m. Let c(p) = -p**3 + p**2 - 3*p + 3. Let h be c(2). Is h >= u?
True
Let a = 5831 + -5826. Which is smaller: -1223 or a?
-1223
Let r = -7/3 - -3. Let d(t) = 10*t**2 - t - 1. Let c be d(-2). Let x = -39 + c. Which is bigger: x or r?
x
Let d(x) = -5*x + 2. Let m be d(2). Let p be 26/40 + 2/m. Let s = 0.0765 + -0.4765. Which is smaller: s or p?
s
Let t = -380 - -371. Let d be t/((-198)/590) - (-6)/33. Is d equal to -7?
False
Suppose 2*z = -38*z - 130520. Let b = z - -6725/2. Are 101 and b non-equal?
True
Suppose -3*r + r = 9*r + 6*r. Which is smaller: 11/608 or r?
r
Let v(a) = a**2 - 18*a - 7. Let s be v(17). Let i = s - -19. Let r be -3 + 48/15 - 4/i. Which is smaller: -3 or r?
-3
Let w = 5.576 + -0.076. Let p = 28.5 - w. Let n = p + -23. Which is bigger: n or -4/21?
n
Let x = -22.99 + 706.99. Is 2/3 at least as big as x?
False
Suppose n - 3 = -1. Suppose -n*i + 3 = -i. Suppose i*g + 11 = -7. Which is smaller: -5 or g?
g
Let y = 193 + -515. Let a = y + 323. Is 1/656 greater than a?
False
Let g be 0*(7/42 + 14/(-12)). Is 37/156 > g?
True
Let k = -30343 + 30339. Which is greater: k or -130?
k
Let v = 1775.3 - 1775. Which is smaller: v or 519?
v
Suppose -14*p + 515 = -619. Let g = -94 + p. Let r be (g/1768)/(0 + -1). Is r < -1?
False
Let f = 952/28755 + -2/405. Suppose -3*c - 27 = j, -45 = -77*j + 76*j + 5*c. Is f greater than or equal to j?
True
Let k = 3.9224 - 3.9224. Let a be (2/(-18))/((-49)/(-6)). Is a at least as big as k?
False
Suppose 0 = b - 4*o - 47, 3*b = -3*o + 6*o + 96. Let m be (4 - 6) + 2/1. Suppose m = -9*j + 8*j + 28. Which is smaller: j or b?
b
Let f(y) = 0*y + 137 + 18*y + 14*y. Let p be f(0). Do p and 135 have different values?
True
Suppose 4*k + 3 - 11 = 0. Let l be (-1 + -3 + 2)*-1. Suppose -31 = -k*h - 3*v, 0*h - 25 = -l*h - 5*v. Is 20 bigger than h?
False
Suppose -x + 15 = 2. Let r(v) = -v**3 + 13*v**2 - 6*v - 70. Let u be r(x). Which is bigger: -149 or u?
u
Let w(m) = 2*m + 37 - 18 - 3*m. Let a be w(3). Let l = -63/4 + a. Is 29 bigger than l?
True
Let p = 318 + -273. Let n = 40 - p. Let s be 11/15 + 1/(-3). Which is smaller: s or n?
n
Let r be 1533/(-1095) + (-56)/(-30). Is r at least 0?
True
Let s be 3464/4028 + 26/(-247). Which is greater: 0 or s?
s
Let j = 913.2 + -912.1678. Let t = -0.0322 + j. Which is bigger: 8 or t?
8
Let o be (-2)/2*(-1 + 5415/(-20)). Let z = o - 585889/2156. Is z bigger than -1?
True
Let q = -27 - -32. Let f = -13.92 - -15. Let a = 1.08 - f. Are q and a nonequal?
True
Let u = -39945 + 43207. Is u > 3262?
False
Let z = 1.07 + -0.07. Let i = -1.2 + z. Let h = 2157.11 + -2157. Which is smaller: h or i?
i
Let g = 8.583 + -9.583. Which is smaller: 0.2933 or g?
g
Let m be 63/84 - (-2 + (-6)/(-3)). Are 0.1 and m non-equal?
True
Let w(x) = x + 8. Let k(p) = -5*p - 32. Let g(h) = 2*k(h) + 9*w(h). Let b be g(5). Suppose 0*o = b*o - 5*s - 16, -44 = -4*o + s. Which is smaller: 14 or o?
o
Let q be ((-114)/(-95))/((-10)/375). Is 2/27 >= q?
True
Let i be (-31 + 28)*(4/66)/(1/57). Which is smaller: i or -5?
i
Let g(c) = -2*c**3 - c**2 + 0*c**3 - 3*c + c**3 - 2 + 4*c**2. Let t be g(3). Let y be 2*(3 + (-27)/18 - 8). Is y greater than or equal to t?
False
Let u(p) = 145*p - 1594. Let x be u(11). Which is greater: x or 1/506?
x
Let l = -79 - -124. Let o = -44 + l. Let t be 154/158 + (-1)/o. Which is greater: t or -1?
t
Suppose -127*l + 2410 = -132*l. Let m = 25545/53 + l. Which is greater: m or 1?
1
Let w be 280/31 + -3 + -1. Let j = 5 - w. Let m be 2/(1*(0 + -2)). Which is greater: j or m?
j
Let f be -138*(-2 - (-3)/2). Suppose -8 = 4*j, 6*w - 3*j - 361 = w. Is f less than w?
True
Let w(q) = -q**2 + 39*q - 143. Let n = 401 + -397. Let x be w(n). Which is bigger: x or -9.8?
x
Suppose 96*f = 106*f - 10530. Let s = f + -1058. Which is greater: -21 or s?
s
Suppose 0 = -4*i + 7*i + 2*u, -4*i = -2*u. Let b be (-6)/(-9) - 13/12. Let k = b - -47/36. Which is smaller: i or k?
i
Suppose -4*c + 56 = -o + 11, -5*c = -5. Let z be o/1681*(-1 - (0 - 2)). Is 8 less than z?
False
Let n(t) = -10*t - 8. Let m be n(-1). Suppose 0 = -3*h - 4*d + 36, 10*d = m*h + 11*d - 29. Is 13 smaller than h?
True
Let x(c) = -16*c**2 + 194*c - 24. Let u be x(12). Which is bigger: 33/32 or u?
33/32
Suppose 12 - 28 = -4*h. Let d = -23.025 + 0.025. Let g = d - -22.93. Is g not equal to h?
True
Let k be -1 - (-296)/46 - (-28)/(-7). Let x = -333/184 + k. Which is smaller: 0.1 or x?
x
Let l be 2/2 - (-1 - (-20)/5). Let f be (2 - l) + 20152/(-15). Let w = f - -1340. Which is greater: w or 2/7?
w
Let k(x) = 4062*x**2 + 6*x + 3. Let g be k(-1). Which is smaller: g or 4060?
g
Let a be (-136 - 0/3)*1. Let q be 2/(-10) + a/680. Let i be (8/15)/(-4) - 0. Which is smaller: q or i?
q
Let d be ((-11)/(-2200))/((-36)/90). Suppose 2*b - 2*j + 2 = 0, 3*b + 3 = -j - 0*j. Let o be 2/b + 1*2. Is o != d?
True
Let k be 3/(-5) + 132/20 + -2. Suppose -4*m + k*d + 304 = 0, 18*m - 14*m - 289 = -d. Is m greater than 77?
False
Let p(n) = n**2 - 10*n + 30. Let w be p(5). Suppose -w*z = -z - 48. Suppose k - 2*y - 2*y + 17 = 0, 4*k - 2*y = -z. Is 25 > k?
True
Suppose q + 289 - 3006