?
True
Let k(m) = m + 5. Let u be k(-6). Let h = -39 + -24.5. Let n = -64 - h. Is u >= n?
False
Let v = -791 - -2147. Let q be ((-4754)/v - -3) + (-4)/(-8). Is q greater than -1?
True
Let f = 2293 - 2297. Which is smaller: f or -119/33?
f
Suppose p = 4*i - 15, 47*p + 5*i - 20 = 48*p. Let x be 1868/(-48) - (-4)/30*p. Is -39 equal to x?
False
Let s = 106.4 - 142.92. Which is bigger: 1/4 or s?
1/4
Let w = 7.45 - 0.55. Let n = -7.11 + w. Are n and -2/5 equal?
False
Let o = -4 - -5. Suppose -4*k - 4*t + 8 = 0, -5*k + 3*t = o + 5. Let j = -3289 - -29600/9. Which is greater: k or j?
k
Let q be -3*((-6)/(-27) - (-962)/(-9) - -5). Is 317 equal to q?
False
Let r(s) = -3*s - 1. Let l(j) = 16*j + 53. Let o be l(-4). Let n be r(o). Is n less than or equal to 131/4?
True
Let l = 2.4848 + -0.4078. Let g = -26.923 + 27. Let q = g - l. Is 1.5 not equal to q?
True
Let d be 496/(-952) - (-8)/28. Let h = 170 + -1188/7. Which is smaller: h or d?
d
Let c be -4*2/(-12) - 21/(-9). Let k be -2 + c - 1 - -4. Suppose -4*f - d - 3 = -k*d, 5*f = 5*d - 10. Which is smaller: 7 or f?
f
Let l be (15/80)/(-3) + (-51)/(-48). Let h be 4/(-246) - (1 + -1). Let s = h - 593/1353. Is s not equal to l?
True
Suppose 3*d - 1 = 4*d, -3*x - 5*d = 161. Let l = 113 - 164. Which is bigger: l or x?
l
Suppose 283 = 5*l + w - 3*w, 2*l - 5*w = 130. Let k = -8232 + 8288. Which is smaller: k or l?
l
Let t = -39 - -63. Suppose 4*f - 3*m + 59 - 147 = 0, 0 = 4*m - 16. Which is smaller: f or t?
t
Let q = -6914 + 6919. Is q greater than 4.33?
True
Let d(l) = l**2 - l - 28. Let c be d(6). Let h = -94799/23 + 4123. Are h and c equal?
False
Let y(a) = -5*a - 4. Let z be y(3). Suppose -4*o + 4*b = -24, 4719*o - 4715*o + 120 = -5*b. Is z at most as big as o?
True
Suppose -278*z = 97*z + 6159 + 1341. Are 25 and z unequal?
True
Let b = 264.18 - -3.82. Let r = b - 277. Which is bigger: r or -6?
-6
Let w = -530 + 530. Let v = 468 - 8888/19. Which is bigger: w or v?
v
Let r = 43 - 41.55. Let u = -43.45 + r. Which is bigger: 0.2 or u?
0.2
Suppose 16*z = 1529 - 1657. Are z and -105 non-equal?
True
Let w be (-1 - 3) + 4 + 1. Let s be w*(4 - 0) - 3. Let i be -1 + 0 - (5 + 409/(-68)). Which is bigger: s or i?
s
Suppose -i + 2*l + 294 = 0, -l + 425 - 1868 = -5*i. Suppose -37*j = -35*j + i. Is -143 greater than j?
True
Let k = -106 - -103. Let w be (4/12)/((k - -1) + 7). Which is bigger: w or 1?
1
Let t be ((-38)/5)/(-2) - (-6)/30. Suppose 0 = p - 5*r - 109 - 137, -900 = -t*p - r. Which is bigger: 225 or p?
p
Let x be (98/196)/(1 - 21/2 - -2). Do x and 37 have the same value?
False
Let h(a) = 2*a**3 + 19*a**2 - 8*a + 22. Let j be h(-10). Suppose 0 = j*f - 13 + 7. Are f and -15/7 non-equal?
True
Let t be 143/286 - 15/(-58). Let p be 1 - (-1 + 5) - -3*1. Which is bigger: t or p?
t
Let b be ((-4)/(-218))/(19 - 4 - 5). Let u = -1664/15805 + b. Which is smaller: 1 or u?
u
Let i(j) = 48*j**2 - 3*j + 1. Let h be i(2). Suppose 0 = -7*s - s - 9*s + 3179. Is s less than h?
False
Let o = 0.1 + -0.1. Suppose 7*t = 60*t - 135*t + 2378. Which is smaller: o or t?
o
Let h(p) = -2*p**3 - 19*p**2 - 26*p - 17. Let g be h(-8). Is 2/5963 not equal to g?
True
Let d = -2214.97 + 2215. Is -35 at most as big as d?
True
Let x = 22431 + -22406. Is 14 < x?
True
Let j = -113 + 106. Let h be 810/(-189) - 2/j. Is h at least -16/5?
False
Let c = 1.36 + -0.807. Let o = c + -0.153. Which is bigger: -2/3 or o?
o
Let k be 2/8*96/6. Suppose k*u + 0*u + 21 = -5*n, -10 = -5*u + n. Let i = 12.26 - 0.26. Is i less than u?
False
Let w be 144/396 - 416/55. Let j(s) be the first derivative of -s**2/2 - 16*s + 3. Let h be j(-9). Which is bigger: h or w?
h
Let o = -35 - -56. Suppose -o*s = -123 - 150. Is 55/4 at most s?
False
Suppose 0 = -2*h + 4*h - 2. Let y(l) = -16*l - 8. Let z be y(-4). Let o be (-9)/20 + (-2)/z*-7. Is o != h?
True
Let p = 22521.5572 + -22521. Which is smaller: p or 1/4?
1/4
Let h = -2.8 + 3. Let a = -36.19 - -36.39. Is h at most as big as a?
True
Let v be (-3)/(-14)*16/60. Let i(x) = 11*x**2 - 8*x - 4. Let y be i(-4). Let h = 205 - y. Is v greater than or equal to h?
False
Suppose -16 = -p - 2*l, -46 = -0*p - 2*p + 3*l. Let y = -9.74 + -0.26. Let t = y + 11. Is t less than p?
True
Let s(g) = 6*g - 127. Let r be s(21). Which is smaller: -28/51 or r?
r
Let b(c) = 9*c**3 - 3*c**2 + 5*c + 5. Let f be b(3). Does 237 = f?
False
Let j be (-355 - 4)*(-16)/1412 - (-13 - -17). Which is bigger: 1 or j?
1
Let m be (-1518)/15 - (12/(-15))/(-1). Let y be (-3)/(-4)*m/(-1224). Is 2/9 smaller than y?
False
Suppose -46 = -310*t + 44 - 90. Suppose -l + 5*l + 344 = 0. Let n be l/(-231) + (-2)/11. Is n less than or equal to t?
False
Let w(o) = 2*o - 19. Let g(p) = -2*p + 19. Let u(h) = 5*g(h) + 4*w(h). Let n be u(10). Let q be (-2)/((-5)/(-2) - 0). Is q smaller than n?
False
Let n = 101 + -102. Let b be 1/(900/(-2808) + n/(-2)). Is 5 at least b?
False
Let y = 2166 - 114806/53. Do y and 1 have the same value?
False
Let l be (21/(-48) - -1)*(1610/(-42) + 29). Is -5 not equal to l?
True
Let f = -13390 + 13390. Let o be ((-2)/380)/((-130)/(-40)). Does f = o?
False
Let q be (2 - 4/2) + 43. Suppose -14 = 5*v - 5*z - 119, 0 = 2*v - z - 41. Let t(l) = 5*l - 57. Let i be t(v). Is i less than q?
False
Let n = -1.8 - 225.2. Let c = -231 - n. Which is bigger: c or -0.22?
-0.22
Let z be (49/(-14))/(392/(-16)). Is -3/1481 <= z?
True
Let j be (-69154)/(-1456) - (-7 - -4). Let y = j - -3/728. Are y and 50 nonequal?
True
Let q = -4471 + 8727/2. Let l = q + 109. Is 1 greater than or equal to l?
False
Let k(b) = 572*b - 375. Let w be k(2). Is -0.2 at most w?
True
Let q(h) = 51*h - 477. Let y be q(-4). Which is smaller: -678 or y?
y
Let r(m) = -m + 102. Let y be r(4). Let l(f) = f**2 + f. Let u be l(0). Suppose 3*h + u*h - 4*i - y = 0, -64 = -2*h + 3*i. Is 39 at least as big as h?
True
Let b = 49.413 - 0.413. Let u = b - 51. Is u greater than 2/95?
False
Let b be 4/(-30) + 0/1 - 184860/(-1390500). Are 0 and b unequal?
True
Suppose 47*b - 656946 - 1759 = 0. Is 14014 at most b?
True
Let a = -8128 + 8141. Which is greater: -1/27 or a?
a
Let w = -13.9 - -14.2. Let v be (((-32)/4)/(-4))/(15/(-12)). Are v and w nonequal?
True
Let b = 300201/62 - 4842. Is 0 equal to b?
False
Let n be (374/(-85) + 6)*(-10)/8. Suppose 0*d + 42 = 2*g - 3*d, -d + 2 = 0. Which is smaller: n or g?
n
Let o(d) = -1 + 2*d**2 - 17 - 1 - 39*d. Suppose -69*c + 42*c + 540 = 0. Let z be o(c). Is z < 2/131?
False
Let p = 123524 + -123541. Let t(l) = -2*l + 2. Let k be t(8). Which is greater: p or k?
k
Let n be 0/(-5 + 3) - 128/(-304). Let m be 2/4*0/(-42). Which is greater: m or n?
n
Suppose -55 = -4*x - 83. Let h = 133 + -137. Let g be 2*h/4 - 0. Do g and x have different values?
True
Let d be -2*2 - 49444/(-141). Let u = 383 - d. Let f be (-206)/(-6) + (-10)/(-15). Is f <= u?
True
Let r(x) = 19855*x**3 - x**2 + 34*x - 63. Let y be r(2). Let d be y/31779 + 0 + -5. Is 1 less than or equal to d?
False
Let l = -2252 + 3926. Which is smaller: l or 1677?
l
Let u(k) be the third derivative of -k**4/24 + 7*k**3/2 - 26*k**2. Let r be u(15). Let t be (r/(-27))/1 - 22/(-18). Does 9/7 = t?
False
Let u = -7554 + 7554.3469. Is 6 at least u?
True
Suppose 6*p + 8 = 14. Suppose 2*h - 4*c - 9 = p, -3*c = -15. Suppose -4*i - h = -55. Which is smaller: 9 or i?
9
Suppose -5*l - 15 = -10*l. Let b be ((-22)/l)/(10/30). Let v be (-3)/(-7) - 24/126*123. Which is bigger: v or b?
b
Let h(b) = b**3 + 2*b**2 - 5*b - 18. Let k be h(5). Let p be (378/k - 3)*(-8)/30. Are 1 and p nonequal?
True
Let z(j) = -2*j**2 - 29*j - 19. Let w be z(-12). Let i = 44 + -86. Let o = i + w. Which is bigger: o or 1/34?
1/34
Let t(s) = -2*s**2 - 59*s + 72. Let j be t(-33). Suppose 0 = -5*h - 4*o - 816, 2*o - 3*o + 476 = -3*h. Which is bigger: h or j?
j
Let q(r) = 732*r - 4390. Let j be q(6). Let b = 24980/196413 - -2/4179. Is j <= b?
False
Let k be 12/10*(-2 + -3). Let h be ((-95)/1615)/(2/(-34)). Is h less than or equal to k?
False
Suppose -3285 - 7253 = -10*g - 258. Is g at least 1031?
False
Let w = 621 + -623. Let x be (-5*16/40)/w. Which is smaller: x or -85?
-85
Let u = -0.7081 + 1.6081. Which is smaller: u or 123?
u
Suppose -2*r - 10 = -0*r, 0 = 5*j - 5*r - 60. Let p(f) = -f**3 - 3*f**2 - 5*f - 17. Let w be p(j). Let t = w + 13552/25. Do t and -2/7 have the