15)/(-36). Do -1 and c have different values?
True
Let v be 2/(-9) + (-156)/27. Let d = 321 - 325. Let a be (d/(-10))/((-23)/230). Which is smaller: a or v?
v
Let z be 2754/(-1224) + (-22)/(-8). Which is greater: z or 7161?
7161
Let w(k) = -13*k + 4*k + 17*k + 4*k**2. Let x be w(-3). Suppose -2*m + 68 = -x. Are m and 40 nonequal?
False
Let t be (20468 - -1)*(13 - 10)*(-5)/15. Is -20468 greater than t?
True
Suppose 5*r + 4 = 2*g, -2025 + 2014 = r + 3*g. Let u = 38 - 144. Is r less than u?
False
Let d = 7307 - 4894. Let y be d/95 + (-4)/10. Let n be y*(2/4 + (-3)/(-2)). Is n less than 50?
False
Let r = 603 - 609.2. Let a = r - -6.06. Is a >= 2?
False
Suppose 302*n - 327*n = -78125. Is n at least 3125?
True
Let u = 7 - 1. Suppose 0 = u*t - 3*t + 381. Which is bigger: -126 or t?
-126
Let n be ((-16)/28)/((-10)/35). Suppose c = n*b - 3*b + 5, 0 = -3*c. Suppose -b*g - 3*w - 1 = -w, -3 = -5*g - 4*w. Which is greater: g or 2/159?
2/159
Let f(s) be the first derivative of -3*s**2 - 20*s + 9. Let v be f(-4). Suppose -6*h + v*h = -2*y, -8 = 5*h - y. Which is greater: -8/5 or h?
-8/5
Let c(u) = -8*u + 136. Let l(s) = 2*s**2 - 10*s + 7. Let j be l(5). Let v be c(j). Is v smaller than 82?
True
Suppose -258*x + 261*x - 3*y = 4224, -4*x = -y - 5617. Which is smaller: x or 1406?
x
Suppose -a + 3*r = 125, -4*r + 5 = -3*r. Let j = 108 + a. Which is bigger: 21 or j?
21
Let n = -265 + 304. Suppose -77 = 5*b + 198. Let y = n + b. Which is greater: y or -14?
-14
Let z = -25 + 42. Suppose 4*a = -5*m + 29, -11*m = -2*a - 6*m - 23. Which is smaller: z or a?
a
Suppose -17*z + 5792 = -1841. Which is bigger: 448 or z?
z
Let j = 228.217 + 5.783. Do j and 8 have different values?
True
Suppose 20626 - 1621 = 35*k. Is 531 greater than or equal to k?
False
Let l = 38257/27 + -1417. Which is smaller: l or 4.9?
l
Let a = -51.165 + 43.3. Let t = -0.135 + a. Let g be 4/6 + (-3 - -2). Which is smaller: g or t?
t
Let c(f) = 14*f - 1. Let m be c(2). Suppose 3*h + 3*t - 54 = -0*h, -90 = -5*h + 4*t. Let w = h - m. Is -8 less than or equal to w?
False
Let k(f) = -f**3 - f**2 + 3*f - 2. Let m be k(1). Suppose 5 = -3*a - 64. Let i be a + (-2 + -2)/m. Which is bigger: -17 or i?
-17
Let i be (-117)/5 + (-2)/(-5). Let y be (-2)/((-8)/12)*-12*7/1134. Is i less than y?
True
Let s = -2.603 - -0.963. Which is bigger: -0.4 or s?
-0.4
Let j = -101549 - -101551. Let x = 1.5 + -11.5. Which is greater: j or x?
j
Let u = 5127 + -3712. Which is greater: 1 or u?
u
Let b = -7752.267 + 7749. Which is bigger: b or -2?
-2
Let f(b) = b**2 + 5*b + 3. Let t be f(5). Let z be t/(1 + (-3 - -3)). Let o = 3411 + -3358. Is z at least as big as o?
True
Let u = -33184 + 20525. Which is smaller: u or -12661?
-12661
Let z(w) = -w**3 - 4*w**2 - 6*w. Let c = -24 + 20. Let h be z(c). Let d be 56/(-12) + 4*4/h. Is -6 at most d?
True
Suppose 3*j + 351 = 4*v, 3*j - 3*v = -126 - 225. Is -1503/13 bigger than j?
True
Suppose 9*q = 21*q - 4704. Let d = q + -371. Which is smaller: -4 or d?
-4
Suppose 0 = -17*v + 15*v + 2*o - 274, v = -4*o - 102. Is -120 > v?
True
Let a = 24958 + -22219. Are a and 2736 nonequal?
True
Suppose 3*v + 6087 = 9*m - 5*m, 5*v + m + 10122 = 0. Is v <= -2024?
True
Let i = -20 - -23. Let q = 5 + i. Let a = 141 - 138. Is a smaller than q?
True
Let z be 1 + (-532)/(-488) + (-9 - -7). Which is bigger: 1 or z?
1
Suppose -l + 3*l + 968 = 6*r, -4*l + 346 = 2*r. Which is greater: 11 or r?
r
Let y = -17681 - -17280. Which is smaller: -2411/6 or y?
-2411/6
Let p = 936 + -981. Which is bigger: p or -756/17?
-756/17
Let b = -2064 - -2064. Is -2/1525 equal to b?
False
Let y = -231 - -114. Let s be ((-3)/y)/((-3)/(-27)). Which is smaller: -4 or s?
-4
Let q be 106/825 - (-16)/(-88). Suppose -2 - 2 + 4 = 7*z. Is z equal to q?
False
Let d be ((-894)/(-39))/(16/12 + -1). Let m = d - 69. Let t = 1.1 - 1. Is t >= m?
True
Let f = -241.297 + 0.297. Let b = f - -241.1. Does 0.127 = b?
False
Let h(b) = -b**3 - 54*b**2 + 2*b + 105. Let t be h(-54). Suppose -o - z = -0*o + 4, -20 = 4*o + 5*z. Suppose -2*u + o + 6 = 0. Is u not equal to t?
True
Let c = 6810 - 6540.88. Let z = -269 + c. Which is smaller: z or 0?
0
Let i be 1/2 - (10/(-52) - -1). Let c = i + -224/117. Which is smaller: -2/11 or c?
c
Let s be (11 - (-124)/(-12)) + (-162)/(-33). Is 1 at most s?
True
Let u = -153/128 + 637/640. Let s be (-2)/(-3) + 22/(-60). Which is smaller: u or s?
u
Let n = 3 + 2. Let r = 78 - -9. Let z = r - 80. Are n and z unequal?
True
Let l(d) = -d**2 - 13*d + 5. Let i be l(-8). Which is greater: -12 or i?
i
Let u(l) = l**2. Let b be u(0). Let m be (-1)/(-43806)*(-18 + -4400). Let q = m - -13/149. Are b and q nonequal?
True
Let h = 1/16392 - 258175/16392. Let n be (2 + -4 - 15) + 2. Is n <= h?
False
Let y(k) = -k - 13. Let l be y(11). Let x = l + 77. Let i = 42 - x. Are i and -12 unequal?
True
Let h = 137 - -1737. Is h smaller than -2?
False
Suppose 334*f - 224 = 320*f. Is f at least as big as 37?
False
Let h be (-4)/6 + (595/51 - -6). Is h < 13?
False
Let j = 2145 + -2145.06. Which is greater: 0.38 or j?
0.38
Let k = -90.5 - -106.26. Let t = 0.24 + k. Let s = t + -11. Which is bigger: -5 or s?
s
Let g = -561919229023/275 - -2043345597. Let b = g + -2946. Is b at most as big as 1?
True
Let q = -76833 + 920497/12. Which is smaller: q or -126?
-126
Suppose 0 = -2*s - 4*j + 3*j + 2, -6 = s + 4*j. Is 38/25 bigger than s?
False
Let d = -0.166 - 0.044. Let b = d - 2.79. Let q = 2 + b. Is 1 less than or equal to q?
False
Let g be (-646)/76*(-6)/(-55). Let j = g - -6/5. Which is smaller: j or -7?
-7
Suppose -699*l + 715*l = 16. Suppose 4*w + x = -4*x + 111, -2*x - 18 = -w. Is l <= w?
True
Suppose 0 = 5*f + 2*u - 5 - 13, 2*f - 4*u - 12 = 0. Let g = 80941/16600 - 2/2075. Which is greater: g or f?
g
Let i be (532/(-57))/(((-24)/(-14))/(-2)). Suppose 4*m - 28 - 8 = 0. Let v be (-15)/(-10)*66/m. Do v and i have the same value?
False
Let h = 174.076 + 29.094. Let n = h - 204. Let c = n + 0.73. Is c bigger than -2/29?
False
Suppose -2*q + 5787 = -y - 5643, y + 4 = 0. Are 5713 and q equal?
True
Let l = -0.02632 + -56.97368. Let x = 6697.86 + -6755. Let m = l - x. Is 1 equal to m?
False
Let r(x) = 6*x - 4. Let h be r(1). Suppose -2*m + 14 = -h*l, -m - 4*m - 4*l + 8 = 0. Let i be (5/(-28))/(m/16). Is -1 less than i?
True
Suppose -109*d - 8754 = -110*d + 5*n, 0 = 5*d + n - 43952. Is d at least 8788?
True
Suppose 109 + 1 = -5*r. Let p = -202 + 368. Let f = p - 186. Which is smaller: f or r?
r
Let m = 3947/759 - 121/23. Let n(f) be the first derivative of f**3/3 - f**2 - 3. Let r be n(1). Is r at least m?
False
Let t be (1/147)/((-195)/130). Suppose -c - 1 = -2*c. Which is bigger: t or c?
c
Let x = -153 - -150. Suppose 134*z - 128*z - 84 = 0. Is z >= x?
True
Suppose -3*x = -4*g + 76, 0 = 26*g - 31*g - 4*x + 64. Suppose 45*l - 1682 = g*l. Are 58 and l equal?
True
Let u be (-9 - -6)*(1 + -2). Suppose -w + u = 2*w. Let d be 24/(-276) - (-680)/(-386)*(-10)/230. Which is greater: w or d?
w
Let c = 3182 - 3183. Are c and 12/907 nonequal?
True
Let y = -1824/7 + 31974/119. Which is bigger: y or 7?
y
Let w = 71059 - 71046. Suppose 0 = -5*p + 16 + 49. Is p > w?
False
Let k = -418 - -91. Which is smaller: 2 or k?
k
Let j(o) = -o**2 + 22*o - 51. Let u be j(19). Suppose 0 = -4*p - 3*l - u + 9, -4*l + 4 = 2*p. Which is greater: -2/15 or p?
p
Let q(t) = 2*t - t - 13 + 17. Let p be q(-4). Let w(m) = 8*m - 162. Let z be w(20). Which is smaller: p or z?
z
Let h be 2/5 - (-16)/10. Suppose h*c + 2*c = -2*d, 3*c - 5 = -4*d. Let w = -711605 - -63332847/89. Is w less than or equal to c?
False
Suppose -i - z - 1 = -0*i, -4*i - 2*z + 2 = 0. Let v(d) = i - d + 0 - 13*d - 20*d. Let o be v(-1). Which is greater: 35 or o?
o
Suppose -148*b + 567 = -25. Do b and 15 have different values?
True
Let i = -0.44 - -10.44. Let a = -9.919 + i. Let b = a - 0.681. Which is bigger: -3 or b?
b
Let b(m) be the second derivative of 0 - 1/4*m**4 + 1/2*m**2 - 1/3*m**3 - 24*m + 1/20*m**5. Let x be b(-2). Which is smaller: -16 or x?
-16
Let l be -8 + 9 - (-4 - 1)*1. Suppose l = 27*w + 33. Which is smaller: w or 1/118?
w
Let h = 192 - 331. Let u = h + 140. Let s(b) = b + 3. Let c be s(3). Which is bigger: u or c?
c
Let f be 7 + -8*4/4. Let h = -1/421 + -5045/2947. Is f greater than h?
True
Let p = 98497/3 - 3283