 = -242 - -347. Suppose 340 - x = -5*y. Do y and -47 have different values?
False
Suppose 0 = 5*q + 4*d + 1389, d + 1065 = -3*q + 226. Is q less than -3672/13?
False
Suppose -f + 4*k = 0, -3*f = -6*f + 5*k + 21. Let z be (-3)/(27/f)*1320/(-16). Is z at least 111?
False
Let r = 36 + -35. Let p = 748 + -633. Which is smaller: r or p?
r
Let y = -13854 + 17839. Is y < 3988?
True
Let v = 112 - 38. Let p = 73 - v. Let c = -102455/71 - -1443. Which is bigger: p or c?
c
Let k be (4/(-44))/((-39)/429). Suppose -2*v = -4*j + 383 - 973, 4*j - 301 = -v. Let g be (k - -17)*18/v. Is 0 greater than or equal to g?
False
Suppose 8 = -2*m, -99*y - 5*m = -95*y + 20. Which is greater: 3/23225 or y?
3/23225
Suppose -3*j - 15 = -6*j. Suppose 3*a = -j*f, -a - 5*f - 30 = -4*a. Suppose 8*d = 3*d - a. Do d and -3/47 have different values?
True
Let o = -70 - -137. Let a = 83 - o. Suppose 6*d + 3*d = 135. Is a less than or equal to d?
False
Let a = -16 - -26. Suppose 2*b + 33 = 3*n, -105*n + 113*n = b + 49. Which is smaller: a or n?
n
Let r = 9823 - 9825. Is r bigger than -13?
True
Let r be (-4)/(-16)*5084 - 8. Is 1263 smaller than r?
False
Let v be (4/5)/((-570)/(-4001400)). Which is smaller: v or 5617?
v
Suppose -5*l = -2*z + 3, 3*z = -l + 2*l + 11. Let c be (-10)/(1/(2/l)). Do -0.01 and c have the same value?
False
Let t be (16/(-12))/(((-50)/15)/(-10)). Let o = 15 + -18. Let d be 485/25 + t - o. Which is smaller: d or 19?
d
Let g(m) = -m**2 - 16*m + 5. Let z be g(-16). Suppose -z*r - 2 = c + 2, 2*c - r - 3 = 0. Let q be 42/c*-2*6/96. Which is smaller: -5 or q?
q
Let l(h) = 3*h - 7. Let u be l(3). Suppose -4*a - 44 = 4*x, 0 = u*a - 2*x + 5*x + 23. Let f(j) = -2*j + 6. Let g be f(8). Is g < a?
False
Let i = 0 + -0.02. Let z = 1890.44 - 1892.44. Which is bigger: i or z?
i
Suppose -d + m - 45 = 3*d, 2*m - 20 = d. Suppose 10*k - 825 = -285. Suppose -k + 14 = 4*c. Are c and d equal?
True
Suppose 16*o - 3*o = 52. Let m be ((-8)/3)/o - 2810/(-4170). Which is smaller: 0 or m?
0
Suppose 0 = -11*k - 77, 0 = 5*v - v + 2*k - 46. Which is greater: v or 14?
v
Let h(f) = -f**2 - 9*f - 3. Let b be h(-13). Let k = -50 - b. Let n be ((-2)/k)/(-1) + (-224)/110. Which is bigger: n or -2?
n
Let g = -126 + 135. Let t be (3/9)/((-60)/g). Suppose -u = 3*u - 4. Is t equal to u?
False
Suppose 5*n - 349 + 1 = -3*g, 3*n - 5*g - 202 = 0. Suppose -13*l + n = -10*l. Is 152/7 >= l?
False
Suppose -4*g - 5*x = -7, 3*g = -3*x - x + 5. Let o be (((-2)/g)/(-1))/((-6)/153). Let j = 18 + o. Which is smaller: -1/35 or j?
-1/35
Let u = 195 + -165. Suppose -53 = 2*w - 0*v + 5*v, v - u = w. Which is smaller: -55/2 or w?
w
Let h = 10809 - 1502459/139. Are h and 0 equal?
False
Let v be (-4*2/(-8))/(-3 - -4). Let t be v/9 - 91/333. Which is greater: t or -1?
t
Let c be (21/35 - 285330/50) + 2. Which is bigger: c or -5705?
c
Let v(o) be the third derivative of o**4/24 - 8*o**3/3 + 9*o**2. Let c be v(19). Let g be c - 3/((-63)/(-57)). Which is greater: g or 54?
54
Let b(h) = 6*h - 6. Let d(s) = 0 - s - 1 - 3 + 3. Let x(n) = 2*b(n) + 10*d(n). Let z be x(16). Which is bigger: z or 8?
z
Suppose -9*m - 4*m + 52 = 0. Let x be 32/(-14) - (-4)/14. Let h be x*5*m/(-8). Which is bigger: 40/9 or h?
h
Let j(q) = -275*q - 164. Let d be j(2). Which is bigger: d or 2?
2
Let c = -18333 + 18348. Do 4.9 and c have the same value?
False
Suppose -4 = 3*z + z, -3*r + 32 = 4*z. Which is smaller: 8 or r?
8
Let o be 847 - 28/(35/(-5) + 11). Is 843 bigger than o?
True
Let l(d) = -d**3 + 4*d**2 - 4*d - 162. Let q be l(0). Is -165 greater than or equal to q?
False
Let t = 554 + -230. Let d be ((-104)/1092)/(2/t). Which is smaller: -14 or d?
d
Suppose 0 = -4*p + q + 2*q - 1, -q + 11 = 4*p. Suppose p*a + 16 = -20. Let l(j) = -j**2 - 16*j + 9. Let g be l(a). Is g != -27?
False
Let u be (2*6/12 - (-12900)/12905) + -2. Which is smaller: u or 2/3?
u
Let i be 62560/203966 + ((-64)/126 - 26/(-117)). Is i not equal to 1?
True
Let w(v) = -v**3 - 19*v**2 + 5*v + 8. Let y be w(-19). Let k = 167 + y. Let m = k + -165/2. Is m not equal to -4?
True
Suppose -31 = -6*j + 143. Suppose 17*k = j*k - 1236. Is k at least as big as 103?
True
Let p = -22.98 - 0.02. Let a = 12 + p. Let m be ((-40)/45)/8*(1 + 2). Which is smaller: a or m?
a
Let z = -75 - -75. Let p = -3141749 - -5419516787/1725. Let g = -4/69 - p. Is g at least z?
True
Let a = 1/144 + 425/1008. Suppose 5*g = 2*i + g - 2, 4*g = -4*i - 8. Is i > a?
False
Suppose -176*t = -138314 - 371558. Is 2896 less than t?
True
Let j = -145 + 145. Let q(p) = -p**3 - 15*p**2 - 7*p. Let f be q(-12). Let z = f + 5222/15. Which is greater: j or z?
z
Suppose 0 = -4*m - m + 25. Let c(o) = -o + 7. Let j be c(m). Suppose 0 = -4*r + 5*l - 6 + 8, -5*l = 3*r - 19. Is j < r?
True
Let u = -9170 + 5099. Let v be 9/(-54) - u/126. Which is smaller: v or 32?
32
Let z = 0.3 - -0.2. Let r = 4.5 + z. Let i = 4.96 - r. Is i equal to 3?
False
Let o = -202 + 581. Suppose -y - 20 = -3*l + 58, -5*y = -4*l + o. Which is smaller: y or -76?
-76
Let s = -819.88 - -819. Let w = s - -0.78. Which is smaller: w or 110/13?
w
Let t(i) be the first derivative of -i**4/4 + 10*i**3/3 + 11*i**2/2 - 2*i - 20. Let q be t(11). Let u be q/8 + (-24)/(-60). Which is bigger: -0.1 or u?
u
Let y = 10793/13559 + -320/149. Which is bigger: y or -2?
y
Let p = 0 - 1. Let o = -11436240/287 + 266962/7. Let f = 1710 + o. Are p and f nonequal?
True
Let x(i) = -i**3 - 12*i**2 + 16*i + 7. Let n be x(-14). Let k be -1*n/1395 - (-4)/18. Let y = 325.1 + -325. Which is greater: y or k?
y
Let o = -126.04 - -124. Let s = 2.01 + o. Which is smaller: 0.1 or s?
s
Suppose 0 = -161*p - 131976 + 9777. Is -758 >= p?
True
Suppose 5*v - 11268 = -11278. Is -46 bigger than v?
False
Let w = -10006 + 10499. Is w greater than 490?
True
Let g(d) = -d**3 + 32*d**2 + 33*d + 26. Let f be g(33). Let q(b) = 3*b**2 - 80*b + 51. Let u be q(f). Which is bigger: 16/107 or u?
16/107
Let h be ((-1)/2)/(23001/(-884) - -26). Is -24 bigger than h?
False
Let a = 33 + -7. Let q be -3*(a/(-12) + 2). Let s = -0.378212 - -0.418212. Which is greater: s or q?
q
Let m = 21 - 36. Let l = m + 22. Let z = -979/38 - -594/19. Which is smaller: z or l?
z
Let g(s) = 5*s**2 - 9*s - 3. Let f(a) = 9*a**2 - 17*a - 6. Let n(h) = -3*f(h) + 5*g(h). Let t be n(4). Suppose 4*w - 2 = p - 7, 5 = -w + 4*p. Is t at least w?
False
Let z = -461 + 73. Which is smaller: z or -1?
z
Let j = 830 + -857. Is j at least as big as -39?
True
Suppose -12*x + 41769 = 105*x. Which is greater: x or 352?
x
Let m(l) = -l**2 + 20*l + 183. Let q be m(-7). Let d be q + (-2)/5*1425/(-76). Let i = 2.4 - 0.4. Which is smaller: i or d?
d
Let y be 2/(-10) + ((-25929)/(-45))/1. Let n be (0 - y/3)/((-12)/(-18)). Does -288 = n?
True
Suppose 5*u = 5*v + 985, v - 68 = 2*u - 457. Let f = u + -294. Is -102 at most f?
True
Suppose 0 = 5*v + 4*j + 237, 3*j + 228 = -5*v + 2*j. Let m be -12234*3/v*1/(-6). Let z = m - -136. Are 0 and z equal?
False
Let u be ((2/(-6))/(22/12))/(61/(-671)). Let p(g) = g**3 - 4*g**2 + 3*g + 2. Let d be p(3). Suppose -d*h + 0*h = -6. Which is smaller: u or h?
u
Suppose -q + 4*u = -706, 3 = 5*u + 8. Let b be 9/12 - q/(-24). Let y = 46 - b. Which is bigger: y or 15?
y
Let r be (-6 + 5)*(-4656)/5. Let t = r + -936. Which is greater: t or -5?
t
Let n(w) = -w**3 - 13*w**2 + 142*w + 35. Let l be n(-20). Which is smaller: 849 or l?
l
Let a = -9/43 - 265/172. Let z(p) = 2*p**2 + 332*p + 9727. Let t be z(-38). Which is smaller: a or t?
a
Let x = 1851.02 - 1851. Which is smaller: 77 or x?
x
Let s(o) be the first derivative of 2*o**2 - 3*o - 11. Let t be s(5). Suppose 12*z = t*z + 20. Is -11/4 at most as big as z?
False
Let z(u) = -5*u**2 + 127*u - 598. Let y be z(5). Are y and -73 equal?
False
Let x be ((-18)/(-27))/(3/9). Which is bigger: x or 6?
6
Let i = -573.469 - -573. Let u = i + -2.251. Is 1 bigger than u?
True
Let v be 0 + (-8)/(-6) + 58/87. Let p(i) = 2*i**2 - i + 2. Let c be p(v). Suppose 3*b + 5 = c. Which is smaller: b or 4?
b
Suppose -2*j - 3*j + 100 = 0. Suppose -214*w + 1766 + 1658 = 0. Which is smaller: j or w?
w
Let c = 121 + -120. Suppose 2*z = 5 - c, -5*z = 3*r + 1466. Are r and -491 equal?
False
Suppose 2*w = 4*f + 36, -4*w + f + 52 = -3*f. Suppose -178 = -5*g + 142. Suppose 0 = 3*a + 5*a - g. Is a at most w?
True
Let j be ((-