 Let k(q) = 138*q + 1915. Let x be k(-14). Does x = v?
False
Let n = -0.1709 - -113.1709. Is n bigger than 0?
True
Let i be 6/21 + 2/(-7). Let r be ((-8)/(-10))/((-35)/(-350)). Let d be (r/(-30))/(72/(-120)). Is d equal to i?
False
Let v be (1476/(10 + 8))/(-2). Which is smaller: -938/23 or v?
v
Let j be (-18)/2*3094/546. Is -77 <= j?
True
Let a be ((-2)/(-4))/(5 + (-1004)/200). Let x = -21 - a. Let s(p) = -4*p + 5. Let r be s(x). Is r greater than -12?
True
Let h = 0.1414 - 82.2414. Let m = -310.8 + 228.8. Let u = m - h. Which is bigger: -0.77 or u?
u
Let k = 13822 - 13822. Which is smaller: k or 4/4389?
k
Suppose -22*d = 1178 - 3576. Which is smaller: -1.5 or d?
-1.5
Let s = 310 - 307. Suppose -3*q + 3*r - 4*r = -s, r = -q + 1. Which is smaller: q or 14/9?
q
Let c(i) = 4*i**2 + 313*i + 161. Let q be c(-52). Which is bigger: q or -5298?
-5298
Let c be -2 + (-4998)/66 + -2. Let z = c - -239/3. Which is greater: -5 or z?
z
Suppose 2744 = 20*l - 28*l. Let g = 257 + l. Which is greater: g or -88?
g
Let j(y) = 297*y + 1914. Let r be j(-15). Is 1 <= r?
False
Suppose -3*g - 109 = 2*j, -3*g = 5*j + g + 262. Let u = j - -88. Suppose 2*i - u = i. Is 38 equal to i?
True
Let c = -384 - -926. Let w = c - 5959/11. Which is greater: w or 0?
w
Suppose -8*t = -830 - 5042. Let b = t - 735. Let v(j) = 2*j - 7. Let z be v(-5). Is b <= z?
False
Let a be 15/(420/(-8)) + 1372121/4862914. Let m = a - -5/838. Do m and -1 have the same value?
False
Let w be -2*2 + 81715/(-6018) + (-1)/(-6). Is w at most as big as -18?
False
Let z be -4*(2 + (-61)/28). Suppose 4*u + u - v + 2 = 0, 2*u + 5*v + 17 = 0. Let q be (1 - (-4)/(-6))/(u/(-3)). Is q at least z?
True
Let k = 178 - 116. Let j = 89 - k. Let y = 26.8 - j. Which is bigger: -8 or y?
y
Let g = -0.21 - -0.39. Let w = g - 0.68. Let t = 99 - 99. Which is bigger: t or w?
t
Let j = -2 + 3. Let h = -39129 + 5282416/135. Which is smaller: h or j?
h
Let m = 45 - 32. Let c = -18.6496 + 19.1496. Is m at most c?
False
Suppose -1 = -8*a - 17. Let q be ((-40)/(-950))/(0 + a/(-5)). Suppose 6*y = y + 2*t + 3, 3*y = -3*t - 15. Is q >= y?
True
Suppose -4*v = -3*q + 52, 52 = -4*v - q + 3*q. Let h be 33*(-15)/25 + (-1)/5. Let z be (-14 - -14) + h/2. Which is bigger: z or v?
z
Let x = -175.93 - -177. Suppose 308 = 16*h + 324. Are x and h unequal?
True
Let m = -15082 - -15082. Is m < -2/20961?
False
Let k(z) = z - 9 + z - 14*z. Let d be k(-4). Suppose 205*g + 198 = 210*g - 4*m, 5*g + 3*m = 184. Is d equal to g?
False
Let z = -5/1733 + 1512944/12131. Is z > 0.08?
True
Suppose 0 = 3*i + 3*a + 2658, -322*i - 5*a = -327*i - 4450. Which is bigger: i or -891?
i
Let t = -0.5 - -2.3. Let i = 448 + -835. Let c = i + 387. Is t less than c?
False
Let o be ((-99)/693)/((-2)/(-14)). Which is smaller: o or -126/59?
-126/59
Let k be -1*(40644/(-1146))/(-6) - -6. Is k less than or equal to 0?
False
Let b(p) = -33*p + 43*p + 51 - 2. Let w be b(-5). Is -21 >= w?
False
Let b = 6 - 5. Suppose 0 = -21*x - 2921 - 28096. Let v = 33965/23 + x. Is b not equal to v?
True
Suppose 3*n = -1 + 4. Let c = -732/31 + 25248/1085. Is n > c?
True
Let i be 78/52 - ((-1791)/(-2))/(-3). Suppose b - 4 - 62 = -3*h, 5*b = -5*h + i. Is 57 greater than or equal to b?
True
Suppose 0 = 5*x + 136 + 1569. Let b = x - -198. Which is smaller: -141 or b?
b
Let i = -32480/31 - -553246/403. Let y = 325 - i. Is y not equal to -1?
True
Suppose -5*y - 10 = 0, 4*y + 10 = -4*i - y. Let r be (2 - i)*204/24. Is r greater than or equal to 17?
True
Let b = 0.1703 + -0.1203. Which is smaller: b or -13.53?
-13.53
Let g be (-7 - 525/(-7))*8/(-16). Which is smaller: -560/17 or g?
g
Suppose -f + 7404 = -5*v, 3*v = -1540*f + 1539*f - 4452. Is -1484 smaller than v?
True
Let g = 1584 + -2105. Are 2/11 and g non-equal?
True
Suppose 16 = 11*n + 10*n - 5*n. Which is bigger: n or -1/17128?
n
Suppose -3*g + 3*s + 2952 = 0, 272*g + 2*s + 3950 = 276*g. Is g at most 990?
False
Let r = 35.9 + -224.9. Let m = r - -175. Let o = 0.6 + -0.7. Which is smaller: m or o?
m
Let o = -58 - -51.6. Let h = 0.3 + -10.7. Let b = o - h. Is -1 bigger than b?
False
Suppose 5*x + 2 = -2*w - 11, -5*x + 3 = -2*w. Let h be 3/(-1)*80/3. Let m be (-8)/(-20) + 7/h. Is m < x?
False
Let z be (-204)/(-27)*(-2 - 1). Suppose 7*t - 40 = q + 4*t, q - 5*t = -52. Which is smaller: q or z?
z
Let x = 28783 - 28443. Which is smaller: x or 331?
331
Let x be 2040/(-1018) + 2 + 0. Suppose 0 = s - y + 10, 36*y - 37*y = 2*s - 13. Which is smaller: x or s?
x
Suppose 2*z + 5*q + 13 = 82, 5*q = 5*z - 155. Suppose 4*l - 10 = 2*x, 3*x + 29*l + 9 = z*l. Which is greater: x or 1/461?
1/461
Suppose -31*r = -31 - 18 + 18. Which is smaller: r or -12/245?
-12/245
Let z be (240/64)/(1989/(-520)). Which is smaller: -2 or z?
-2
Let u = -2629/20840 + 3/2605. Is u >= -3/23?
True
Let c = -2828/75 - -113/3. Let b be (-1641)/3829*(-21)/9. Which is bigger: c or b?
b
Let v = 68 + -68. Suppose 7*f - 5369 + 1799 = v. Let l be 675/f + 3/(-2). Is 1 less than l?
False
Let r(y) = y**3 - 20*y**2 - 102*y - 24. Let c be r(-4). Which is bigger: c or 1/7158?
1/7158
Suppose -2*q = -5*q. Let g = -310/517 + 41/47. Which is smaller: q or g?
q
Suppose 8 = 213*c - 215*c. Let k be 10/c - (3 + (-63)/18). Which is bigger: k or -15/14?
-15/14
Let c = -79 - 163. Let p = 261 + c. Is p smaller than -6?
False
Let l = 1065 + -1035.34. Let s = 1.54 + l. Let i = s - 31. Which is bigger: 10 or i?
10
Let q = -17045 - -238779/14. Let t = 64/7 - q. Which is bigger: t or -13?
t
Let k = 6469/174383 - 2/2101. Let t = 96980 - 96980. Which is smaller: t or k?
t
Let n be 8/180*-3 - (-3703)/(-15). Let p = 247 + n. Which is smaller: 115 or p?
p
Let n = 2638 - 18469/7. Which is smaller: n or -403?
-403
Suppose 3 + 1 = -w, 2*w = 4*t - 8. Suppose t*y - 2 = y. Let d = -1400 - -6987/5. Is y equal to d?
False
Let z be 4/(24/(-2529))*-2. Let p be (-2556089)/3045 - (28/30)/7. Let y = p + z. Do 2 and y have the same value?
False
Suppose -5*h + 30 = -z + 5*z, -3*z = h - 17. Let u be (0 + 61 + h)/(15/2). Which is bigger: u or 8?
u
Let f = -180010 - -2521195/14. Which is bigger: 75 or f?
f
Suppose 4*f + 32538 = 33*f. Suppose 7*d + f = -537. Is -237 bigger than d?
False
Suppose -7*i - 10*i - 21420 = i. Are -1187 and i equal?
False
Let t = 290 + -77. Suppose 0 = 25*r - 22*r - t. Is r <= 70?
False
Let t be 2 + (-654)/(-18)*1*6. Let b be 7/28 - (-3133)/t. Let k = b + -144/11. Is k at least 2?
False
Let y = 310265/472 + -35/708. Let s = y + -657. Which is greater: s or 0?
s
Suppose -q = -x + 105, -2*x + 74*q - 70*q + 220 = 0. Let r be 1796/18 - (-4)/18. Is x bigger than r?
False
Suppose -5*w - 7*x + 800 = 8*x, 660 = 4*w + 2*x. Which is smaller: w or 55?
55
Suppose 0 = 14*o - o - 199 + 121. Which is smaller: o or -4?
-4
Let h(x) = x**3 + 38*x**2 + 313*x + 46. Let n be h(-12). Which is greater: -151 or n?
n
Suppose -210 = -10*p + 17*p. Let a be p/(-20) + 650/(-432). Which is smaller: a or 0?
a
Let c = -1494 - -1438. Let w = -94 - -45. Let l = c - w. Is l at most as big as -2?
True
Let f be (-1*(-2 - -2))/(3 - 1). Let l(v) = -2*v + 10. Let u be l(4). Suppose -4*q - 3*x + 12 = 0, 8 = -f*q + 4*q + u*x. Is -1/7 equal to q?
False
Let o(q) be the first derivative of q**2/2 - 16*q - 3. Let u be o(18). Suppose u = 6*r - 8*r. Is r less than or equal to -3?
False
Let b be (-8 - (11 - 507/26))/((-3714)/4). Is b equal to 0?
False
Let k(f) = f**2 - 66*f + 599. Let w be k(11). Let l = -6 - -5. Is l > w?
True
Let k(w) = w**3 - 92*w**2 - 700*w + 693. Let r be k(99). Let a be 24/(-116)*3/(-2). Is a at most r?
False
Let z be 6/(-75) + 784956/1950. Let a = z + -795173/1976. Is a equal to -1?
False
Let s = 752 + -748.99. Let q = 37.01 - s. Which is smaller: -1 or q?
-1
Let k = 5 - 2. Suppose 3*z - 9 = -k*a, 0 = 2*z + 5*a - 12 - 6. Let n be ((-303)/51 - (-6)/2) + (74 - 71). Are n and z unequal?
True
Suppose 25*h = 19*h. Suppose h = -19*x - 31 - 710. Which is greater: x or 0.2?
0.2
Let z be (3 - 38 - 78/(-13))*33. Let n = z + 1073. Is n at least 114?
True
Let v = 8.376 + 4.124. Is v != -0.2?
True
Let z be ((-10)/(-25))/(((-71728)/(-32))/(5/(-2))). Which is bigger: 0 or z?
0
Let f be (3/(-15))/(2/(-10)). Suppose -24 = -11*k + 5*k. Let x be (-4 + 0)/(5 - 10/k). Which is smaller: x or f?
x
Let l = 0.97924 - -0.02076. Is 2845 at most as big as l?
False
Let 