 s = 1427 - 1433. Let c be ((-4)/24*s)/(-4 + 5). Is c > j?
True
Let f(v) = -2*v**3 - 10*v**2 + 92*v + 590. Let d be f(-6). Is 120 != d?
True
Suppose 0 = -5*m - 10*m - 2040. Let r = 114 + m. Which is bigger: -19 or r?
-19
Let g = -112810/13 + 8705. Which is smaller: -3/5 or g?
-3/5
Let t be -1 + 8 - ((-8)/(-2))/(46/69). Which is greater: -43/257 or t?
t
Let m be (-34)/14 + -2 + 45/105. Let o be 5 - m/(36/(-47)). Which is smaller: 0.5 or o?
o
Suppose 3 = l + 2*h, -2*l = l + 4*h - 7. Let d be l + 11/7 + -1 + -1. Which is bigger: d or 2?
2
Suppose 480 = -2*t + 8*t. Let v = t + -125. Let u = v - -45. Which is bigger: 13 or u?
13
Suppose 158*g + 24 = 164*g. Suppose g = 4*f - 8*f. Is -1/32 at most f?
False
Suppose -3*x + 2*d + 116 = 1283, -x + 4*d - 379 = 0. Let r = 1577/4 + x. Which is bigger: r or 4?
4
Suppose 0 = -5*u - 2*v + 30, 4*u - 5*v = -8*v + 24. Suppose u*o + 26 = t + 2*o, 5*t + 3*o = 130. Which is greater: t or 20?
t
Let i be (1/2)/((-25)/(-70) - 12/14). Which is bigger: 15/239 or i?
15/239
Let a be -1*10/(-45) + 38144/72. Is a bigger than 527?
True
Suppose 5*m = -2144 + 539. Let b = m + 319. Let o = -11.4 - 1.6. Which is smaller: b or o?
o
Let u be 70015/(-2255) + 8/164. Let p = -79/8 + -157/8. Which is smaller: p or u?
u
Let l = -27896 - -27894. Which is greater: 0.0053 or l?
0.0053
Let n = -550 + 625.9. Let t = -76 + n. Which is greater: t or -20.3?
t
Let j(l) = l**3 + 11*l**2 - 26*l - 396. Let a be j(-9). Is 2 bigger than a?
True
Let b(a) = 8*a - 61. Let d be b(8). Suppose 1 = 3*r - h, -d*h = 53*r - 56*r + 9. Which is smaller: r or -34/15?
-34/15
Let q be -3 + 79/77 + 6/3. Is 16 greater than or equal to q?
True
Let z = 24/1493 + 6913/34339. Is -14 <= z?
True
Let n = 210 + -208. Suppose -4*f + 4*o = -f + 17, 2*f + n*o = -2. Is -54/17 greater than f?
False
Let k = 4.14 + -4.14. Is k at most as big as -1346?
False
Suppose -2*j = 8*j + 50. Let n(s) = s**2 + 5*s + 8. Let u be n(-3). Suppose r = -3*r - 2*b - 14, 2*r + 10 = -u*b. Which is greater: r or j?
r
Suppose -4*i + 11 = 2*l - 3, -2*l - 2*i + 14 = 0. Suppose 189 = -16*m + l*m. Which is bigger: m or -22?
m
Let d = 4655 + -18621/4. Is 1500 <= d?
False
Let f = -26019/8 + 3253. Let c(o) = -o**3. Suppose -4*p = -p. Let i be c(p). Is f smaller than i?
False
Suppose 0 = 5*k - 4*f + 7372, 0 = -4*k - 36*f + 33*f - 5879. Which is bigger: -1473 or k?
k
Let i be (11 - -1)*(-4)/16. Let l be (4 + 1 + i)*(-14)/4. Which is bigger: l or 1.6?
1.6
Let n = 4789 - 4799. Is n equal to -14?
False
Let n = 3.8804 + -4.1804. Is 1449 < n?
False
Let b = -1376057863/5829 + 236071. Which is smaller: b or 1?
b
Let k(j) = 299*j + 10131. Let y be k(-35). Which is greater: y or -341?
y
Let t be ((-60)/(-28) - -2) + 2/(-14). Suppose -f - t + 5 = 0. Suppose 0 = 7*w + f - 8. Which is greater: w or 4/5?
w
Let j = 1042.67828 + -0.68228. Let r = j + -1040. Let a = r - -0.004. Do a and -0.02 have the same value?
False
Let r be -1*23*(-2 - -3)/((-63)/1008). Is r not equal to 367?
True
Let k be (-3)/(-90) - (-1)/(-5). Let m = -0.55 + 0.543. Let z = 0.093 - m. Which is bigger: z or k?
z
Let w be -8 + (-30)/(-2) + 143 + 8 + -1. Which is greater: 234 or w?
234
Let h = 19.0253 - 0.0253. Let i = -49 - -48.99. Which is bigger: i or h?
h
Let v(a) be the first derivative of -10*a**3/3 + 57*a**2/2 - 30*a + 231. Let m be v(5). Is m less than or equal to 54?
True
Let n = 6342 - 6341. Are 2/3395 and n equal?
False
Let b(a) = 3*a**2 + 73*a + 25. Let w be b(-24). Which is bigger: 46/131 or w?
w
Let g be (-1)/(-2) + 560/(-1888). Which is greater: g or -1?
g
Suppose 9*b - 4*b + 30 = 5*z, 5*z = b + 14. Suppose -131 = -2*k - 3*w + 47, 0 = -z*k + w + 162. Let g = -82 + k. Which is smaller: 5/24 or g?
5/24
Suppose 0 = -v - 5*t - 1929, t = -35*v + 31*v - 7678. Let j = 1935 + v. Suppose -3*r - 3*h + 32 = -r, -48 = -4*r + 2*h. Which is greater: r or j?
j
Let u = 9310 - 9295.858. Let t = u - 0.142. Let d = 6 + -4. Which is smaller: d or t?
d
Let s = 4.31 - 1.01. Let t = s - 3.9. Let f = 0.6 + t. Which is greater: f or -2/287?
f
Let x = 25572/935 - -148/85. Is 28 greater than or equal to x?
False
Let p = -3751.08 - -3751. Is 17.1 != p?
True
Let w = -9705.5 - -9715. Does 6 = w?
False
Let j = -107.79 + -2161.21. Which is greater: j or -0.2?
-0.2
Let u be (-3)/(9/(-12)) + 1*-2. Let w be u - (3/(-15))/((-8)/(-14500)). Let i = w - 372. Are -9 and i nonequal?
True
Let t(s) = -8*s. Let u = -25 - -23. Let k be t(u). Let j(f) = f - 16. Let a be j(k). Which is smaller: 16/9 or a?
a
Let u = 144.42 - 146. Suppose -2*m = -10, 4*b - 4*m = -46 + 22. Which is greater: b or u?
b
Suppose -34694 = 12*l + 10*l. Let q = l + 23669/15. Suppose -2*v = 2*i + 10, -4*v - 20 + 0 = -4*i. Is q >= i?
True
Let w = 1/2129 + 25519/61741. Let g(a) = -a - 13. Let n be g(-14). Does w = n?
False
Let l = -6219766327/1606 + 3872831. Let q = 3/146 + l. Is -1 >= q?
False
Let j = 308 + -3374/11. Let y(z) be the first derivative of z**2/2 + 11*z - 15. Let s be y(-9). Which is smaller: j or s?
j
Let p = -31684/5 + 6096. Are 0.2 and p equal?
False
Let r be (-1)/4 - -2118*1/16. Let j = 135 - r. Which is greater: 2 or j?
j
Let v = 22427/3 - 7476. Does 4.5 = v?
False
Let u = 14946.217627 + -21.718627. Let o = -14722.6 + u. Let c = o - 202. Which is greater: 0 or c?
0
Let m be 0 + 2/4*0. Suppose -4 = 4*z - m. Let s = -1.672 - 2.428. Which is greater: z or s?
z
Let k be (-22)/4 + 21/(-6) + 3. Let d be 117/26*4/k. Let v be d*(4 + (-37)/12 + -1). Which is bigger: -46 or v?
v
Let j be (-1171 - 13) + (-10)/(-4)*2. Let n be 1/(-3)*(-108)/j. Are -1 and n unequal?
True
Let y be (-312)/52 + 46/8. Is y at least -0.062?
False
Let q(v) = v**3 + 9*v**2 - 7*v + 22. Let n be q(-10). Let i be 764/(-21) + n/28. Is i less than or equal to -38?
False
Let w(z) = -2*z**3 + 41*z**2 - 26*z + 136. Let l be w(20). Which is smaller: l or 316/19?
l
Let t = 0.0195 + 0.0805. Let r = 20.019 - 0.019. Let v = 4 + r. Do v and t have different values?
True
Let n(q) = 4*q + 95. Let g = -30 - -6. Let r be n(g). Which is smaller: r or -5/19?
r
Suppose 10 + 158 = -8*x. Let o = x - -15. Let k be (1 - -5)/((-16)/18). Which is greater: k or o?
o
Let b be 2/(-6)*-3*150/225. Which is smaller: b or 0.3358?
0.3358
Let p = -543614/947330919 + 16/31543. Which is smaller: p or -1?
-1
Let y = -3904 - -3957. Is y greater than or equal to -3?
True
Let q(u) = -105*u + 3497. Let d be q(33). Which is smaller: d or 36?
d
Let m be 20/(((-18)/(-24))/((-3)/8)). Let g be (-14)/m - (-146)/(-90). Are -5 and g non-equal?
True
Let l = 22632 - 22488. Which is smaller: l or 129?
129
Let b = -3.377 - -2.067. Which is smaller: b or -5.9?
-5.9
Let n be (-5)/(((-4)/(-30))/((-26)/39)). Suppose 0 = 5*s + n, 3 + 3 = -3*l + 3*s. Let i be 1 - (6/(-1) - -3). Which is smaller: l or i?
l
Let j(b) be the first derivative of b**7/840 + 2*b**6/45 + b**5/8 - b**4/24 - 4*b**3 - 8. Let q(c) be the third derivative of j(c). Let s be q(-15). Is 0 != s?
True
Let c = -11 + 15. Suppose -t + 5 = c. Let a = 4 - t. Does a = 2?
False
Let u = 11 - 19. Let l = -43 + 52. Let y = u + l. Which is smaller: y or -1?
-1
Let z be (-29246)/203 - 9/((-261)/2). Which is smaller: -133 or z?
z
Let y = -28 + 33. Let u(r) = -r**3 + 12*r**2 + 3*r - 4. Let l be u(y). Suppose -38 = 5*j + 2*x + l, 2*x + 48 = -j. Is j bigger than -45?
True
Suppose 0 = 10*i - 20. Let k(r) = 8*r**2 + 0*r**i + 9*r - 4*r**2 + 5 - 3*r**2. Let x be k(-12). Which is greater: 42 or x?
42
Let f = 1.2515 - 3.3595. Is -3/7 < f?
False
Suppose -2*j = -4*i + 28, 6*j + 31 = 3*i + 2*j. Suppose i*b + 12 = 2*b. Let z be b*(44/(-16) + 3). Which is bigger: z or 2/37?
2/37
Let m be (-6)/(-32)*104/(-78). Let a = -617/6 - -195/2. Are a and m nonequal?
True
Let k(u) = -u + 4. Suppose -n + 6*n - 5*h = 40, -3*n + h + 20 = 0. Let a be k(n). Let x = a - 40. Which is greater: x or -41?
-41
Suppose g + 15 = 11. Suppose -4*x + 13 + 9 = 3*u, 2 = -3*u + 2*x. Let o be (-2)/212*(u - g). Is o at most 0?
True
Let t be (-3)/15 + 1 + (-16328)/20420. Let k = t - -148029/40840. Is k greater than 5?
False
Let f = 256.9574 + 1.0826. Let s = -258 + f. Is -1/19 at most s?
True
Let y = -3356 + 3355.99. Does y = -0.228?
False
Suppose 23*w = 142 - 4. Let s be (-10)/5*37/(-2). Let y = s + -147/4. Which is smaller: w or y?
y
Suppose -2*k + o = 98, 2*o + 99 = -4*k - 121. Is 