90). Let f = -934 + w. Which is greater: 14 or f?
14
Let x = -215 + 216. Let j be (6*(x + 0))/((-108)/(-128)). Are 7 and j equal?
False
Let v(k) = 223*k - 567. Let u be v(3). Which is bigger: u or 6?
u
Let n = 5018/49 - 185715/1813. Let a = -2.6 + -0.4. Which is bigger: a or n?
n
Let j = -43 - 19. Let u = j + 56. Let l be -6*(-10)/45*u. Which is greater: -7 or l?
-7
Suppose 2*b = 4*h - 10219 - 2819, -h + b = -3260. Are h and 3260 unequal?
True
Let s be (-5)/(-52) - (-1 + 0)*(-15)/(-30). Do 1 and s have the same value?
False
Suppose 0 = 8*h - 2*k - 32, -4*h + 5*k = -5*h - 17. Which is smaller: h or 73?
h
Let s(q) = q**3 + 15*q**2 - 12*q - 191. Let j be s(13). Which is smaller: j or 4384?
4384
Suppose 3*j = -3*o + 66, -389*o + j - 106 = -394*o. Is o at least as big as -0.016?
True
Let m = -212/7 - -3152/105. Let l = m + 8/5. Suppose k - 5*k = -4. Is l at least as big as k?
True
Let i = -313 + 206. Let d = i + 71. Let g = d - -37. Is g <= -7?
False
Let o = 7934 + -7439. Are 0.1 and o unequal?
True
Suppose 23 = -6*w + 41. Suppose 5*c - 385 = -w*o, -6*c = -o + 37 + 53. Which is bigger: 122 or o?
122
Let v(f) = -18*f**3 + 5*f**2 - 3*f - 55. Let q be v(-5). Which is greater: 2334 or q?
q
Let q(b) be the first derivative of -b**3/3 + 13*b**2/2 + 98*b - 241. Let y be q(19). Is -19 at most y?
True
Let g(j) = -6*j**3 - j**2 - j. Let u be g(-1). Let y = 2406839/406367 - -8/31259. Which is greater: y or u?
u
Let u = -11960/3 + 3986. Which is greater: 8/2121 or u?
8/2121
Let a = 5689 + -142193/25. Which is smaller: 1 or a?
1
Let u = 39454 - 56340313/1428. Do -1 and u have different values?
True
Let f = 43.1 + -43. Let v = 1.5 + -1.78. Let t = 0.35 + v. Which is smaller: f or t?
t
Let l = -66 + 68. Let d(z) = -l*z**2 - 115 + 126 + 3*z**2 + 3*z. Let f be d(-5). Which is smaller: 43/2 or f?
f
Let k = 711 - 708. Let x(b) be the third derivative of -b**4/12 + b**3/6 - 2*b**2. Let p be x(k). Which is smaller: -3 or p?
p
Let a = 62436/25 + -2497. Let v = a - 1/25. Let s = 0.203 - -0.397. Do v and s have the same value?
False
Let o = -18 - -65. Suppose 15*i = -14*i + 1711. Let p = o - i. Is -12 not equal to p?
False
Suppose -5*b - 11 - 74 = 0. Suppose 7*j - 36 = -4*n, 3*j + 46*n = 45*n + 9. Is j bigger than b?
True
Let x be (1/(-8))/((-130)/8). Let o = -88382 - -88382. Which is greater: o or x?
x
Let n be 693/(-1848) + ((-243)/(-200) - 1). Are 0 and n unequal?
True
Suppose -3*y + 675 = 3*s - 4*s, 933 = 4*y - 5*s. Which is smaller: -8 or y?
-8
Let f = -57901747/47 - -1231789. Let g = -163 - f. Is 0 bigger than g?
False
Let b = -3134 - -3077. Let f = 61.1 + -6.1. Let q = f + b. Is 0.8 at least q?
True
Suppose 4*r = -5*i + i - 48, -2*i = r + 12. Suppose -5*d = -283 + 263. Let w be ((r/165)/d)/((-84)/(-30)). Do 0 and w have different values?
True
Let g = 19933 - 20016. Which is smaller: g or 0.06?
g
Suppose 68 = 24*x - 92*x. Which is smaller: 3 or x?
x
Let g(j) = -2*j**3 - 4*j**2 - 47*j - 344. Let p be g(-9). Which is smaller: 1214 or p?
p
Suppose 0 = 35*c - 44 - 656. Suppose -22*w = -c*w - 2*t + 2, -2*w = -t. Which is bigger: -3/80 or w?
w
Suppose -14*a - 29 = -71. Suppose 4*j + b = -60, 2*j - 7*b = -4*b - 44. Let m = 0 - j. Is m less than a?
False
Suppose -153*p + 132*p = -21. Which is smaller: -0.87 or p?
-0.87
Let h = 405 + -671. Let g = -293 - h. Is 1 less than or equal to g?
False
Suppose 70 = -7*b + 2*b. Let o = -20.43 + 12.43. Which is smaller: o or b?
b
Let z be ((-24)/219)/(1*2). Let a = 2636 + -2635. Is a at most z?
False
Suppose -4*y - 4*d = -270 - 826, -5*y + 2*d = -1370. Suppose 101 = p - 171. Is p greater than or equal to y?
False
Suppose -6*c - 30 = -c. Let s be (4/c)/((-4)/6). Let o = -8.29812 - -0.29812. Which is greater: s or o?
s
Let o = -5463/5 + 1093. Which is greater: o or 339?
339
Let g be ((-4)/(-12))/(90/540). Which is greater: 120.46 or g?
120.46
Let j be 176/12 + -3 + -1. Let k = -11 + j. Suppose 19 + 69 = -4*u. Which is greater: u or k?
k
Let y be 27423918/(-26829) + (-8)/(-44). Let d = 1022 + y. Suppose c = 6*c - 2*z, c - 5*z = 0. Which is bigger: c or d?
d
Let c(d) = -d**2 - 4 + 4 + 4. Let h be c(3). Let f = -157 + 151. Which is smaller: h or f?
f
Suppose -2*c = 5*t + 8, -4*t - 11 = -5*c + 2*c. Let q = -2425 - -463181/191. Is c equal to q?
False
Let q = -154613/11 - -14055. Let f = 2 + 1. Suppose -2*v = f*v. Which is smaller: q or v?
q
Let c = 12012 + -12010. Are -1247 and c non-equal?
True
Let q = -10843/9 + 1205. Which is bigger: -40.4 or q?
q
Let g(x) = -3*x**3 + 3*x**2 + 2*x - 2. Let a be ((-85)/(-34))/((-3)/(6/(-5))). Let d be g(a). Let b = 82 - 244/3. Does b = d?
False
Let v(j) = -5*j**3 - j**2 - 1. Let g(b) = 4*b**3 + 2*b**2. Let t(m) = 4*g(m) + 3*v(m). Let a be t(-4). Let f be (6 - (-600)/(-105)) + (-623)/(-49). Is f > a?
False
Let s = -79 - -35. Let o = s + 80. Let x = o - 35.6. Is 2/5 < x?
False
Suppose 12*t + 21 = -3. Let i be 0/4 + (t*6)/(-4). Is 32/19 greater than i?
False
Let r be (4 + 1822/(-606))*3 + -3. Let v = r + -499/303. Which is bigger: v or 0.1?
0.1
Let d be -5 - (2 + -5 + -1). Let i be (-287)/5 + (-1 - d)/10. Is -56 at most i?
False
Let g = -4984 - -2676. Let o be g*(-5)/90 - 2/9. Suppose -11*v = -o + 18. Is 10 equal to v?
True
Let w = 19844 + -31767. Is -11924 at least w?
False
Suppose 2*p + x = 194, 0 = -4*p - x - 55 + 441. Let n = p - 98. Let a = -7766/7 - -1106. Which is smaller: a or n?
a
Suppose 3*a = 3*u + 15, 1 = -3*a + 2*a + 4*u. Let x = -4434 - -4438. Suppose x = -k - a. Is -11 greater than k?
False
Let z be ((-8)/(4352/(-12)))/((-30)/(-100)). Do z and 1 have different values?
True
Suppose s - 5 = -3. Suppose -i + 3*b - 14 = 0, 3*i + s*i + b + 6 = 0. Let o be -9 + -1*128/120*-6. Is o <= i?
True
Let g = -6.1 - 1.9. Let x = g - -7.9. Let l = -187 - -187.1. Does x = l?
False
Let d be 10/((-3)/((-6)/19)). Suppose 232*w - 109 = 101 + 22. Which is smaller: d or w?
w
Let v be (-2)/(-2)*(-2)/(-2). Let s = 44/4425 + 47482/30975. Which is smaller: v or s?
v
Let r = 0.11438 - 4.11438. Which is smaller: 0.296 or r?
r
Let f(t) = -10*t - 205. Let w be f(-27). Which is smaller: 54 or w?
54
Suppose 0 = 2*c - 2*s + 2, -112*c - 4*s + 4 = -108*c. Which is bigger: c or 27/775?
27/775
Let c = -4 + 4. Suppose c = -4*i + 13*i - 1107. Which is bigger: 122 or i?
i
Let k be (3 - 5)*1 - 8. Let w(u) = -u**2 + 21*u + 634. Let m be w(38). Which is smaller: k or m?
m
Let j = 190.5 + 10.5. Let t = 100 - j. Let n = -70 - t. Which is bigger: n or 0?
n
Suppose -5*t = 2*m - 150, 4*m + 101 = 3*t + 3*m. Suppose t*c - 27*c - 310 = 0. Let w = c - 60. Is w equal to 3?
False
Let z(a) = -51*a + 1149. Let y be z(14). Is 435 at most y?
True
Let p = -7813 - -9722. Is 1909 smaller than p?
False
Let d be (-2)/12*-56*(-40)/(-3840) + 2/(-9). Let j = -547 + 14767/27. Is j > d?
True
Suppose 4*h = 19 - 3. Let x(t) = -t**2 - 24*t - 124. Let f be x(-9). Suppose 0*v - 11 = -u + 3*v, 0 = -5*u + h*v + f. Which is smaller: u or -1/2?
u
Suppose 311*t = 299*t + 12. Let g(i) = -145*i**2 + i - 1. Let f be g(1). Let x = 1596/11 + f. Which is smaller: t or x?
x
Let b = -3458 - -3420.66. Let f = -38 - b. Let t = 0.56 + f. Which is bigger: t or -5?
t
Let j be 5896/(-73508) - 68/1598. Which is smaller: -1 or j?
-1
Let f = 932 + -59647/64. Suppose -137 = -2*g + 3*y + 545, -y + 1012 = 3*g. Let d = g - 339. Is d bigger than f?
False
Let x be ((2 - 6) + 1)*85/51. Let y be 12/6 - 9 - x. Which is smaller: -26 or y?
-26
Let g = -5 - -4. Let u be (-47)/(-4) - (-9 + -4 - -26). Which is smaller: g or u?
u
Suppose -852 = 2*p - 1708 + 856. Is p less than or equal to 21/782?
True
Let q = -99033.033 + 99089. Let z = 56 - q. Let p = z + -1.033. Is -4 < p?
True
Let a = -1097/57892 + 7/492. Is a smaller than 1?
True
Let p(r) = r**3 - 13*r**2 + 25*r + 77. Let d be p(13). Is d at most as big as 0?
False
Let y = 1251620/634593 + -12/9197. Are y and 3 equal?
False
Let z(t) = t**2 - 65*t + 352. Let b be z(64). Let y be (-2988)/b + (-9)/(-24). Let u be ((-13)/2*2)/1. Is y less than or equal to u?
False
Suppose 66*t + 15 = 61*t. Let k be ((-823)/258 - t) + (-2)/(-12). Which is bigger: k or 1?
1
Let i(m) = -m**2 + 11*m - 12. Let z be i(8). Let u be ((-476)/(-8))/(-7) + (-6)/(-12). Let c be 12/3 + 0 - 80/u. Is z at least as big as c?
False
Let t be ((-2)/28)/(1/24). Let y = 391.687 + -385.687