 5*u, -f + 2*u - 11 = -2*u. Suppose 5*a - 1 = -f*r - 6, 3*a - r = 1. Let d = 8.5 + -16.5. Which is smaller: d or a?
d
Let c be (295/(-75) - -4) + 9*18/(-243). Is -384 <= c?
True
Let y = 14807952317/819 + -18080516. Let j = -209871/13 - -16132. Let p = j + y. Which is smaller: 0 or p?
p
Let i be (-1)/(-9) + 4203760/(-5544). Is i <= -757?
True
Let f = 328/29 + -404395/35757. Do f and 1 have the same value?
False
Let t(u) = -3*u**2 + 32*u + 19. Let s(h) = 4*h**2 - 33*h - 19. Let f(x) = 5*s(x) + 6*t(x). Let o = 10286 + -10299. Let g be f(o). Which is smaller: g or 1?
1
Suppose 4*w - 651 + 2611 = -184. Which is greater: -533 or w?
-533
Let k = 19387/43282 + -65/134. Which is greater: k or 0?
0
Let d = -14869 - -14879. Which is greater: d or 37?
37
Let d(m) = 989*m**3 - 988*m**3 + 3*m - 4*m**2 - 15*m. Let o be d(6). Which is greater: o or -2/27?
o
Let c = 0.01177 - 0.11177. Is -3/308 at most c?
False
Suppose 20*t = 3*v + 16*t - 3841, -4*v - 5*t = -5080. Is 1274 > v?
False
Let y(w) = 11*w**2 + 3*w - 2. Suppose -2*d - 8 = 2*p + 2*p, 4*d - 5*p = 23. Suppose 2*r = 2*n - 8, -2*r = r - n + d. Let l be y(r). Is l greater than 11?
True
Let w be 255/10 - 1/(-2). Let p be 1 - (-2)/w*-7. Suppose 46 = -130*z + 176*z. Is p < z?
True
Let x be 849*(-8)/(-24)*-4. Does x = -1132?
True
Let k(s) = -2*s**2 + 53*s - 148. Let w be k(23). Suppose -27*q = -14*q - w. Which is greater: q or 41?
41
Let x = 13573 - 13567.369. Let s = x - -17.339. Let d = 23 - s. Are 2 and d unequal?
True
Let w be (26/8)/((-3)/(-108)). Suppose 0 = 113*v - w*v + 700. Is 175 < v?
False
Let d be 2/(1*(-2)/3). Let f(n) = -2*n - 4. Let o be f(d). Let h(i) = 7188*i + 14382. Let g be h(-2). Which is bigger: o or g?
g
Suppose -20*v + 356 = 336. Is v at most as big as 13/92?
False
Suppose -49*d + 48 = -46*d - 6*k, -3*k - 13 = 4*d. Which is smaller: d or -4?
-4
Let k be 24/(-96) + 52919/(-20). Let m = -2631 - k. Which is greater: m or 2?
m
Let y be ((49/98)/(1/797))/(7/(-42)). Are -2 and y equal?
False
Let f = 48.6 + -55. Let x = -5.1 - f. Let v = x - 1. Does v = 5?
False
Let x be (-2*1/(-4))/(-3 - (-14330)/4780). Do -242 and x have different values?
True
Let r be 8/(-10)*3 - 30/(-15). Suppose -3*z + 25 = -29. Suppose -z = 3*a + 3*u, 0 = 5*a + u + 3 + 11. Which is smaller: a or r?
a
Let n be ((-541350)/(-462) - 11) + 6/(-99)*3. Which is smaller: 1160 or n?
1160
Let t(z) be the first derivative of z**5/20 + 7*z**4/12 - 3*z**3/2 - 13*z**2 + 24*z - 19. Let a(s) be the first derivative of t(s). Let v be a(-8). Is v != 0.2?
True
Let i(y) = -5*y**3 - 2*y**3 + 11 + 4*y - 6*y**2 + 5*y**3 + y**3. Let p(q) = 49*q - 349. Let m be p(7). Let z be i(m). Which is bigger: z or -15?
z
Let n = -26833 + 26833. Let x be (-422)/1656 + 1/4. Is n less than x?
False
Let d = 1507 - 1515. Which is smaller: d or -0.007?
d
Let a = -1040 - -1472. Let p be a/(-1 - 2)*10/20. Is -73 less than p?
True
Let m be 0 - (-2)/(-4)*10. Let n = 104 + -98. Let f be -1 - (-9)/((-18)/n). Which is smaller: f or m?
m
Let i be 16/4*(0 - (2 + 0)). Let l be (i/230)/((-6)/20). Which is bigger: -1 or l?
l
Let v = 35.5 + -35.23. Which is greater: v or 18/29?
18/29
Let t = -3380 + 3443. Which is smaller: 319/5 or t?
t
Let k be ((-72)/(-16))/(-9)*1205/(-40). Which is bigger: 15 or k?
k
Let a(z) = -2*z - 31. Let s be a(-20). Let j be 1 + 286/s - (-2)/9. Let q = 33 - j. Which is bigger: 6/13 or q?
6/13
Let g(l) = l**2 + 479*l + 10100. Let o be g(-22). Let i = 67 - 20. Which is smaller: i or o?
o
Let c = -45 - -30. Let m be (-36)/c*(-810)/12. Is m at least -161?
False
Suppose -23*o - 64707 + 14823 = 61252. Is -4833 at most as big as o?
True
Let j be (5 + (-621)/135)*15/(-18). Do 0.04525 and j have different values?
True
Let q = -57/5 - -2446/215. Which is smaller: q or 0?
q
Let x(k) = 2*k + 12. Let h be x(-6). Let r = -0.016 - -4.016. Let n = r + -67. Is h at least n?
True
Let x(a) = 6*a**2 + 4*a + a**3 + 0*a**3 - 6 - 4. Let u(h) = -h**2 - h + 1. Let r(p) = 4*u(p) - x(p). Let y be r(-9). Does y = 7?
False
Let h(m) = 5*m**2 + 6*m - 12. Let l be h(7). Suppose -5*b + 5*i + l = 0, -4*i - 55 = b - 2*b. Let u = 59 - b. Is u at least as big as -3?
True
Let m(q) = -97*q - 21. Let l be m(-2). Let i = l - 862/5. Which is greater: i or 2?
2
Let o = 215.1 - 229. Let p = -14 - o. Let g = 40905/7 - 5841. Which is bigger: g or p?
g
Let t = 0.5 + -0.38. Let w be (-11 - -9 - -2)/(7 + -5). Which is bigger: t or w?
t
Let u = 2047/98 - 852/49. Let a(s) = 4*s**2 - s - 1. Suppose 14 = -2*b + 3*m, 0 = -5*m + 5 + 15. Let n be a(b). Which is bigger: u or n?
n
Let w(j) = 4*j + 15. Let s be -8 - (4 - 0)/(-1). Let y be w(s). Let v = -7/660 - -1/30. Which is smaller: v or y?
y
Suppose -48 + 133 = 5*w. Suppose -3*t + 1 + w = 3*o, 0 = 4*o. Let y be (9/t)/((-4)/136). Is y not equal to -52?
True
Suppose -3115 = 6*p + 833. Let f be (-4)/6 + p/21. Let r = f + -27. Is -59 at most as big as r?
True
Suppose 19*y - 114 = -0*y. Let d be (2/y)/(-3 + (-22)/(-12)). Which is greater: -36 or d?
d
Suppose 7 = -325*a + 7. Is 6/1361 != a?
True
Let w = 33 - 30. Suppose -12 = -3*u - u, 2*u = w*k - 21. Let m(b) = -7*b + 7. Let o be m(k). Is o != -56?
False
Suppose -142*h + 146*h - 4*d + 104 = 0, 2*h - d = -44. Let i = 1 - 2. Let j be 4/3 - (0 - i). Is j bigger than h?
True
Suppose 6*v + 10*d - 15*d = -44, -4*v - 36 = -4*d. Suppose 763 = 3*a - 0*a - 2*x, -4*a + 1017 = -3*x. Let u = a - 9944/39. Which is smaller: v or u?
u
Suppose -2*w = -3*w - 3*k + 2, 3*w + 2*k - 6 = 0. Suppose 7*f + 5*x = 5*f, 2*x = -w*f. Which is greater: 1/20 or f?
1/20
Suppose o - 4 + 3 = 0, 2*j + 3*o + 733 = 0. Let t be 2988/(-23) + 32/j. Is -132 < t?
True
Let t = 1549 + -2130. Is -579 less than or equal to t?
False
Let i = -34.624 - -34.262. Which is smaller: 29 or i?
i
Suppose 5*h = 4*j - 1601, -3*h - 1051 = -4*j - 84. Does h = -312?
False
Let h be (4/6)/((-7)/567) + -3. Let k = 55 + h. Let q = 5196/7 - 745. Which is bigger: q or k?
k
Suppose -2*k = 4*u + 2114, k = -u - 1284 + 231. Is 1/4 < k?
False
Let u(x) = 19*x**2 + 11*x - 3. Let b be u(9). Let a be ((-569)/(-237))/(35/(-23835)). Let c = a + b. Which is smaller: c or -1?
-1
Let u be 31350/(-9) + 3 + (-26)/39. Is -3482 at most as big as u?
True
Suppose -2*f + 2*q - 34 = -3*q, 3*f = 3*q - 33. Let m(t) = -65*t - 792. Let a be m(-12). Which is bigger: f or a?
f
Let d be (3870560/(-30))/16 - 11/(-3). Is -8062 < d?
True
Suppose -3*u - 12*g = -7*g - 13, g + 48 = 4*u. Suppose -214 = u*k + 127. Is -29 <= k?
False
Let v = 108701/38587 - 7/821. Is 3 greater than or equal to v?
True
Suppose -2*c + 413 = 1775. Is c >= -681?
True
Let h = 13.27 - 1.97. Let l = -14.3 + h. Is -31 >= l?
False
Let i = -85 + 165. Suppose i = -4*y - 20. Let d(p) = -21*p**3 + 484*p**2 - 25*p + 22. Let q be d(23). Is q less than or equal to y?
False
Let t(n) = n**3 + 9*n**2 + 52*n + 353. Let x be t(-8). Is -29/91 at most as big as x?
True
Let v = -150 - -238. Let a = 3.5 - 91.7. Let t = v + a. Is 0.15 at most t?
False
Suppose -2*k = 5*f - 17, -3*k + 27*f - 30*f = -39. Is 202/13 less than k?
True
Let f = -26.2 + 23.06. Is f bigger than -2.7?
False
Let x(u) = 745*u - 4636. Let a be x(6). Is -2169/13 <= a?
True
Let t = 0.139 + 195.861. Let r = -189 + t. Are -2/11 and r nonequal?
True
Let f be -6 + 49/98*(11682 - 0). Which is greater: f or 5834?
f
Let c = -24913 + 24912.984. Which is smaller: c or -7?
-7
Suppose -822*y - 256 = -826*y. Let j = y + -383/6. Suppose 2*i = -2*i. Which is smaller: j or i?
i
Let w be (-5)/(2/48*-73 - -3). Suppose 0 = -w*d + 152*d - 5856. Is 181 at most as big as d?
True
Let b(r) = r**3 + 5*r**2 - 3*r + 4. Let u be b(-6). Let m be 2 + 0 + 14/u - -54. Let c = -54 + m. Is c greater than or equal to 2/11?
True
Let u = 11624 - 860177/74. Which is smaller: -239 or u?
-239
Let a = -4530 + 6217. Are 0 and a non-equal?
True
Suppose 0 = 5*p + 35, 9*p = -3*x + 11*p + 33470. Is 11152 less than x?
False
Let h = -218 - -217. Let y(x) = 30*x**2 - 1. Let r be y(h). Let g(m) = m**3 + 2. Let c be g(3). Is r >= c?
True
Let j(r) = -r**2 - 12*r - 40. Let v be j(-5). Let m be ((-7 - -4) + 2)/(2/(-4)). Which is bigger: v or m?
m
Let d = -5/1543 - 1007544/10801. Which is smaller: d or -93?
d
Let u be -3 - 2/(6/(-465)). Let w(a) = -a**3 + 13*a**2 - 10*a + 1. Let g be w(5). Which is smaller: g or u?
g
Let j be 28/56 + (-