5 - (39/15 - 2). Which is greater: s or c?
c
Let c = -10 + 5. Suppose 11*b - 9*b + 6 = 0. Let y be (1/(-10))/((b/4)/3). Which is smaller: y or c?
c
Let k = 54.43 - 55. Let y = -0.17 - k. Let r = -0.2 + y. Which is bigger: 1.4 or r?
1.4
Let u(q) = -85 + 9*q + 146 - 88. Let i be u(3). Is i at most -6/127?
False
Let q = 57 + -31. Suppose -5*k + 6 = 3*z, -3*z + 2 - q = -5*k. Suppose -5 = -l + 1. Is k greater than or equal to l?
False
Let f be (-112)/(-5) + -1*1. Let d(c) = -2*c**3 + 11*c**2 - 61*c + 216. Let t be d(4). Is f at least t?
True
Let z(c) = 6*c**3 - 3*c**2 + c + 2. Let m be z(2). Let r = -10312 - -51764/5. Which is smaller: m or r?
m
Let h = -0.10269 + 5.36269. Is h <= 0.4?
False
Let p be 31/80 - (-13)/(-65). Let m(x) be the third derivative of x**4/6 + x**3/6 + x**2. Let f be m(0). Is f greater than p?
True
Let w(o) = o**2 + o - 5. Let f be -4 + (-3 - 0) + 4. Let g be w(f). Let c = -26 + 53/2. Is g bigger than c?
True
Suppose 13209*s = 13168*s - 1722. Which is bigger: s or -681/16?
s
Suppose 0 = -30*g + 34*g + 956. Suppose -8*b = -18*b - 2390. Is b > g?
False
Suppose -2*v = -2*p + 18, -3*p + 2*v = 7*v + 5. Suppose -p*a + 8*a - 433 = 4*c, 5*a = 2*c + 703. Is a bigger than 139?
False
Let i be (-5)/(-1) - (-4 - -8). Let j(x) = -32*x**2 - x. Let f be j(i). Let r = f - -42. Is r less than 8?
False
Suppose -3*b + 5*h = 494, 9*b + 702 = 5*b - 2*h. Let r = b + 173. Let g be 4/(-22)*2/(-4). Is r equal to g?
False
Let c(z) = -15*z - 174. Let v be c(-11). Let k be 21 - 24 - v*14/(-3). Which is greater: k or -51?
k
Let d(b) = 3*b + 170. Let s be d(0). Suppose -4*c - 150 - s = 0. Which is smaller: -82 or c?
-82
Suppose 5*n + 17 = 3*x, 3*n + 17 = -5*x - 0*n. Let p be (7 - (-5)/x) + 2*3. Let m(f) = 3*f - 1. Let w be m(4). Are w and p non-equal?
True
Let i = 34543 + -51675. Let t = i + 13688470/799. Is t > 0?
True
Let b be (-2)/12 + 858/216. Let t = 50/9 - b. Let o = 34.9 + -35. Which is smaller: t or o?
o
Let h(z) = -z**3 - 14*z**2 - 18*z - 54. Let u be h(-14). Let k be 132/u*2310/8. Is k equal to 192?
False
Let h be ((-4 - -4)/5)/3. Let w be ((-255)/24 - 0) + h. Let n = w - -983/88. Which is smaller: n or 2?
n
Suppose 0 = -3*k + 3*d + 12, 5*k - k + 3*d = 37. Let h be k/(70/2) + (-191)/55. Is -3 at least h?
True
Let o = 38.098 + -38.973. Let u be (5/(-30))/(3/(-6)). Is u less than o?
False
Suppose g = 5*h + 887, -3*g + 666 = h - 1995. Do 887 and g have the same value?
True
Let q be 2/5 - (-16)/(-90). Let n = -22 + 21.5. Let p = n + 2.5. Is p less than q?
False
Suppose 26 = 3*j + y + 1, -2*j + 45 = -5*y. Suppose 0 = -12*g + 22*g + j. Which is smaller: g or 5/67?
g
Suppose 3*t = 0, -5*v - 2*t + 153 = -87. Let c be (-3 + 4)*-2 + 3. Let w be ((-3)/(-3))/(c/47). Which is smaller: v or w?
w
Let l = 209 - 205.49. Let b = 4.51 - l. Which is smaller: -265 or b?
-265
Let x(j) = j**3 + 20*j**2 + 32*j - 38. Let r be x(-18). Suppose r*v + 2185 - 9 = 0. Are -62 and v equal?
False
Let l = -32 + 32.2. Let y = 52.44 - -3.66. Let i = y + -54. Which is smaller: l or i?
l
Let m = -41871 - -49908. Is 8035 at least as big as m?
False
Let b = -5047 + 106007/21. Which is bigger: b or 0?
b
Let p be 52/(-11) + (-16)/88. Let k be 3/2*16/84. Is p equal to k?
False
Let f(r) = -11*r + 78. Let b be f(10). Let x = b - -15. Let l = 4513/5 + -920. Is l greater than x?
False
Let f be (-1)/(-6) - ((-1)/6)/((-40)/(-7160)). Suppose -3*r = -0 - 6. Is r >= f?
False
Suppose 3*s - 4*s + 1 = -3*q, 4*q - 6 = 5*s. Let o be 2*5*(-3 + 2). Let d be -10*(1 + 6/o). Which is smaller: s or d?
d
Let d = -3 - -2. Let b be 110/(-4 - -15) + -6. Let m be -2*3*b/21. Which is greater: m or d?
d
Suppose 0 = 5*j - 5*f + 65 - 215, 0 = -3*j + 4*f + 91. Suppose j*w = 12 + 75. Which is bigger: w or -30/7?
w
Let b = -4312 + 8669/2. Is 4 >= b?
False
Let o = 9 - 54. Let t = -4688.14 + 4733. Let l = t + o. Which is smaller: -1 or l?
-1
Suppose 0 = 5*m - 27 - 63. Suppose -m = c + 17. Does c = -33?
False
Let u(v) = -9*v**3 - 10*v**2 + 6*v - 6. Let t(a) = a**3 + 2*a**2. Let g(n) = 6*t(n) + u(n). Let b be g(1). Let d be 26/70 + (-2)/7. Is d not equal to b?
True
Let k = -111 - -256. Let c = k - 186. Is -46 not equal to c?
True
Suppose 19*w + 716 = -8*w - 2146. Which is greater: w or -120?
w
Let z(c) = -10*c + 2*c**2 + 4 + 2 - 3*c**2 - 17. Let p be z(-7). Let f be (18/(-12))/(1/p). Is f less than -15?
False
Suppose 18*y - 2*a + 251 = 21*y, 4*y - a - 320 = 0. Suppose y*v + 120 = 77*v. Which is smaller: v or -26?
v
Suppose 4 = -l, 6281*c = 6283*c - 4*l - 16. Which is bigger: c or 2/27547?
2/27547
Let f(y) = 24*y - 186. Let n be f(8). Suppose -2 = -n*d - 1292. Is -214 equal to d?
False
Let h = 46 - 43. Suppose h*d = 0, -5*v + 10*d - 5*d = 0. Suppose 0 = 4*a - 6*k + k + 178, -3*a + k - 128 = v. Which is greater: a or -41?
-41
Let s = -24 - -23.13. Let y = s - -38.87. Let i = 36 - y. Which is greater: i or -6?
i
Let z(k) = k**3 + 10*k**2 - k - 8. Let t be z(-10). Suppose 4*d = t*u - 6 + 28, 5*d = 4*u + 32. Let f = -3109/1190 - -3/238. Is u bigger than f?
False
Let w be 3/(-4) + (-162715)/140. Let d = -976 - w. Is d greater than 0.2?
True
Suppose -2*y - 5*b - 84 = 0, y + 2*b + 152 = -3*y. Suppose -329*u + i = -332*u - 109, 0 = 5*u - 4*i + 108. Which is smaller: u or y?
y
Suppose 12*h = 5*l + 7*h - 3985, l - 4*h = 791. Let a = -485 + l. Is 314 <= a?
True
Let z = 291 + -285. Let t = 13653 - 13717.03. Let x = t - -64. Is z not equal to x?
True
Let c be (3 - 2)*(7 - 7). Are c and -3/1858 equal?
False
Let f = 17945 - 251417/14. Is -12 < f?
False
Let k be -1 + -1 + (-38 - (36 + -22)). Suppose 2*v - 16 = -2*v. Suppose -v*d = -5*q + 240, 4*q + 120 + 84 = -4*d. Is d at least k?
False
Let r = -767 + 422. Let k = r + 346. Let l be 101/(-215) + (-16)/(-40). Which is bigger: l or k?
k
Let f = -27/2 - -83/6. Let r(t) = -t**3 + 12*t**2 - 3*t + 12. Let z be r(12). Let n = z - -32. Which is bigger: f or n?
n
Let b = 16 + -6. Let f = -0.32 + 1.32. Which is smaller: b or f?
f
Let z = -6781 + 6781.05. Is 0.0138 greater than z?
False
Let p = -206.616 - 0.384. Let w = 206 + p. Which is greater: 1/99 or w?
1/99
Let v(u) = -u**2 + 2. Let x be v(2). Let j be (-2)/(-43) - x - 2. Suppose -6*c = -123*i + 124*i - 24, -4*c + 16 = 0. Which is greater: i or j?
j
Let j(o) = o**3 + 59*o**2 + 161*o - 394. Let c be j(-56). Are c and -328/135 unequal?
True
Suppose -4*o = -24 + 4. Suppose 106*w = 170*w + 64. Is w >= o?
False
Let t be ((-6)/(-228))/((-7)/28) + (-340)/19. Which is greater: -9 or t?
-9
Let r(y) = -y**3 + 3*y**2 + 5*y - 5. Let q be r(4). Let h = -159847917173/155 - -1031273122. Let z = h + 3763. Do q and z have the same value?
False
Let o be ((-2)/(-18))/(-1)*7/(-63). Suppose 0 = 68*z - 73*z. Which is bigger: z or o?
o
Let q = -0.38 + 2.33. Let m = q + 0.05. Which is bigger: m or 6/5?
m
Let r = 174.637 + 0.363. Let z = -174.6 + r. Which is greater: -1/5 or z?
z
Let o = -17.386 + -249.614. Do o and -6 have the same value?
False
Let s(w) = 17*w + 34. Suppose 32*c = -11 - 149. Let u be s(c). Which is smaller: -52 or u?
-52
Let j = 12.701 - 18.701. Which is bigger: j or 633?
633
Let j be (-18408)/27599*(0 + 3) - (-5 - -3). Is -1 smaller than j?
True
Suppose -568 = -2*j + 336. Let i = -209 + j. Which is bigger: i or 242?
i
Let j = 167 - 38. Suppose -4*h - 5*x - j = -8*h, 33 = h - x. Let l = 22 - h. Is l at least as big as -13?
False
Let b be -5 - (1 + (3 - -1) + -11). Is -24/139 smaller than b?
True
Let r(t) = -7*t + 71. Let a = -412 - -422. Let m be r(a). Which is bigger: 7/86 or m?
m
Let d be 37104/(-72)*3/2159 + (-2)/(-17). Which is greater: -1 or d?
d
Let u = 61/176 + -55/16. Let s be ((-3)/4)/((-3)/(-12)). Which is smaller: u or s?
u
Let x = -671.8487 - 0.1513. Let k = 667 + x. Is -15 >= k?
False
Let w(a) = a**3 + 3*a**2 - 6*a - 30. Let f be w(-4). Let y = 7 + -6. Let p be (f - 26)/(y + (0 - 0)). Is p at most as big as -49?
False
Let f(t) be the first derivative of 3*t**2/2 + 193*t + 21. Let b be f(13). Is b greater than 232?
False
Let l = 2976.9441 + -2977. Which is smaller: l or -2?
-2
Suppose 2*l - 3*k + 858 = 17, 0 = -5*l - 3*k - 2113. Let f be -3 - (-164)/(-10)*-26. Let i = l + f. Which is greater: i or -2/3?
i
Let b = -9151238849 + 4273631015717/467. Let s = -5296 + b. Is 1 less than or equal to s?
False
Let a be (-7 + -2 - -9)*1. Which is gre