)*14. Let t be 10/(-4)*(-3 - j). Let u be 4/t - 6/(-15). Are 1/31 and u non-equal?
True
Let o be 0*(-1 + 0/(-2)). Let q be 21/7 - 186/72. Is q < o?
False
Let w = 1830 + -65. Which is bigger: w or 1?
w
Suppose 4*y = 2*u - 6*u, -5*u = y - 20. Suppose u*x + k + 76 = 0, 6*x = 3*x + 4*k - 41. Let s(h) = -2*h**2 - 29*h - 12. Let a be s(x). Is a less than -27?
False
Let q be 1/((-4)/(-42))*-304*(-129)/(-15652). Suppose -2*k + f - 55 = 0, -k + 4*f = 3*k + 116. Which is smaller: q or k?
q
Let i = -5488 + 5463. Is -0.086 < i?
False
Let l be (14/(-1))/(616/(-99876)). Let n = 2273 - l. Which is smaller: 2 or n?
2
Suppose 19*n - 2408 + 166 = 0. Suppose 81 = -4*i - 3*g - 38, -2*g - n = 4*i. Suppose -5*j + 4*o - 138 = 0, 0*o + 4*o + 132 = -4*j. Which is greater: j or i?
i
Let g = 170241 + -169967. Let n be 1 - (-1 - 7/(-4)). Which is smaller: n or g?
n
Let d(h) = h**3 + 32*h**2 + 3*h + 99. Let b be d(-32). Let l be (-37 - 35)*4/(8/b). Which is greater: l or 2?
2
Let l = 206.1 - 134. Let h = 62.7 - -9.3. Let t = l - h. Is -0.52 <= t?
True
Suppose v = -3, 2*a - 100 - 25 = -5*v. Let j be ((-175)/a)/(5/(-16)). Are 13 and j nonequal?
True
Suppose 0 = 10*t + 150 + 460. Let w = -89 - t. Let y be 3 - ((-184)/w + -4). Which is smaller: -3 or y?
-3
Let z be (-39)/(-24) + 57/24 + -2. Suppose -z*q - 650 = 4*y, 5*q = y - 389 - 1280. Is q greater than -334?
True
Let g(m) = 13*m**3 - 5*m**2 + 67*m - 329. Let l be g(5). Which is greater: 1505 or l?
l
Let s be -1 + (428/(-86) + 5)*279/12. Which is greater: s or 0?
0
Suppose -14795 - 1973 = -64*a. Which is greater: 0.1 or a?
a
Let d = 51220423/2047380 - 30/34123. Let w = d - 99/4. Let n = -71/15 - -13/3. Which is smaller: n or w?
n
Let i be 9/42*-36 - 28/98. Let q be (-6*2/27)/(i/(-12)). Which is smaller: 1.5 or q?
q
Let d(g) = 44*g**2 + g. Let i be d(-1). Let y = -10/267 + -3616/89. Let s = y + i. Is -1/4 at least s?
False
Let q be (-5 - -1)*6/48*12. Let n be 247/312 - 2/q. Are n and 0 unequal?
True
Suppose -3*n + 5*l = -567 + 173, 2*l = 5*n - 625. Suppose -4*t + t = n. Let w(f) = -11*f + 4. Let q be w(4). Which is smaller: q or t?
t
Let w(f) = 2*f**2 - 26*f - 3051. Let d be w(-36). Suppose -q + 474 = r, -4*r + 3*r - 3 = 0. Is d less than or equal to q?
True
Suppose 29*k + 0*k = 783. Suppose -3*c - 49 = v + 56, -k = c + 3*v. Suppose 3*d - 2*d = -37. Which is smaller: d or c?
d
Suppose -3*h - 26 = 2*a, -3*h + a + 10 = -4*h. Let r = 0.111 + -134.111. Let y = -134.2 - r. Is h greater than y?
False
Let s(q) = 853*q - 7743. Let d be s(10). Which is greater: 798 or d?
798
Let x be 23619/(-1092) + 3 + (-39)/12. Let f = -18253/975 + -119/75. Let h = x - f. Which is smaller: 1 or h?
h
Suppose -3*r = -5*g + 6392 + 5409, -3*g + 5*r + 7071 = 0. Is g less than or equal to 2361?
False
Suppose -80*y + 20 = -82*y. Let l be 28/140 - 368/y. Which is smaller: l or 34?
34
Suppose 2*z = 8, 14*y - 2*z - 9392 = 16*y. Is y bigger than -4701?
True
Suppose -4*h = 2*z - 8, 0 = 2*h - 6*z + 5*z + 4. Let g be (-38)/(-6)*24/(-5920)*4. Let k = g + -6/185. Is h bigger than k?
True
Let v = 3.5 + -9.7. Let n = v - -9.2. Which is greater: 1.4 or n?
n
Let u = -7.31 + 7.2607. Which is smaller: u or -4/3?
-4/3
Let i = 22 + 9. Suppose 4*p + 740 = 3*r, -4*r + 309 = -2*p - 51. Let m be -7 - (-160)/24 - p/6. Is m at most i?
True
Suppose -24*p + 23 = -23*p + 2*s, 4*p + 4*s - 68 = 0. Let w be ((-5)/(-2) + -3)*-6. Suppose 18 = 3*g - 2*a + w*a, 4*g = 2*a + 34. Which is smaller: p or g?
g
Let w = -138.4 - -126. Let v = -13 - w. Let k = -51 + 51.06. Which is smaller: v or k?
v
Suppose -42 = 4*y - y. Let v be 0 + -1 - (-308)/y. Let g = v - -11. Which is greater: g or -23/2?
-23/2
Suppose -11134 - 53506 = -58*v + 39180. Does 1795 = v?
False
Let z = 60024 + -59900. Let p = 159 + -35. Does z = p?
True
Let c(z) = z + 19. Let s be 20/10 + 3*2. Let y = -22 + s. Let g be c(y). Are 3 and g unequal?
True
Let o = -0.13511 - -3098.13511. Which is smaller: o or 2/7?
2/7
Let t be (1494/(-360) - 6/(-15))/(2/8). Is -99 less than t?
True
Suppose 7*f - 118*f = 20*f. Which is smaller: f or 68/75?
f
Let s = -33.9 + 33.06. Let d = -1.84 - s. Suppose 5*z - 2*m = 159, -122 = -4*z + 2*m - 3*m. Is d at least as big as z?
False
Suppose -36 = -30*y + 26*y. Suppose -4*p = -3*p + y. Let m be 1/p*(-7 + -2). Is 2/109 at most m?
True
Suppose -7 = -9*f + 11. Suppose 0 = 2*s + 5*x + 14, x = -f*s + 6*x + 6. Which is bigger: s or -10/19?
-10/19
Let y(i) = -47*i**2 + 18*i + 1. Let o be y(2). Let x = 113 + o. Which is smaller: -40 or x?
-40
Let x = -1136.7 + 1079. Let o = x + -7.6. Let b = o - -65. Which is bigger: b or 2/5?
2/5
Let u be 898/450 + -7 - (-4 - 1). Let a(d) = 5*d - 16. Let l be a(3). Which is bigger: u or l?
u
Let m(w) = -2*w**3 - 71*w**2 - 20*w - 791. Let p be m(-36). Do p and 1216 have different values?
True
Let f be (12/110)/((-858)/(-440)). Let j(u) = 6*u + 198. Let k be j(-33). Is k bigger than f?
False
Let w(h) = 14*h**3 - 114*h**2 + 14*h + 16. Let k be w(8). Which is smaller: k or -4/19?
-4/19
Let d(r) = -r**3 + 18*r**2 + 17*r + 34. Let s be d(19). Let y be 6 + (-4557)/90 - s/30. Suppose -36 - 10 = a. Is y not equal to a?
True
Suppose q + 2*h - 6*h = 15, -27 = -2*q + 5*h. Suppose 45*c + 77 = 156*c - 34*c. Which is bigger: q or c?
q
Let t be (-12 - 2)*(-2)/(-16). Suppose -1029 = 38*k + 1023. Let v = k + 52. Is t <= v?
False
Let t(f) = -78*f - 2184. Let k be t(-28). Let x be -3 - ((-27)/(-35) - 2). Let a = 11/7 + x. Is k greater than a?
True
Let s(m) = m - 6. Let g be s(-2). Let f be 28 - (g - (-6 - 0)). Suppose 0 = 5*n + 2*r - 137, -6*n + 108 = -2*n + 2*r. Which is smaller: f or n?
n
Suppose -4 = -3*k + 7*k. Let g(h) = -h - 1. Let w be g(k). Let d be w + (20/(-6) + 2)*6. Which is bigger: -9 or d?
d
Let h(b) = -11*b**2 + 215*b - 3477. Let i be h(15). Which is bigger: -2725 or i?
-2725
Let r = -21/50 - -13/150. Suppose 2*s - 3*g - 22 = 0, g = -0*g. Let t = s + 12. Which is smaller: t or r?
r
Let c = 0.0114 - 46.1114. Let r = c - -46.3. Let s = 7 + -5.5. Is r bigger than s?
False
Let g be (-13)/((-117)/40)*(-4)/10 + 2. Is 1123 < g?
False
Let d be (-2)/(-13) - (3246/(-26) - 697/(-41)). Let q(k) = k**3 - k**2 + k + 109. Let v be q(0). Which is smaller: v or d?
d
Let m(t) = -334*t - 717. Let c be m(-22). Which is smaller: c or 1?
1
Suppose -b = 0, 114 = -2*o - 4*b + 100. Let n = -1.05 - -0.05. Let p = n - -1.3. Is o less than or equal to p?
True
Let w = -12468 - -12468.1. Let j(v) = -v**2 + 3*v + 6. Let q be j(5). Let s = q - -13. Is s less than w?
False
Let b be -1 + (-2247)/(-27) + (-10)/45. Let o = -114 + b. Which is bigger: o or -95/3?
-95/3
Let w = -64.7103 - -64.7. Let p = w + 13.0103. Are 0 and p nonequal?
True
Let p be (-735)/(-25) + 15/25. Let f = -294 - -324. Is p at least f?
True
Let h(l) be the third derivative of -5*l**4/24 - 4*l**3/3 + 13*l**2. Let b be h(-2). Let t be b/2*(3 + -4). Which is smaller: t or -1/38?
t
Let i = 2/16519 - 2593491/66076. Which is smaller: -39 or i?
i
Let i(u) = -u**3 - 43*u**2 - 284*u - 135. Let m be i(-35). Let b(d) = -9*d**3 + d. Let g be b(-1). Which is greater: m or g?
g
Suppose 3 = -3*g + 2*g. Let b(z) = 4*z - 25. Let i be b(8). Suppose 8*h = 49 + i. Which is greater: h or g?
h
Let y(t) = -66*t - 1123. Let j be y(-17). Which is greater: 2/31 or j?
2/31
Let f = 103 + -124. Let x = -12.09 - -89.79. Let u = x - 78. Is f > u?
False
Let p = -26 - -32. Let x be 4 + (-30)/(p + -12). Which is smaller: x or 23/3?
23/3
Let r = 9 - 8. Let o = -8743 + 183608/21. Do o and r have different values?
True
Let g = -38/5 + 89/15. Let i be (30/(-40))/(1/(-16)). Suppose 2*c - 5*h = i + 8, -5*h - 20 = 5*c. Is g greater than or equal to c?
False
Let r(g) = 7*g**3 + 4*g**2 + 3. Let z be r(3). Let s be (9/6)/((-9)/z). Let h(a) = 37*a**3 - a**2 + 1. Let p be h(-1). Which is smaller: p or s?
s
Let u be 1 + (-17)/15 + (-13716)/(-100845). Is 1 at most u?
False
Let l = 303742/3 + -104080. Which is smaller: -2834 or l?
-2834
Let x = -20.924 + -0.076. Let i = x + 20.914. Which is bigger: i or -2?
i
Suppose -57*r - 51 = 41 - 35. Let p be (5/10)/(60/(-8)). Is p less than r?
False
Let q be (100/(-12))/(40/(-48)). Suppose -5*s - q = 5*s. Is 2/5 at least as big as s?
True
Let u = 8354 + -91996/11. Suppose 6914 - 6546 = -46*i. Which is greater: u or i?
i
Suppose -34399 - 38010 = 3*y +