 178. Suppose 2*c = -3*c - 75. Do c and x have different values?
True
Suppose -57 = 2*h + 5*j, -h - 30 = 2*j + 2*j. Let q = h + 25. Is -64 < q?
True
Let s be (-6)/24 - (-22707)/(-324). Is -71 at most as big as s?
True
Suppose 2*p + 0*p + 16 = 0. Let j be -4 + ((-10)/(-5) - 96/(-3)). Suppose -2*y + 8 = 3*c + 41, j = -2*c - 4*y. Which is bigger: p or c?
p
Suppose -3*v - 5 = i, -5*v = -5*i + i + 31. Suppose -i*d = 4*r + 8, 2*d - 2*r - 6 = 2. Let x be ((-54)/(-1332))/((-6)/4). Which is smaller: x or d?
x
Suppose 5*o = -t + 14 + 15, 4*o = -5*t + 40. Suppose 70 = t*q - 42. Suppose -2*y + q = -0*y. Which is smaller: 16 or y?
y
Suppose -314*p = -0*p - 3454. Does -65 = p?
False
Let y be 361/(-33) + 9 - -2. Let x = 102 + -90. Which is bigger: x or y?
x
Suppose 5*r + 1794 = -2*f, 4*f = -4*r - 3798 + 210. Do f and -897 have the same value?
True
Let i = 2604 + -2447. Suppose 2*g = l + 315, -5*g - 4*l + 693 = -75. Which is smaller: g or i?
g
Let j(c) = -21 + 3*c - 3*c - 2*c. Let q(n) = -6*n + 32. Let w be q(7). Let o be j(w). Which is greater: o or 4/11?
4/11
Let y be -3 - (-472)/60 - (-4)/30. Suppose 0 - 30 = -y*v. Let k(z) = 4*z + 38. Let n be k(-6). Which is bigger: v or n?
n
Let y = 512 + -508. Suppose -y*k + 5*l = -410, 50*k + 5*l = 51*k - 110. Is k <= 100?
True
Suppose -3*f - 2*w = -862, f - 30*w = -26*w + 264. Suppose 4*a - f = 96. Which is smaller: 473/5 or a?
473/5
Let s be 5/(-25) + 6*22/(-15). Let y be (-19)/(-4) + (-7)/((-84)/s). Suppose y*w - 5 = -1. Which is smaller: 6/29 or w?
6/29
Let d = 55.7 + -62. Let q = -6.31 - d. Let t = q - 0.29. Is t smaller than 2/29?
True
Let t = 327/8 + -325/8. Is t at least -552?
True
Let l = -314 + 528. Suppose 0 = b - 2*n - 220, -3*n - 222 = -16*b + 15*b. Which is smaller: b or l?
l
Let v = -59.5 - -59.486. Let c = -0.114 - v. Let i = 37 - 38.9. Which is smaller: c or i?
i
Suppose d - n + 3*n + 6 = 0, 4*d + 3 = -n. Suppose 3*i - 3 = q, -3*i + 13 - 7 = d. Is 18/7 < q?
True
Suppose -j - 5*u + 13 = -u, 3*j = -5*u + 18. Let y be (2/(-276))/(j/4016). Let m = -175/6 - y. Which is smaller: m or -1?
-1
Let z be (-2)/(((-4)/(-72))/(21/6)). Which is bigger: -134 or z?
z
Suppose -92 + 2 = -3*s. Let u = 20093/4 + -4992. Is u at least as big as s?
True
Suppose -11716 = -2*q + 2*a, 3*q + 45*a = 43*a + 17569. Do q and 5859 have the same value?
False
Suppose -3*i = -4*d + 18, -46*i = -4*d - 41*i + 22. Let k(h) = 8*h - 2 - 2*h - h - 3*h**2 + 2*h**2. Let b be k(5). Which is greater: b or d?
d
Let t be (1600/(-120))/((-5)/(-18)). Which is smaller: 82 or t?
t
Let i be 2/4 - (-6)/(-16). Let b be (53 - (2 - -3)) + -2. Let a = b + -47. Which is smaller: i or a?
a
Suppose 72*v - 28063 = 9072 - 7327. Is 412 bigger than v?
False
Let c(x) = -638*x - 3996. Let b be c(-7). Which is greater: b or 2354/5?
2354/5
Let q = -499 + 502. Suppose 2*t - 10 = -3*t. Suppose -t*s + 6 = -3*x, q*s - x = -2*x - 2. Is s < 2/61?
True
Suppose -5*y - q = 49, 2*y - 3*y + q - 11 = 0. Let f be (y/4)/((-6)/108). Let v = f - 45. Which is greater: 3/133 or v?
3/133
Suppose 17*n - 24*n + 14 = 0. Suppose 10*s - 13*s = -n*s. Do 1/93 and s have the same value?
False
Let h(v) = v**3 + 10*v**2 + 15*v + 31. Suppose -3*a = -4*a + 12. Suppose 0 = 3*f - 4*s + 27, -f - a = -4*s - 3. Let y be h(f). Is -23 smaller than y?
False
Let h = -2560 - -11023/5. Let v = 357 + h. Are 0.3 and v equal?
False
Let g = -531082769471/367793937 - -7/5837999. Let n = -1444 - g. Which is greater: 1 or n?
1
Let d = -306 + 310. Suppose 25 = -3*p + 5*q, -3*p - 2*q = -d*q + 10. Which is greater: 2/11 or p?
2/11
Let t = -100 + 80. Let a be t/(2 + 2) + (-6)/3. Let k be 164/a - (-6)/14. Is k smaller than -22?
True
Let h = -62 - -20. Suppose 16 = -k - 4*p - 168, 2*k + 353 = -5*p. Let o be h/(-105) + k/110. Is 1 < o?
False
Let i = -8/325 + 113/1950. Which is greater: 14 or i?
14
Let c = 371072/641041 - -3/33739. Let r(p) = p**3 - 2*p**2 - 5*p + 3. Let n be r(3). Which is greater: n or c?
c
Let o = 11 + -9.9. Let w = 3277.8 - 3279. Let l = w + o. Do 47/2 and l have different values?
True
Let g(s) = -4*s - 3. Let p be g(5). Let b = 38564 + -192933/5. Does b = p?
False
Let b = 0.46 + 16.94. Let j = b + -6.4. Let a = 11.3 - j. Which is smaller: 2/5 or a?
a
Let m = 800/13 - 3454/65. Let p(z) = 51*z + 10301. Let b be p(-202). Which is smaller: b or m?
b
Suppose 119*x - 122*x - 3*s + 39 = 0, 4*x - 49 = -s. Which is smaller: x or 164?
x
Let o be 1 + -87 + (-6 - -12). Let p be (o/14)/((-63)/147). Is p greater than or equal to 12?
True
Let r be 1775/6 - (-6)/(-45). Let i = 270 - r. Let l = i + 86/5. Which is smaller: -8 or l?
l
Suppose 3*x - 397 = -p - 1188, -4*x + 3*p - 1033 = 0. Which is bigger: x or -275?
x
Let m be ((-12)/(-12))/((-5)/(-174520)*-4). Is m equal to -8726?
True
Suppose y = 5*n + 492, 300 = -4*n + n + 3*y. Let q = 99 + n. Does q = 8/11?
False
Let b be (7 - ((-4938)/(-24) + -6))/((-3)/(-1)). Is -0.3 less than b?
False
Let w = 525.845 - 524. Let r = 0.155 + w. Which is smaller: r or -0.26?
-0.26
Suppose 208 = -b - 3*z + z, -2*z = 2. Let o be 14/119 - b/(-17). Are -71/6 and o non-equal?
True
Let w be -5 + 1 - (-1325)/265. Is -18/413 smaller than w?
True
Let a = 15266 - -584. Is a greater than or equal to 15850?
True
Let c(k) = -k + 4. Let s be c(4). Let u = -100193/6 - -16650. Let l = u + 49. Is s at most as big as l?
True
Let v = 772 - 772. Let k be 4/2*3/(-1182). Does k = v?
False
Let j(r) = -187*r**2 + 18*r + 17. Let y(f) = 34*f + 101. Let n be y(-3). Let k be j(n). Is k not equal to -187?
True
Let g be 1/(6/(-60)) + 90 + -13. Do g and 90 have the same value?
False
Let a = 0.702 - 556.702. Let i = a - -555.91. Which is smaller: i or 10/11?
i
Suppose 0 = -3*q - 0*q - 126. Let w = -153 + 14. Let x = w - -96. Is q smaller than x?
False
Let h(q) = -10*q**2 - 82*q - 14. Let a be h(-8). Which is bigger: a or 12?
12
Let c be (0 + 16/(-24))*(-600)/16. Let z(f) = -f**3 - 2*f**2 + 2*f. Let a be (-2 - -1) + (-9)/3. Let r be z(a). Which is bigger: c or r?
c
Let x be 1124*3 + -17*8/(-136). Is 3375 at most as big as x?
False
Let b = -12354/395 - -156/5. Let a(s) = s**3 - 3*s**2 - 8*s - 11. Let x be a(5). Which is smaller: b or x?
x
Suppose 21*o - 125 = 22. Suppose -o*f - 228 = -410. Which is smaller: f or 17?
17
Let z = 24215 + -24206.1155. Let a = -0.0945 + z. Let f = -0.79 + a. Which is greater: f or -5?
f
Let f(o) = o - 41. Let t be f(27). Let g be t/28 - 11/(-2). Suppose 20*a - 18 = 14*a. Which is greater: g or a?
g
Let m = 702 - 315. Does 386 = m?
False
Let n(v) = -126*v + 924. Let k be n(7). Let y = 7 - 15. Let r be ((-4)/y)/(1/82). Which is smaller: k or r?
r
Let d be ((-299)/(-39) - 11)*6/(-5). Suppose -3*m - o - 495 = 0, -4*m + m - 486 = d*o. Are -167 and m unequal?
True
Let p be 3*13/(-3) - -12. Let i be 2/(-34)*(-12 + -1)*-3. Does i = p?
False
Suppose z - 53 - 22 = 0. Let u be ((-6424)/66 - -98)/(2/219 + 0). Which is greater: u or z?
z
Suppose 0 = 7*z - 91 - 28. Suppose 0 = z*j - 9*j + 160. Let l be 222/(-10) + (-3)/(-15). Is j > l?
True
Let o be (-2)/(18/69)*57/1. Let b = o - -375. Which is smaller: b or -60?
b
Let f = 19923 + -19922. Let m = -114/671 + 432376/2537051. Let c = m + -11407/120992. Is f < c?
False
Suppose 4*y = -5*v + 51, 5*y + 5*v - 7*v - 72 = 0. Let s be ((-49)/y - -4)*178. Is s at least 90?
False
Let n(z) = -z**2 - 27*z + 57. Let d be n(-27). Let i be 22/1*(-100)/(-40). Which is smaller: d or i?
i
Suppose 0 = -2*t - 17 - 55. Let b = t - -22. Suppose -38 - 26 = 4*s. Is s > b?
False
Let o = 122254 + -44011471/360. Let w = o - -2/45. Suppose a - h = 0, -2*h - h = -a. Which is greater: w or a?
a
Suppose 20 = -4*q, 0 = 3*f - 0*f + 2*q - 17. Let v be f/(54/(-24)) + (-1160)/(-292). Suppose -c = -3*d - 7, 5*d + 9 = -0*d + c. Are d and v equal?
False
Let h be 3/3*(-2)/(-24). Let u be (6/(-48))/((-14)/112). Which is bigger: h or u?
u
Suppose 0 = -7*a + 364 - 154. Suppose a = -5*m - 5*r, -6*m + 3*m = -r - 2. Which is smaller: -1/444 or m?
m
Let x be -5*(-451)/(-165) + 13. Which is greater: -1/9959 or x?
-1/9959
Let y be 67 - 9*169/117. Let v be (7 - -2)/(1/(-7)). Let d = y + v. Are -8 and d equal?
False
Let k(r) = -2*r - 4*r**3 - 4*r**3 + 6 - r**2 + 4*r**3 + 2*r**3. Let g be k(-4). Is 127 less than g?
False
Let u(x) be the second derivative of 2*x**3/3 - 3*x**2/2 + 11*x. Let m be u(9). Sup