4 - (-1297)/8. Suppose -b = -7*b + w. Let x = 5 + -4.8. Which is smaller: b or x?
x
Let u = -242 - -122. Let j be (1 - u/14) + (0 - 1). Which is smaller: 8 or j?
8
Let f be ((-6)/45)/((-4)/(-65)). Suppose -2*u + 16 = -5*h - 41, 0 = 5*h + 25. Let l be (-2 - u/(-7)) + (-115)/35. Is f at most as big as l?
False
Let g = 2/650895 - -39921382/57929655. Let y be (-5 + (-5346)/(-1068))/(5/(-20)). Let t = y + g. Is 4/13 < t?
True
Let g be 3 + -13 - (-8730)/905. Which is smaller: 1 or g?
g
Let u be -8 - (-7)/((-49)/(-63)). Let f be 24 - 25 - (u - -1). Let r = 127/10 - 29/2. Is f at least r?
False
Let j be (15/(-20))/(2/(-8)). Suppose -j*g = 3*q + 6, 5*g = 3*q + 6 + 16. Suppose 53 = -g*h + 13. Is h greater than or equal to -20?
True
Suppose 20*i - 2*i - 14*i + 1196 = 0. Which is smaller: -14 or i?
i
Let i = -76 - -170. Let t = i - 56. Let y = t + -41. Is -0.3 at most y?
False
Let h = 2972 - 2966. Which is smaller: 140/19 or h?
h
Let t = 0.0224 - -0.0676. Is t bigger than -2.7?
True
Let w = -350261/12 + 29145. Does -42 = w?
False
Let c be 3/27*-2343 + (-10)/6. Is c >= -263?
True
Let p = -9/382 - -58091/1146. Let i = -861/17 + p. Let t be 1 + 0*31/(-341). Which is smaller: i or t?
i
Suppose -5*t - 3*g + 546 = 0, t + 15*g - 13*g - 112 = 0. Let i be 1*2*54/t. Is 7/8 less than i?
True
Let f be (297/5544)/(6/35). Which is bigger: f or 0?
f
Let z be 24/64 + (-167934)/493776. Let g = z - 6/127. Which is bigger: g or -1?
g
Let h be (-6)/(-27) - 215/(-45). Let b(w) = 2*w**2 - 12*w + 8. Let i be b(h). Suppose 5*y + 0 = -5*m - 5, 4*m - 21 = y. Is i at most as big as m?
True
Suppose y = -4*y - 40. Let p be (6/(-9))/((-9)/(108/y)). Is -78 bigger than p?
False
Let x be ((-240092)/(-2895))/(2/171). Is x at most as big as 7091?
True
Suppose -w + 5*a = 11, a - 3 = -0*a. Let v be 30/12*40/25. Let c be -3 + v/(-20)*-10. Which is greater: w or c?
w
Let d be -1 - (0 + (-157)/155). Let x = 34/12249 - 1763999/13290165. Let p = x - d. Is p less than or equal to 5?
True
Suppose 4 = 4*c, -5*c = -5*p + 163 + 27. Which is smaller: p or 27?
27
Suppose 1877 = -5*z + 2947. Which is bigger: 246 or z?
246
Let d = 105 - 125. Let f be (-8 + 3)/d + (-5932)/(-16). Which is smaller: 0 or f?
0
Let u(b) = 3*b**2 - 2*b + 6. Let a be u(2). Suppose -a*y = -4*y + 290. Is -1 less than y?
False
Let d be 2/(7/(105/18)*95/(-57)). Are d and -8/145 equal?
False
Let u(q) be the third derivative of q**6/120 - 7*q**5/30 - 5*q**4/8 + q**3/3 + 21*q**2. Let p be u(15). Suppose -p*f = -0*f + 2. Is f smaller than -6/25?
True
Let m be (60/70)/(15/(-14)). Which is bigger: 1087 or m?
1087
Let l(n) = -n**2 + 10*n - 7. Let z be l(5). Let f(y) = -y**3 - 3*y**2 - 5*y - 4. Let i be f(-3). Which is smaller: z or i?
i
Let i be (56/(-5))/(((-64)/(-280))/(-4)). Let q = i - 195. Let w be (1 + -2)*1*-1. Is w smaller than q?
False
Let k = -136 - -405. Let s = k - 269.1. Let l = 80/3 + -27. Which is greater: l or s?
s
Let c be (-11)/(-55) + 2/(-10) - (-21 - -26). Do c and -2/149 have the same value?
False
Let q = -6 - -5.4. Let x = 31280 - 156399/5. Is x <= q?
False
Let w be (183/(-2196))/((0 + 2)/(-16)). Which is smaller: w or -1631?
-1631
Let k = -18/14231 + -1247/113848. Which is smaller: k or -1?
-1
Suppose -393*f - 7098 = -354*f. Is -175 >= f?
True
Let y(o) = o**3 - 14*o**2 - 2*o + 28. Let p(q) = q + 4. Let l be p(-18). Let c be l/(-4)*8/2. Let i be y(c). Do 2 and i have different values?
True
Let q = -70/201 - -1/67. Suppose 7*c + 11 = 18*c. Which is bigger: c or q?
c
Let j(d) = d**2 - 2*d - 28. Let i = 0 - 7. Let t be j(i). Suppose 0 = -2*n - n + 102. Which is smaller: n or t?
n
Suppose -16*p - 112854 = -37*p. Is p greater than 5375?
False
Let v be ((-21)/(-6))/(2/4). Let k be 22698/12 + (-2)/4. Let n be k/279 - (-5)/(90/4). Are v and n nonequal?
False
Let p = 901 - 974.6. Let o = -67 - p. Let u = 4.6 - o. Is -2/13 < u?
False
Let c = -30622 + 306219/10. Is c greater than -25.1?
True
Let x be (14 + -12)*(-6)/1. Let o = -1551/85 - -130/17. Do o and x have the same value?
False
Let x(l) = -2162*l - 8649. Let w be x(-4). Do w and -102/59 have different values?
True
Let r = -75.31 + -0.69. Let v be (15/4 - 4)*(-136)/102. Is v equal to r?
False
Let g = -10652.1 - -10703.1297. Let r = g + -51. Are 1 and r non-equal?
True
Suppose 0 = 5*u - 4*r + 9, 253*u + 2*r = 251*u. Which is smaller: 8/1933 or u?
u
Let o be (-84)/66*738188/(-152). Are 6182 and o nonequal?
True
Let c be ((-4)/6)/(214/(-30) + 7). Suppose 0 = -p + c*t + 75, 3*p - 274 - 8 = -4*t. Let k be 12*(1/(-3))/(9/p). Does k = -40?
True
Let d = 12903 + -12903.3. Which is greater: 2157 or d?
2157
Let q be (5/((-200)/(-188)) - 5)/((-4)/40). Let k = 35 + -81. Which is bigger: k or q?
q
Let m = 3826/2945 - -1/1178. Suppose 48 = 24*c - 0. Is m < c?
True
Suppose 0 = -3*l - 2*l - 40. Suppose 0 = 8*y - 54 + 46. Let f be y + 3 + l + 2. Which is bigger: f or -5/4?
-5/4
Let l = -707 - 262. Let x be (-12)/l + (-18)/153. Which is smaller: 1/12 or x?
x
Suppose 4894 = -42*c - 104. Is -127 greater than c?
False
Let t(i) = i**3 - 21*i**2 + 37*i + 28. Let u be t(19). Let n(l) = -13*l - 1. Let b be n(-1). Let a = b + -1. Is a < u?
False
Let r be ((-1430)/52)/(2 - (-6)/(-4)). Which is smaller: -59 or r?
-59
Let a = 7078.442 - 7078. Is a less than or equal to 0.6?
True
Let u = 36 - 32. Let a be u/8*(-1 + -1). Let j be (-2)/(-8) - 13015/6460. Is a at least as big as j?
True
Let r = 1.98 - -0.02. Let f = 37616 - 865171/23. Is r bigger than f?
True
Let q(l) = 4*l + 48. Let i be q(25). Let a = i + -152. Is -6 bigger than a?
False
Let h(t) = -t**3 + 19*t**2 + 88*t + 73. Let u be h(18). Which is bigger: u or 1982?
1982
Let u be (-15 - -7)/(167*-18). Is u > -1?
True
Let u be (2/(-5))/(44/(-1540)). Which is bigger: u or 69/5?
u
Suppose 121*v + 17580 = -113*v + 214*v. Are -877 and v nonequal?
True
Suppose -41 = -5*m - 3*b, 4*m - 13*b - 37 = -14*b. Let p be ((-65)/m - -4)*-20. Let g be 202/4 - (-1)/(-2). Is p equal to g?
True
Let q(d) = -d**3 - 11*d**2 - 1. Let o be q(-11). Suppose 5*u + 5*a + 2 - 22 = 0, 36 = 3*u - 3*a. Suppose 21 = -u*m + 5*m. Is o bigger than m?
True
Let o(f) = f**2 - 204*f + 404. Let a be o(2). Which is smaller: 0.676 or a?
a
Suppose r = 4*l + 1710, l = -r - 2*r - 434. Let o be l/12*(-2 + (-2)/2). Suppose -449 + o = 6*a. Which is bigger: -56 or a?
-56
Suppose 27*l - 24*l - 6 = 0. Suppose 0 = s - 4*s + 5*r + 7, l*s - 5*r - 8 = 0. Which is greater: 9/28 or s?
9/28
Suppose 148 + 112 = 13*q. Let d be (-2 + q/6)/(20/(-60)). Let h be (d/8)/(-3 - 20/(-8)). Which is smaller: 9 or h?
h
Suppose -4*f - 99 = 5*j + 36, 2*f + j + 69 = 0. Suppose -5*s + 112 = 4*h - 0*h, 5*h = -5*s + 135. Let m = h + f. Is m less than or equal to -13?
False
Let q be (-5 - (-29)/4)*(-17 + 21). Let p = 7 - 5. Let v = -2.06 + p. Is q less than v?
False
Let i = 166285.9877 + -166278. Let c = i + 0.0123. Which is bigger: -0.21 or c?
c
Let g = -1641614038/7681 + 213724. Do g and -1 have different values?
True
Let p(r) = 9*r**2 + 4*r + 6. Let f be p(-2). Suppose v = -c - f, 4*c - 31 + 160 = 3*v. Suppose 7*u - 2*u = -165. Is c equal to u?
True
Suppose -18*b = 17*b - 595. Let a(h) = h**2 - 10*h + 29. Let y be a(9). Is b smaller than y?
True
Let f be (17 + 2826/(-144))*28/11. Which is greater: f or -6?
-6
Let b(w) = -111*w + 112. Let o be b(32). Let i be (-8)/44 + o/(-44). Which is smaller: 80 or i?
i
Suppose 3*n = 14 + 88. Let v = n + -34. Suppose 0 = -v*z - 5*z. Which is greater: 3/7 or z?
3/7
Let d = -40.88 + 3.88. Is -4/7 less than or equal to d?
False
Suppose -584*o = 307*o + 35640. Let c be 61/(-1*6/4). Which is greater: c or o?
o
Let l(q) be the second derivative of q**3/6 - 19*q**2/2 - 23*q. Let y be l(9). Let n be y/15*6 + -33. Which is smaller: -35 or n?
n
Let w be 7450/(-1494) - 1 - 86/129*-9. Which is bigger: w or 0?
w
Let i = 57 + -22. Suppose -x + 3*k = 7, -4*k + i + 1 = -4*x. Let h(u) = -u + 2. Let q be h(x). Which is greater: 3 or q?
q
Let k = 2832 - 3430. Which is smaller: k or -6580/11?
-6580/11
Let t be 104/210 - (4 + 75/(-21)). Is t bigger than -6/7?
True
Let h = -3612 + 3613. Which is smaller: -2/75 or h?
-2/75
Let k = 532337/1265 - 2227/115. Which is bigger: 402 or k?
402
Let v = 199217 - 7371635/37. Let r = -18523/1332 - v. Let h = r - 19/12. Which is smaller: h or -0.2?
-0.2
Let j be 7/8*20/763. W