 p - 8 = -4*d. Let k be (-1600)/(-252) - 5 - 8/14. Which is smaller: d or k?
k
Let x be 1 + (-29)/(203/(-2520)). Let d = 384 - x. Are 25 and d equal?
False
Let a(y) = 268*y - 679. Let m be a(4). Which is smaller: m or 395?
m
Let t be (-564)/(-680) + (-16)/20. Let d(s) be the first derivative of -5*s**2/2 - 4*s - 12. Let f be d(-1). Is t at most f?
True
Let b = -37668079/120897 + 4/17271. Are -313 and b non-equal?
True
Let q = -934 - -228. Let j = q + 672. Are j and -50 unequal?
True
Let f(s) = -17*s + 101. Let z be f(21). Let q = -128 - 129. Which is smaller: q or z?
q
Suppose 2*c - 42 = -25*q + 27*q, -2*c + 17 = 3*q. Suppose c*x + 41 = -55. Suppose 0 = -6*f + 3*f - 15. Does f = x?
False
Suppose 5*q - 2*h - 1370 = 0, -9*q = -13*q + 4*h + 1108. Let c(v) = 3*v**2 - 9*v - 51. Let f be c(-9). Is f <= q?
False
Let d = 1.07 - 78.07. Let p = 77 + d. Which is smaller: p or -2/55?
-2/55
Suppose 0 = -4*n + t - 60, -4*t = 8 + 8. Let h be (-36 + 35)/((-2)/n). Which is greater: h or -4?
-4
Let p be (-4)/(-3) + (760/24 - -5). Suppose -2*j - 5 = 5*y, -3*j = -y + 3 - p. Let z = 3 - -6. Which is smaller: j or z?
z
Let s be (-82734)/280 + 4/(-42)*6. Suppose 106 - 994 = -3*f. Let u = f + s. Which is smaller: u or 2/7?
u
Let a = 9579 - 871687/91. Which is bigger: 56 or a?
56
Suppose 0 = -3*s + 5*y - 25, -6 - 5 = s + y. Let m be 1*s*(2 - 1). Let j be 4/m*(498/(-126) + 4). Is 0 at most j?
False
Suppose x - 18 = 4*j + j, -j = 3. Suppose -2*k = x*k + 360. Let t be 18/(-16)*12/k. Which is smaller: t or 0?
0
Let i(k) = k**3 - 2*k**2 + 144*k + 1152. Let c be i(-6). Let d be (-44468)/(-230)*(-1)/2. Let z = -484/5 - d. Which is smaller: c or z?
z
Let q = 1.2733 - 1.3161. Is 4 < q?
False
Let d(y) = -y**3 + 18*y**2 + 16*y + 57. Let k be d(19). Suppose k = 564*f - 570*f - 60. Which is greater: f or -55/6?
-55/6
Let z be (-9)/2 + (16 + -10 - 0) - 2. Which is smaller: -25 or z?
-25
Let d = -51 + 19. Let c be 5*2*(-16)/d. Suppose -7*v = -3*v - m + 39, m - 50 = c*v. Which is bigger: v or -31/3?
-31/3
Let a = -25.31527 - -0.01527. Which is smaller: a or -1/2?
a
Let i(l) = -2*l + 3*l**3 - 17 + 1 - 11*l**2 + 8. Let y be i(4). Let d = -555 + 4985/9. Is d > y?
False
Let s(y) = 8*y + 5*y + 0*y - 2. Let r be s(2). Let c be (-32)/21*36/r. Which is greater: -2 or c?
-2
Let i be (2/6)/((-716)/72 - -10). Suppose 0 = -34*m + i*m + 140. Which is greater: 54 or m?
54
Let g be -24*(5 - -85)/(-9). Let y = g - 1252/5. Which is smaller: y or -9?
y
Let t = 34.54 - 34.34. Is -1/433 != t?
True
Let w be (-12052)/36 - 16/72. Let p = w - -334. Which is bigger: p or 2/135?
2/135
Let v = 27 + -25. Suppose -4*o = 5*f + 84, v*f = -4*o + 6*f - 48. Let w = 161 + -174. Which is smaller: o or w?
o
Let d be (2 - (-492)/15)*694/(-348735) + (-4)/50. Suppose 2*c - 1 = 1. Is d greater than c?
False
Let z(n) be the second derivative of 3*n**4/4 + 31*n**3/2 - 4*n**2 + 3*n + 19. Let m be z(-13). Are m and 0.1 nonequal?
True
Let f = -1062/7 + 34997/231. Suppose 11*z = -6 - 5. Which is smaller: z or f?
z
Let l be (-12 - 1)/(-4*(-6)/24). Let y(s) = -12*s - 155. Let m be y(l). Is m < -2/1169?
False
Suppose 56*y + 154198 - 1382 = 720. Which is smaller: -2717 or y?
-2717
Let b = 24.58 + -24.6. Let f = 0.08 - b. Let t = -5 + 5.1. Is t <= f?
True
Let w = -3.1 + 3. Let r = 418.0326 + -418. Let y = 0.0326 - r. Which is greater: y or w?
y
Let o = 10 + -19. Let f = -388 - -537. Suppose f*k = 154*k + 30. Is k smaller than o?
False
Let b(j) = 17*j - 86. Let q be b(5). Let f be (-1564)/23 + (q - (-3 - -7)). Is f equal to -70?
False
Let t(y) be the third derivative of -13*y**4/24 + 8*y**3 - 54*y**2. Let x be t(5). Is -19 at least x?
False
Let u = -122416 + 3796118/31. Which is greater: u or 40?
40
Let h(o) = 5*o + 74. Let q be h(-14). Suppose q*r + 0*k - 60 = 2*k, -6 = 3*k. Suppose 148 + r = 3*f. Are f and 0.1 non-equal?
True
Let s = 854.7624 + 1.2376. Which is bigger: 6 or s?
s
Let c be (-1)/(-4) - (-459)/84. Suppose 2*g + 2*b = -2*g - 214, g = 4*b - 76. Let i be ((-720)/g)/2 - 8/(-14). Is c less than i?
True
Suppose -12*l + 275 = -7*l. Let n = -33 + l. Suppose -4*g = -2*g - n. Which is smaller: 10 or g?
10
Suppose 6*n = -4*k + 7*n + 50564, 2*n = -5*k + 63179. Are k and 12639 equal?
True
Suppose 5*t - 9*c - 20 = -4*c, 3*t = -c - 8. Let s = 62384/299 - 2451/23. Let l = 102 - s. Is t not equal to l?
True
Suppose -4*f - f = -115. Let v = 33 - f. Let g be 2/18*(v - 6). Do 0.1 and g have different values?
True
Let p = -3917 + 3898. Are -172/9 and p nonequal?
True
Let i = -11758 + 11762. Which is greater: i or 1/282?
i
Let p be ((-5)/2)/((-9)/18). Suppose f + 2*f - 3 = 0, 2*m = -p*f - 3. Let w be 6 + ((-108)/11 - 80/440). Do w and m have the same value?
True
Let y be (-7)/(-14)*(-12)/(-39) + 250/65. Is y not equal to 2/1537?
True
Let p be (-51)/4*(-40)/15. Suppose -5 - 85 = 3*j. Let a = p + j. Which is bigger: 5 or a?
5
Let i(g) = -g**3 - 19*g**2 - 28*g - 3. Let z be i(-17). Let j be (16/(-12))/(574/z). Which is smaller: 1 or j?
j
Suppose -1784 = -7*b + 11*b. Let u = b - -453. Is 6 != u?
True
Suppose 3063 - 25138 = 30*y + 1115. Is -0.4 less than or equal to y?
False
Let q be ((-4)/(-9))/(286/(-3)). Let r = 1273/3003 - q. Let g = 5050/7629 - -12/2543. Are r and g unequal?
True
Let j = -64 + 69. Suppose 0 = -j*z + 15 - 130. Is z less than or equal to -43/2?
True
Suppose -1359*k + 651 = -1380*k. Is -546/17 > k?
False
Suppose -h = 1, 4*b + 5*h - 233 = -62. Is -13 equal to b?
False
Let k(b) = -b**3 + 3*b**2 + 11*b + 1. Let x be k(5). Suppose -13 + x = 7*v. Let a be ((-12)/(-30))/(v/(-40)). Which is smaller: 17 or a?
a
Let y = -281 + 177. Let p = 98 + y. Is -4 > p?
True
Let z(p) = -5*p**2 + 4*p - 4. Suppose -4*l + 16 = s, 0*s = -2*l + s + 2. Let y be z(l). Let u = -433 + 397. Which is smaller: u or y?
y
Let g = 0.7863 + 0.2137. Is g at most 4/311?
False
Let h = 17 + -10. Let u = 2395 - 2391. Suppose -u - h = 11*w. Is -18 equal to w?
False
Let n = 7580 + -7464. Which is smaller: 115 or n?
115
Let h = -6198.9 - -6199. Is -2.942 less than h?
True
Let c be (-55)/(-8)*1 - (95/(-20) + 5). Is c at least as big as 9?
False
Let k = 14/45 + -232/1035. Let n = 153 - 139.2. Let a = n - 14. Which is bigger: k or a?
k
Let u = -2918.006 - -8.006. Is 0.1 >= u?
True
Let q be ((-2)/3)/((-5)/3). Let k = 12.7 - -510.3. Let l = k + -489. Which is smaller: q or l?
q
Suppose 0 - 6 = -2*l. Suppose -17*x - 28 = -31*x. Let v be (-1 - x) + (-99)/(-36). Which is smaller: l or v?
v
Let q = -277 - -422. Suppose q - 321 = -8*i. Which is smaller: i or 27?
i
Let s = -223 + 179. Let u = s + 21. Suppose 2*l + 17 = -27. Is u at most l?
True
Let x be (-784266)/(-11835)*6/7 + 4/(-5). Let w = -189 + 354. Suppose 7*k = 4*k + w. Is k >= x?
False
Suppose -4*d = 5*s - 60, 0 = 2760*d - 2764*d - 2*s + 36. Let u = 1/2297 - -89572/25267. Is d < u?
False
Let s = 436 + -612. Let r = 226 + s. Which is bigger: 51 or r?
51
Let g = -5.29 + 6.29. Which is smaller: g or -0.9922?
-0.9922
Let s(o) = o**3 - 14*o**2 + 398. Let u be s(10). Does u = -2898?
False
Suppose 23*w - 132*w - 3161 = 0. Suppose -3*b = -6*b - 4*k - 107, 4*b = -2*k - 136. Are b and w equal?
False
Let g(x) = -x**3 + 17*x**2 + 36*x + 2. Let o be g(19). Let c be ((-70)/(-6))/((-7)/21). Is o < c?
True
Let m(o) = o**3 + 3*o**2 + 3*o - 2. Let c be m(-4). Let b be 2/(-31) + 11913/(-341). Let n = c - b. Which is smaller: n or 3?
3
Suppose 5*a = -4*p - 1382, 40*a - 1100 = 44*a + 4*p. Which is smaller: -293 or a?
-293
Let b(h) = 254*h**2 + 3*h + 18. Let z(v) = 85*v**2 + 2*v + 6. Let j(q) = 3*b(q) - 8*z(q). Let w be j(1). Is 83 > w?
True
Let u = -0.07 - 23.53. Let z = 15531.1 - 15531. Which is smaller: z or u?
u
Let b = 222 - 107. Suppose 11*n - 6*n - b = 0. Is 6 at least n?
False
Suppose 3*n = g + 3779, 11*n + 3*g - 2501 = 9*n. Is 1258 != n?
False
Let k = -0.2765 - -0.0005. Which is bigger: k or -3?
k
Suppose -67 = -2*o + 281. Let k be 2174/(-8) - (-7 - o/(-24)). Are k and -272 equal?
True
Let i = -27 + 44. Suppose 11*a - 72 = -i. Suppose 1 - 5 = -4*p - 3*w, 5*p - a*w - 5 = 0. Is p not equal to 14/15?
True
Let c be (1498/1197)/(5 - (-128)/(-24)). Is -4 less than c?
True
Suppose 31*a + 21 = 52. Let f be 488/(-48)*3 + (-1 - a). Which is bigger: -33 or f?
f
Let r = -5 + -47. Let h = r - -54.7. Let k = -2.5 + h. Is k greater than or equal t