2*j + m. Suppose -j*c - 211 = -215. Which is smaller: c or 3/8?
3/8
Let s(n) = n**2 - 25*n - 150. Suppose 3*b + 11 = -4*x, -x = -2*b + 8 + 3. Let h be s(x). Are h and 6/25 non-equal?
True
Let x(k) = -7*k**3 + 2*k**2 - 3*k - 1. Let w be x(2). Let s = -5428 - -5370. Is s greater than w?
False
Let y be 164/10 - (11 - -6). Is 310 at least as big as y?
True
Let v be (-6)/3 + ((-90)/15 - -8). Is 6/1069 less than v?
False
Let r(y) be the second derivative of y**5/20 + y**4/6 + y**3/6 - y**2/2 - 3*y + 10. Let f be r(-2). Is f at most -3?
True
Let g = 15394 + -28558. Let p = -736957/56 - g. Let c = p - 37/8. Is -1 at most as big as c?
True
Suppose 0*t + 6822 = 18*t. Let u = t - 406. Is u > -18?
False
Let k = 0.11668 + -0.01668. Is 1097 < k?
False
Let s = -717329/6536 + 3/6536. Is -111 at most as big as s?
True
Let x = 132 - 476. Let o = -1010/3 - x. Is o greater than or equal to 7?
True
Suppose 12*f - 338 = 418. Do f and 80 have the same value?
False
Let q be (20/12)/((-40)/(-12) + -3). Suppose -q*n = -n - 64. Suppose -6*y + n = -2*y. Are -6 and y equal?
False
Let b = -4356.948 + 4357. Is b greater than 71?
False
Let m(f) = 4*f**3 + 2*f**2 - 3*f - 2. Let s be m(-2). Let z = s - -58/3. Suppose -20 = -5*r - 5*k, 1043*k - 1044*k + 4 = 4*r. Is z bigger than r?
False
Let a = -444.3 - -85.3. Let z = a + 360.25. Is z greater than -2?
True
Suppose 34*i - 5 = 29*i. Which is smaller: i or -38/13?
-38/13
Suppose 66*n = 62*n - 40. Let l be 17/(-85) - (-8)/n. Is l less than -5/7?
True
Let w(g) = -2*g**2 - 4*g + 3. Let t be w(-4). Is t equal to -7/3?
False
Let o(h) = -3*h + 4. Let j be o(2). Let w be 41 - (-9)/6*j. Let f be 4/w*(-6)/(-4). Do f and 0 have the same value?
False
Let u(t) = -220*t - 61831. Let x be u(-281). Let f be -6*(0 + 24/9). Which is bigger: f or x?
x
Let r be 11517/23028 - ((-63)/(-14) - 4). Let a = 2609847/53732 - r. Which is smaller: 48 or a?
48
Let t be 1/((-12)/15 + 2 - 1). Let k be 296 - 3 - (4/1 - t). Let s = 12644/43 - k. Which is smaller: -1 or s?
-1
Let d = 45 + -30. Let w be 1 - (1/(-2) - d/10). Suppose -4*h - q = 65, -5*h + w*q = 45 + 32. Is h <= -17?
False
Suppose 0 = -3*r + 6*r - 2*b - 5, 2*b = 5*r - 3. Let i = 1 - -2. Let w be ((-2)/(-345))/((-1)/i). Which is smaller: w or r?
r
Let i be (4/905)/((-196)/70). Let r = i + 17764/16471. Is 0 bigger than r?
False
Let h = 114.8 - 77. Let b = h - 36. Let f = b + -4.5. Is f <= 0.1?
True
Let s = 17841 - 17844. Are -166/47 and s unequal?
True
Let w be 22/(-3) - -8 - 1778/12. Let s = -369 - -220. Which is bigger: w or s?
w
Let p = 2924 - 2924. Which is greater: p or 2/1037?
2/1037
Let m = -34998 - -119028199/3401. Which is smaller: 1 or m?
m
Suppose 3 - 75 = 24*m. Let d be (5 + 1)*6/(-9) - m. Which is smaller: -2/19 or d?
d
Let v(n) = -n**3 - 30*n**2 + 65*n + 38. Suppose -3*t = x + 32, -6*x + 3*x = -4*t + 96. Let a be v(x). Is a greater than 4?
True
Let b be ((-6)/(-5)*2)/((-7)/(-490)). Let y = -169 + b. Which is smaller: 3/23 or y?
y
Let q be (14/3 - (-65)/(-13))/((-259596)/324). Is 0 smaller than q?
True
Suppose 5*t - 26 = -4*c, -3*c + 41 = 4*t + 20. Suppose t*d + 45 + 63 = 0. Is d smaller than -10?
True
Suppose -212*y + 213*y - 546 = 0. Let a be (18/(-312))/(y/(-16)). Does a = -1?
False
Suppose 8 = 4*c, -2*p = -p - c. Suppose j + 3*z - 1 = p*z, -24 = -4*j + z. Suppose 6 = j*o + 2*t + t, 5*t - 10 = 0. Which is smaller: -1/40 or o?
-1/40
Let p = -30 - -13. Let m = p + 31. Let q be 7/(-14) - m/(-16). Is 0 at least as big as q?
False
Let a = 8.9 + 29.6. Let t = a - 38.3. Which is greater: t or -168?
t
Let g be ((-40)/75*3)/((-4)/40). Let u be (0 - (-12)/g)/((-6)/(-284)). Which is greater: 37 or u?
37
Let i(t) = -65*t - 4. Let v be i(-1). Let j = v - 64. Let o = -0.3 - -0.4. Which is greater: o or j?
o
Let i(l) = 3*l**2 + 6*l + 32. Let q(f) = f**2 + f + 1. Let t(u) = -i(u) + 5*q(u). Let p be t(5). Let m be -26*(-2)/p - (0 - -3). Which is greater: -1 or m?
m
Let d = 1.47 - 1.57. Let s = 139 + -241. Let x = s + 109. Is d < x?
True
Let z be ((6/(-10))/((-4)/(-190)))/(361/(-138624)). Which is bigger: 10943 or z?
z
Let z = 13705/15408 + -1/1712. Is z >= -33?
True
Let f be 1226/9 - (-9)/(162/(-4)). Suppose -89*v + 93*v + f = 0. Let b = v + 42. Is 5 greater than b?
False
Let t(s) = -224*s + 1131. Let k be t(5). Which is greater: 132 or k?
132
Let y(z) = z - 10. Let h(w) = w - 21. Let m(u) = 3*h(u) - 5*y(u). Let a be m(-8). Let i = a + 8. Which is bigger: 10 or i?
i
Let v be 282/90 + -4 - 14/105. Is v != 3/2963?
True
Suppose -16*t - 2852 = -2836. Which is smaller: -11/1435 or t?
t
Suppose 5*a = 5*s + 90, 7*s - 21 = -2*a + 4*s. Suppose -3*d = -6*d - a, 0 = 5*j + 4*d + 10. Suppose j*l = l + 1, -2*l = -q + 4. Do -2 and q have the same value?
False
Suppose 4*j = -5*p - 7, -2*p - 5*j + j = 10. Let t(z) = z**2 + 18*z + 28. Let y be t(-16). Let c be 1/(316/4 - y). Is p >= c?
True
Suppose -2187 = -7*z - 2173. Which is smaller: 55/37 or z?
55/37
Let s(j) = -6*j**2 - 47*j + 10. Suppose 3*o - 6*q + 27 = -8*q, -4*o = -5*q + 36. Let d be s(o). Is d at most -53?
True
Let l = -100 + 14. Let k = l - -256/3. Which is bigger: 65 or k?
65
Let b(y) = 14*y - 340. Let r be b(18). Which is smaller: r or -803/9?
-803/9
Suppose -2739 = 141*q - 11487 - 9300. Which is smaller: -1/2 or q?
-1/2
Let w = -470 - -454.8. Let q = -26.2 - w. Which is greater: 0 or q?
0
Let f = -26 + 79/3. Let y be ((-134)/(-2412))/(2/(-6)). Let t = f - y. Is t > 0?
True
Suppose 2*f - 16 = -3*k, -2*f + 3*k - 12 = -k. Suppose -f*y + 176 = 2*y. Let w be (y/(-12) + 3)/((-6)/(-117)). Which is greater: 0 or w?
0
Let q = -201.1 + -3467.9. Is q greater than 0?
False
Let t = -121 - -29. Suppose -39618 = -2913*u + 3339*u. Which is bigger: t or u?
t
Let r be 21/(-282)*((-150)/35 + 4). Suppose 4*n + 0*n = -3*s + 1, 0 = 3*s - 5*n + 8. Is s < r?
True
Suppose -9*j = -5*j - 56. Suppose -4*m - 2 + 34 = 5*d, -d = 4*m - 48. Is j less than or equal to m?
False
Let m be 9/6*(-30)/45. Let z(b) = b**3 - 7*b**2 + 8*b - 8. Let k be z(6). Let n be 132/18 + k/(-6)*m. Which is bigger: 2 or n?
n
Suppose v - 35 + 1 = 4*d, 2*v - 18 = -2*d. Suppose v*p + 5 = 15*p. Let r be ((-4)/p)/((-18)/45). Do r and -0.1 have different values?
True
Let b = 24.014 + -0.014. Let h = 841 + -457. Let o = -383 + h. Is o less than b?
True
Let n = 37759171/764 - 49423. Let x = -4 - -4. Which is greater: n or x?
x
Let o = 80940712/277 - 292204. Is o > 2?
False
Let q be (2 - (0 + 2)) + (-190806705)/(-15147). Let k = q - 12597. Is k bigger than -1?
True
Let z(h) = -h**3 - 8*h**2 + 159*h - 295. Let y be z(-18). Is y > 120?
False
Let f = 11.22 - 12.22. Which is greater: f or -7/22?
-7/22
Let l be 34/(-80) + (-4)/(-10). Let r = 674 - 668. Let k be 1 + 0/(6 + (r - 14)). Which is bigger: k or l?
k
Suppose -2*g - u + 177 = -g, 0 = -g - 4*u + 177. Let h = g + -207. Which is greater: 8 or h?
8
Let o be 21/70 - 75/250. Is o equal to -732.9?
False
Suppose 62093 + 132025 - 19950 = -24*t. Which is bigger: t or -7256?
-7256
Let i(a) = -a**3 - 8*a**2 - a - 1. Let s be i(-8). Suppose r - 248 = -s*r. Let x(h) = h + 55. Let n be x(-24). Is n >= r?
True
Let a be (-8)/(-6) + (-68018)/(-7455). Is 10 less than or equal to a?
True
Let v = -1032 - -1997/2. Let s = -33 - v. Does s = 8/3?
False
Let a = 29/28 + -3/4. Let o = 1179475/17 + -69377. Which is greater: o or a?
o
Let k = 2294.694 + -2295. Which is bigger: 0.1 or k?
0.1
Suppose a = 3, -4*q + 5*a - 87 = -0*a. Let w be (-30)/(-4)*(-5)/((-45)/q). Is w greater than 0.2?
False
Suppose -2*v + 2*g - 5269 = -5255, 5*g = -3*v + 43. Let w be (8/(-42))/(10/3). Which is smaller: v or w?
w
Let u be 126/(-28)*4/6. Let d be u/4 + 315/(-28) + 1. Which is bigger: d or -8?
-8
Let d = -0.5 + 1.1. Let b = d - -0.4. Let m = -25.108487 + 0.108487. Which is smaller: b or m?
m
Let w = 640/17 - 13700/391. Let b(p) = 2*p**2 - 412*p + 2403. Let h be b(6). Which is greater: h or w?
h
Let n be 64/(-24) + (-3)/9 - -6. Suppose -5*a = -n*o - 427 + 25, -o = 5*a - 406. Which is bigger: 80 or a?
a
Let l = -0.0439 + 310.0439. Let a = -316 + l. Which is smaller: -0.6 or a?
a
Suppose 57*p + 16 = 61*p. Let c(x) = p*x - 7 - 19 - 3. Let f be c(7). Which is bigger: f or -2?
f
Let q = -2 + 0. Suppose -5*n - 5 = -h, -4*h + 2*n - 60 = -98. Do q and h have the same value?
False
Let f = 35059 + -35058.8609. Which is s