/t). Is 0 greater than d?
False
Let i = -1658 + 1084. Let s = i + 557. Which is bigger: s or -19?
s
Suppose 0 = 4*w + 2*c - 14, -3*c + 13 + 0 = 2*w. Suppose w*t = -20*t - 1122. Which is smaller: 3 or t?
t
Suppose q = -8*q + 6930. Let i be (-7)/(q/144) + 2/5. Suppose -36*a = -38*a. Is i not equal to a?
True
Let o(v) be the second derivative of v**5/20 + 3*v**4/4 - 19*v**3/6 + 16*v**2 + 6*v + 1. Let h be o(-11). Let a be 2/(-10) + 6/(-70). Is a <= h?
False
Let z(f) = -f**2 + 57*f - 261. Let i be z(52). Is i equal to -1/582?
False
Let c be -15 - (-98)/35*5. Let y = 5251 - 2636003/502. Which is bigger: c or y?
y
Suppose 5*p - 3 = -3*k + 46, -4*k + 75 = -3*p. Suppose 0*r = 3*r. Let y be (-30)/k - ((-3 - -2) + r). Is 1/24 smaller than y?
False
Let j = 21958/3 - 154480/21. Which is bigger: 0.4 or j?
0.4
Let q be (2/(-6))/(6/(-108)). Suppose 0 = -q*l + 2*l + 8. Suppose 5*w = 3*m - 7, -l*w + 4*w = -3*m - 7. Which is smaller: m or 7?
m
Suppose 16 = -v - 11. Let t(l) = l**2 - 54*l + 219. Let c be t(49). Which is greater: c or v?
c
Let z be -6 - 13*(-15 - -17). Let c be -1 + -1 + 0 + -28. Which is smaller: z or c?
z
Let l = -423797 - -423796. Let i = -2/2069 - 1869/206900. Is i bigger than l?
True
Let w(r) = -16 - 49*r - 6 + 52*r. Let n be w(14). Is n <= 18?
False
Suppose -i + 18 = -4*b, -2561*b - 58 = -2559*b - 4*i. Let a be (-3)/((-324)/(-74)) - -1. Which is greater: b or a?
a
Suppose 5*f - 34 = 221. Suppose 4*y - f = 3*y. Which is smaller: y or 49?
49
Let h(s) = -312*s + 313. Let p be h(1). Does p = 24/403?
False
Suppose 362 - 1418 = 66*d. Suppose 2*o + 112 = -5*o. Is o less than or equal to d?
True
Let h(v) = v**2 + 13. Let a(w) = -w**3 - 2*w**2 + w. Let z be a(-3). Suppose -2 + 2 = -z*n. Let s be h(n). Is 14 less than s?
False
Let u be (25/(-4))/((-3)/(-12)). Let v = -9 - u. Let p(g) = 4*g**2 + 41*g - 19. Let b be p(-11). Is v less than or equal to b?
False
Let f = 528 - 525. Let d be (-1 + 280/21)*f. Which is greater: d or 420/11?
420/11
Suppose -5*h + 7334 = -4*l, 7752 + 3260 = -6*l + 2*h. Which is bigger: l or -1839?
l
Let b(f) = 160*f + 9. Let d be b(1). Let t = -251 + d. Let u be t/255 + 26/(-10) + 3. Are 1 and u nonequal?
True
Let t = 19 + -9. Suppose -43 = -6*b - 31. Let i be (b/30)/(t/(-12)). Is 0 greater than or equal to i?
True
Let f(r) = 14*r + 1. Let c be f(2). Suppose -90 = -3*h + 3*j, 4*h - 240 = -3*j - 120. Are h and c non-equal?
True
Let q(s) = 3*s**3 - 7*s**2 + 7*s - 7. Let r be q(4). Let p(a) = a**3 + 13*a**2 + 30*a + 21. Let z be p(-8). Is z > r?
False
Let f be (1616/36)/((-24)/108). Is f greater than -3?
False
Let o be 610/175 + -3 + 85/(-425). Suppose -4*x - 44 = -h - h, -x = h + 17. Is o at least as big as x?
True
Let k = 5.41 - 5.21. Let w = 91 - 92.68. Let v = w - -1.5. Is k greater than or equal to v?
True
Let b be (-96)/(-676)*15/(-30). Let l = -1311389133/7959488992 + 3/1471799. Let s = b - l. Which is bigger: -1 or s?
s
Suppose 10 = -0*v + v. Suppose 308 = 3*y - v*y. Suppose -5*b + r - 210 = 0, -220 = 6*b - b + r. Which is bigger: b or y?
b
Let s = 249 + -247. Suppose 0 = -s*q - 4*o + 22, 4*o = 2*q + 5*o - 13. Which is greater: q or -14?
q
Suppose 4*s + 4*m - 29 = -509, 588 = -5*s - 2*m. Is s != -105?
True
Let v = -1647.3 - -1202.3. Which is smaller: 4/5 or v?
v
Let y = -22 + -6. Let j = 1999 - 7995/4. Is y greater than j?
False
Suppose 0 = -p + 28 - 28. Let t = -207837/23 - -9038. Let a = t - 1/115. Does p = a?
False
Let b(y) = 4*y**3 + 2*y + 1. Let s be b(2). Suppose 3 = u - 2, 2*w - u = -s. Is w at least as big as -13?
False
Suppose -21 = -36*i + 33*i + 72. Which is greater: 3 or i?
i
Suppose -70*m - 3*m = -10*m - 126. Which is smaller: m or 28/19?
28/19
Let q = -175 + -17. Let d be q/(-1488)*(-6)/32. Is 0 at most d?
False
Let b be (102/(-4)*-1)/(2*32/(-1920)). Does -2291/3 = b?
False
Let y = -3950 + -9276. Is -13225 at least y?
True
Let z(b) = 46*b + 12. Let x be z(4). Let k be x/(-735)*(-1 + (-50)/(-44)). Is 2/7 smaller than k?
False
Let g = 53 + -51. Suppose -h = -t + 5*t - 7, h + 5 = g*t. Suppose 5*d = -2*m + 10, -m + 2*m - t*d + 4 = 0. Which is smaller: -5/17 or m?
-5/17
Let d = -143 - -139. Let p be (-3)/d + ((-350)/(-56))/5. Which is smaller: -3/5 or p?
-3/5
Let a = -185 - -273. Let i = 88 - a. Let j = -0.1 + i. Which is smaller: j or -97?
-97
Let i(k) = 20*k - 166. Let w be i(8). Let f(l) = -50*l - 276. Let r be f(w). Which is smaller: r or 4?
4
Suppose 11*p + 1248 = 7*p. Let f(k) = 312*k**3 + k. Let h be f(-1). Is h bigger than p?
False
Let o = -285412/45 - -6343. Is 0 greater than o?
False
Let v be -1*(-3)/(-1)*1. Suppose 19*g - 21 + 78 = 0. Let q be 16/6 + g + 123/(-63). Which is smaller: q or v?
v
Suppose -58 = 11265*g - 11207*g. Is g equal to -39/584?
False
Suppose 0 = -10*s + 12944 + 1616. Is s smaller than 1456?
False
Let f(t) = 2425*t + 1611. Let g be f(-3). Are -5664 and g unequal?
False
Let k(c) = 2*c - 4. Let x be k(2). Suppose 4*r + 0*r - 8 = 0, r - 434 = -4*n. Let o be 10*21/n + -2. Is o at most as big as x?
True
Let n = 2.335 - -0.105. Let k = n + -2.54. Suppose 5*a - 7 = -2. Which is smaller: a or k?
k
Suppose -288 = -5*o + 11*o. Let u be 3/(-4) + -1 + 12/o. Which is smaller: -22/21 or u?
u
Let p = -188 - -180. Let o = -8 - p. Which is greater: o or -3/4?
o
Suppose 1 = -q + 2. Let w = 0.1182 + 59.8818. Which is smaller: q or w?
q
Let q be 0*(-1)/4 + 3 - -2. Let z be (-3)/((q - 8)*(-1)/5). Which is smaller: -38/7 or z?
-38/7
Let y = 2381/16 - 149. Let c be 364/308 - (-4)/(-22). Which is greater: y or c?
c
Let j be (-863)/(-7) + 10/(-35). Let u be 3/j*-1*1. Let o(p) = 2*p**3 + 17*p**2 - 7*p + 19. Let k be o(-9). Which is bigger: u or k?
k
Let q(j) = -j**2 + 3*j + 6. Let n be q(5). Let d(b) = 33 + 11*b - 8 - 25*b**2 + 26*b**2. Let t be d(-7). Which is bigger: n or t?
t
Suppose -5687 = -13*t - 1137. Let m = t + -350. Are 3 and m nonequal?
True
Let i = -804191/55650 - -607/42. Let v = -4183/137800 + i. Which is bigger: v or 1?
1
Let g be 158556/2124 + (-18)/(-3). Let i = g - 242/3. Which is bigger: -1 or i?
i
Let b(z) = -59*z + 2. Let j(s) = -s - 3. Let g be j(0). Let x be b(g). Let q = -2684/15 + x. Is -1 smaller than q?
True
Let p be -191 - (50/5 + -4). Let x = p + 184. Do -9 and x have different values?
True
Let t be (518/(-42) + -21)*(-45)/(-12). Is -125 <= t?
True
Let g be 8/6 + (-56)/60 + (-90)/(-150). Which is bigger: g or -16/157?
g
Let o = -19220/3 + 6409. Is o <= 0.8?
False
Let l be (-6)/40*(-2168)/10371441. Which is greater: l or 0?
l
Let m(w) = 61*w**2 + 306*w + 35. Let r be m(-6). Which is greater: r or 398?
398
Suppose 2*b + 5*z - 35 = -3*b, 15 = 3*z. Suppose -t + d = 86, b*t - 5*d + 248 = -t. Which is smaller: -92 or t?
-92
Let d = -191 + 9713/51. Let o = 437/765 + d. Let v be (-1)/6 - (-3)/18. Which is smaller: o or v?
v
Let q = -337758.8233 - -337811. Let u = q - -0.0233. Let m = -52 + u. Is m greater than -8?
True
Let j = 133.4 + -133.3. Is -586 > j?
False
Let j(m) = -m**2 + 8*m + 1. Let b be j(8). Let z be b - 1/(3/3). Let s be ((-7)/8106*-3)/(1/(-4)). Are s and z unequal?
True
Suppose 111 = 5*w + m, 2*w - 3*w - 2*m = -24. Let g(d) = -d**2 + 7*d + 7. Let c be g(w). Are -323 and c nonequal?
False
Suppose 2*k = -4, -2*t = -t + 3*k - 574. Let w be ((-54)/(-7))/(21/98). Let i be t/(-18) - (-8)/w. Is i less than -63/2?
True
Let c(t) = -9*t**2 + 47*t + 1. Let n(k) = 14*k**2 - 71*k - 1. Let r(i) = -8*c(i) - 5*n(i). Let m be r(12). Let o = -31 + m. Is 7/5 bigger than o?
False
Suppose -1469*l = -1471*l + 2*r + 6, 2*l + 6 = -r. Which is bigger: l or 10/287?
10/287
Let d(g) = g**3 - 4*g**2 - g + 7. Let z be d(4). Let f(j) = 7 - 20*j**2 - 2 + 19*j**2 + 5*j - z*j. Let k be f(4). Is k less than 3?
True
Let i = 27805.9 + -27807. Is i at most as big as -44?
False
Let u = 483 - 834. Let k = u + 351. Is k greater than 11/12?
False
Suppose -5*m + 3*m = -5*t + 3443, -8695 = 5*m + 5*t. Let g be (-4)/(-26) + (m/(-390) - 5). Which is greater: -1 or g?
g
Let r = 22 + -24. Let t be 1/2*(r + -2 + 14). Suppose 0 = 3*k + t*k. Is k less than or equal to 10/19?
True
Let h = -527 - 351. Let y = 33367/38 + h. Suppose -3*r = -12, 0*t - 13 = -3*t - 4*r. Is t greater than y?
False
Let t(d) = -31*d**2 - 107*d - 41. Let h be t(-3). Which is bigger: h or 3/32323?
h
Let m = 0.6434 - 760.2434. Let v = m + 759. Are v a