ch is smaller: c or 4688?
4688
Let f be -1 + (-16)/2 - 0. Let t = -505 - -518. Suppose 2*b - t = b - 5*k, -3*b - 33 = -3*k. Which is smaller: b or f?
f
Let v = 850 - 580. Let f = 288 - v. Which is smaller: f or 20?
f
Let j = -145 - -227. Let i = j - 50. Let x = i + -94/3. Which is smaller: x or 1?
x
Suppose 0 = -4*i + 2*i + 516. Let d = -592 + i. Let q = -3684/11 - d. Is -2 less than or equal to q?
True
Let p be -27*4/(-80)*-4. Let i = p + 33/5. Let v = -192.4 + 192. Which is smaller: v or i?
v
Let q be 18/(-42) + 48/14. Let g be (294/(-108) + q)*(-4)/(-5). Is 1.21 smaller than g?
False
Suppose -637*l + 433*l - 173808 = 0. Suppose 2*h = 2, 2*h = -2*f + 4*h - 1708. Which is bigger: f or l?
l
Let m(x) = x**3 - 6*x**2 - 167*x - 50. Let h be m(18). Which is bigger: h or -3?
h
Suppose 11 + 39 = 25*f. Let o(a) = 2*a**2 - 7*a + 7. Let y be o(f). Does 32/13 = y?
False
Let o be (-2)/3*((-1322)/2 - 8). Let i be 100/(-75) + (-1342)/(-3). Is o equal to i?
True
Let y = 75.6 - 368.7. Let k = 293 + y. Which is smaller: -152 or k?
-152
Let y = -1375 - -1596. Which is smaller: y or -7?
-7
Let n = -23 + 24. Let v = -82.47 - -82.8. Which is smaller: v or n?
v
Let t be (2/(-63))/(19/133). Suppose 5*z + 2*w + 13 = -7, -4*z = -w + 16. Are t and z equal?
False
Let n(k) = 2*k**3 + 21*k**2 + 46*k - 7. Let h be n(-9). Is -181 less than or equal to h?
True
Suppose 12 = 2*b - 6*k + 4*k, 5*k = -4*b + 15. Suppose -a - b*a = 864. Which is smaller: -145 or a?
-145
Let t = -181 - -184. Suppose 21 = t*y - 24. Which is smaller: y or 11?
11
Let d = -70 - -76. Let y(g) = -8*g - 16. Let s be y(d). Let v be (s/6)/(((-14)/(-6))/7). Is -31 not equal to v?
True
Let w(d) = -179*d - 1316. Let l be w(-8). Is l at most 112?
False
Let i = -73 - -72.41. Let j = 103.11 + -103. Let z = i - j. Which is smaller: z or 8?
z
Let r(j) = j**2 - 55*j - 57. Let q be r(56). Let w = 385/9 - 122833/2871. Which is greater: q or w?
w
Let i be 292/(-6) - (-3)/(-9). Suppose 3*k = -s - 43, -2*s - 102 = 86*k - 88*k. Is i at most s?
True
Suppose 18 = f + 4. Suppose -219 = 2*j - d + 90, -3 = -d. Let n = j + 168. Does n = f?
False
Let s = -338 + 342. Suppose -4*v = -s, n + 2*v = 3*v. Is 0.085 smaller than n?
True
Let a be 235662/29505 + ((-6)/(-4))/(9/(-48)). Is 1 less than a?
False
Let a = 17.357 - 17.2. Let w = -0.088 + a. Let z = 2.069 - w. Which is smaller: z or 2/17?
2/17
Suppose -17*h + 12*h + 1445 = 0. Suppose 290*o - h*o = 0. Is 7.3 less than o?
False
Let u(k) = 73*k**3 - k**2 + 3*k - 3. Let i be u(1). Suppose -2*h + 60 = -i. Suppose -22*s + h = -19*s. Is s not equal to 22?
False
Let z be 3/((-15)/1) + (-302)/(-10). Let p be (3*10012/z)/(-54014). Let o = -1/1195 - p. Is o bigger than -1?
True
Let g = -10/1919 - -13391/2937989. Let v = g + -7632/35213. Suppose 3*u = 3*y + 9, 0*y + 4 = 2*y + 3*u. Which is greater: v or y?
v
Suppose -7*x = -1 - 6. Let l be (6/(-18))/(-1 - 120/9). Is l not equal to x?
True
Let i = 85/31 - -1923/124. Suppose 3*n + 84 = 3*k, -n = -12*k + 16*k - 67. Which is greater: i or k?
k
Let y = -28893 - -28893. Which is smaller: y or 9/3316?
y
Let y = 83/40 + -67/8. Let b = -4651 - -4645. Which is smaller: y or b?
y
Suppose 2*b - 67 = 39. Suppose 2 = 3*c + b. Let o = -84 + 85. Is c bigger than o?
False
Let v be (-7)/(-90) + (-3624)/216 + 17. Let z(y) = -y**3 - 3*y**2 + 3*y - 4. Let r be z(-4). Does v = r?
False
Let x(g) = 5*g**2 - 255*g + 170. Let z be x(49). Which is smaller: z or -319?
z
Let q(b) = b**3 + 2*b**2 - 12*b + 14. Suppose 0 = -31*h + 30*h - 5. Let f be q(h). Which is smaller: -38/9 or f?
-38/9
Suppose 339*w - 5810 = 329*w. Suppose 19*g - 3276 - w = 0. Is 202 at least as big as g?
False
Suppose 23*a = 60 + 216. Suppose -j - 4*n - 34 = 0, a*j - 8*j + 91 = -n. Which is greater: j or -25?
j
Suppose 5*x = -48 + 3. Let l(n) = -n**3 - 7*n**2 + 11*n - 25. Let r be l(x). Are 153/4 and r nonequal?
True
Let l(g) = -g**2 - 4*g + 13. Let i be l(-6). Suppose -5*x + 3*y - 4 + i = 0, 0 = 5*x - y + 1. Let r(w) = -w**2 + 3. Let d be r(x). Which is smaller: -6 or d?
-6
Let n be 2/(-3) + 81913/(-234). Let o = n + 351. Which is greater: o or -1?
o
Let u be (-2)/15 - 20562/460. Which is bigger: -44 or u?
-44
Let a = -39.8 - 376.58. Let p = a + 416. Which is greater: p or -2?
p
Let g be (137/8494)/((-10)/24). Which is greater: 0 or g?
0
Let c be 577*3693/(-3) - 0/(-3). Let o = c + 134243338/189. Let y = -25/27 + o. Is y bigger than -0.1?
False
Let h = -27002 + 27266. Is h at least as big as 257?
True
Let s(b) = -3 + 37*b + 0 + 10. Let r be s(-1). Which is smaller: r or -26?
r
Let w be (-111)/(-2)*4/3. Suppose 2*c + 3*l - 147 = 2*l, -3*l = 2*c - 145. Is c greater than w?
False
Let w be 3 - ((-12)/(-18) - (-1358)/6). Let u be 5 + w/40 + (-519)/(-465). Is 0 equal to u?
False
Let s = -24 + 26. Suppose -4*i = -s*q - 166, 4*i - 157 = 2*q + 3*q. Suppose 8 = d - l, -d + 6*d - 2*l = i. Which is smaller: 8 or d?
8
Let x = 21 - 19. Suppose 5*j - 615 = -5*n, -3*n - x*n = 3*j - 619. Suppose 5*g + h = -137, 5*h = 3*g - 8*g - n. Do g and -28 have the same value?
True
Suppose a = 4*a - 18. Suppose 6*m - 4 = 4*m. Suppose -v = -t, -4*t + 10 = -v - m. Is v > a?
False
Suppose -3*r + p = -4532, -573*r + 7556 = -568*r - 3*p. Is 1512 smaller than r?
False
Let j(t) = 7*t - 878. Let a be j(63). Which is smaller: -436 or a?
a
Let h be 126/(-15) + (-2)/(-5). Let j be (-3)/((-22)/((-3872)/72)). Is j at least as big as h?
True
Suppose 5*d + 60 = 11*d. Let j be (4/8)/(d/(-16)). Which is greater: j or -0.03?
-0.03
Let t = 10119 + -10117. Which is bigger: t or 1228?
1228
Let i = 162 - 277. Let p = -53 + i. Let g be (-2)/(-7) + 692/p. Which is greater: -5 or g?
g
Let n be (-8734)/18 + (1012/198)/23 - 5. Which is smaller: n or 1?
n
Let s be 82081/(-76) - (-1)/(-4). Let l = 1080 + s. Which is greater: l or 1?
1
Let v = -6.5407 - 0.4593. Is -94 smaller than v?
True
Let g(d) = 97*d + 215. Let b be g(8). Let o = b - 849. Does o = 139?
False
Let q be 3/(-5 + 267/276 + 4). Which is bigger: q or -23?
-23
Let q = -236 - -242. Let t be (-6224)/24*q/(-4). Which is smaller: 388 or t?
388
Let i be ((-25533)/12717 - 7) + (24 - 15). Which is bigger: 0 or i?
0
Let r(q) = 13*q + 8. Let x be r(-5). Let n be 23/(-15) - 76/x. Suppose 140*o = 148*o. Which is bigger: n or o?
o
Let l = -533 - -537. Suppose 4*p + 0 = -l, 5*o = -5*p - 40. Does o = -58/7?
False
Let l be 4/18 + (6 - (-16094)/234). Do 515/7 and l have the same value?
False
Let r(c) = 5*c + 71. Let j be r(0). Let p be 69 - 15/(-6)*(-4)/(-5). Is j at most as big as p?
True
Suppose 1776 = -v + 5*v. Let g = 1932997 + -48313827/25. Let n = v - g. Which is smaller: n or 0?
0
Let z = 522591 - 3665311/7. Does -1026 = z?
False
Suppose 29353 = 5*x - 2*g, -450*x + 453*x = 5*g + 17627. Are x and 5868 nonequal?
True
Suppose 0 = -33*d + 34*d + 275. Let v = -278 - d. Which is greater: v or -12/5?
-12/5
Let d(k) = k**2 + k - 72. Let l be d(-9). Suppose 16*m + 59 - 59 = l. Let q be 1 + 0 - 71/73. Is m less than or equal to q?
True
Let k = -0.019 - -47.019. Let j = k + -47.2. Is j smaller than -3/10?
False
Let g = 34.09 + -33.09. Which is bigger: 1.962 or g?
1.962
Let x be (-12)/240 - (-4573)/75140. Which is greater: x or -1?
x
Let z = -1356 + 1355. Are z and 7/50 unequal?
True
Let s = 333 - 294. Let q be -2*(s/(-21) + -2). Do q and 8 have different values?
True
Suppose -4*f = -n + 4*n + 1081, -2*n - 721 = 3*f. Let a = -8602 - -25804/3. Which is smaller: a or n?
n
Let a be (2/(-4))/(((-1)/(-2))/(-1)). Let b be a + (-6 - (-1)/(5 - 6)). Is 28 greater than or equal to b?
True
Let v = 267.58 + -267. Let r = v - 32.58. Do r and 0.5 have different values?
True
Let z = -106497/10 - -10650. Are z and -1 equal?
False
Let b = -4 - -7. Let g = 76801/5 - 15357. Is b >= g?
False
Let y = 241.6 - 241.6. Is 208.2 at most as big as y?
False
Suppose j - 13 = -3*o, -12*o + 14*o - 22 = -4*j. Let k = 9 + -3. Let w be 3/k + ((-18)/(-10) - o). Is w not equal to -1?
True
Let q be (-115)/(-35) + 4/(-14). Suppose -4 = n + q*n. Suppose 0 = 55*v - 84*v - 145. Which is smaller: n or v?
v
Let j(o) = o**3 - 11*o**2 + 11*o + 13. Let w be j(10). Suppose -3*i + w - 23 = 0. Suppose i = -102*b + 107*b - 70. Is b bigger than 13?
True
Let y be (-2)/((-21)/((-1470)/(-20))) + -13697*1. Is y at least as big as -13689?
False
Let d = 100 + -100. 