4 or y?
y
Let o(n) = n**3 + 15*n**2 + 1. Let k be o(-15). Let m(z) = 18*z + 6. Let u be m(-4). Let q be ((-2)/u)/(2/6). Is k at most as big as q?
False
Suppose 210 = 5*f + 5*f. Suppose 7*z + 28 = -f. Which is smaller: z or -5?
z
Let v = -71 - -99. Let j = 5 - v. Which is smaller: 0 or j?
j
Let h = 198.099 - 198. Let a = 1.099 - h. Is -6 at least as big as a?
False
Let i be (-4)/12 - (-574)/21. Which is greater: i or 0?
i
Let i = -956 - -957. Which is bigger: i or -2/601?
i
Let u(j) = j**3 + 9*j**2 + 6*j - 17. Let x be u(-8). Is x != 1/44?
True
Suppose 3*x - 42 = 3*a, 4*x = -4*a + a - 35. Let i = a - -16. Which is greater: i or 4?
4
Let w = 218 + -219.4. Do 0.32 and w have different values?
True
Let u(t) = 2*t - 14. Let k be u(8). Let z be (k - (0 - 1))/(-1). Which is smaller: 1 or z?
z
Let n = 0.14 + -1.14. Suppose -54 = -4*g - 2*h - 0*h, 5*h - 45 = -4*g. Which is greater: n or g?
g
Let a = -14 + 26. Let u = -12.02 + a. Let i = 1.02 + u. Is i <= 0.1?
False
Let w = 436 - 434. Which is bigger: -83 or w?
w
Let t(s) = -5*s + 6. Let z be t(4). Let h = 7 + 14. Suppose 2*a + 51 - h = 0. Is z at least a?
True
Suppose -j + 76 = 2*z, 4*z - z - 148 = -2*j. Suppose 0 = -8*t - j - 4. Which is greater: t or -7?
-7
Let h(l) be the first derivative of -l**4/4 - 2*l**3 + 7*l**2/2 + 5*l - 44. Let r = 7 + -14. Let a be h(r). Is a greater than 2/5?
True
Let k = -1747/209 + 85/11. Let l be (-2)/27 - 6/(-81). Which is smaller: k or l?
k
Suppose 0 = -47*a - 12*a - 2242. Suppose 0 = -5*q + 4*z - 5, 0*q + 5*q = 2*z - 5. Is q greater than a?
True
Let v = -0.4 - -0.417. Let w = 0.083 + v. Are w and 61 nonequal?
True
Suppose 5*c + 3*g + 29 = 39, -3 = -2*c - g. Which is smaller: c or -18?
-18
Suppose 0 = -2*y + 4 + 8. Suppose 38 + 76 = -y*d. Are -18 and d non-equal?
True
Let i = -3 - -5. Let l = 692 + -4834/7. Which is smaller: l or i?
l
Let g = 57332/4945 - -6/989. Let a(d) = -3*d - 7. Let q be a(-6). Which is smaller: q or g?
q
Let x(p) = -p - 5. Let z be x(-9). Suppose -n + z*n = 0. Suppose n*t - 5*t = -50. Which is smaller: t or 11?
t
Let z(p) be the second derivative of -p**6/360 + p**5/40 + 5*p**4/12 - 5*p. Let j(b) be the third derivative of z(b). Let v be j(-2). Are 7 and v nonequal?
False
Let l be (-73 - -97)/(2/(-2)). Let i = -4 - 19. Is l at least i?
False
Let q be ((-2740)/75)/2 + (-2)/(-20). Which is smaller: -17 or q?
q
Suppose -5*q + t = 3, 5*q - 5*t - 3 + 18 = 0. Which is smaller: q or 3?
q
Let s = -21.8 - -27. Let c = -0.57 + -4.43. Let w = c + s. Does w = -1/4?
False
Let c(f) = -2*f**2 - f - 4. Let i be c(-3). Let b = -100 + 191. Suppose k + 26 = -0*k - 3*n, 2*n + b = -5*k. Which is smaller: k or i?
i
Let c = -651 + 652. Which is smaller: 5/28 or c?
5/28
Suppose 0 = -3*a - 0*a + 2*f + 21, -2*f = -a + 11. Let q be (1 - 10)*2*a/(-10). Which is bigger: 8 or q?
q
Let o = 137/3 + -45. Let d = 1.09 - 1.262. Let l = d - 19.828. Which is smaller: l or o?
l
Let y = 151 + -151.7. Which is smaller: y or 8/15?
y
Let r(b) = -7*b - 181. Let h be r(-26). Let g be (-32)/75 + 6/9. Let y = g - -51/100. Is h >= y?
True
Let v be (-3)/18*6/(-10). Let a = 47.2 + -47. Which is smaller: a or v?
v
Let n(a) = 12*a**2 - a + 3. Let v be n(-2). Suppose v - 17 = 3*r. Suppose -4*i - 10 - 2 = -4*f, r = i + 2*f. Is i > 3?
False
Let w(l) = -l**2 - l + 15. Let p be w(-5). Is -4 <= p?
False
Let h(x) = -x**3 - 35*x**2 - 28*x + 33. Let j be h(-34). Which is smaller: -170 or j?
j
Let b be (-21 - -23)*4/(-8). Is -5/84 greater than b?
True
Let u = 30 + -25. Suppose u*w = -0*w + 405. Let d be (4/(-14))/(w/63). Which is smaller: d or 1?
d
Let z(d) = -d**3 - 13*d**2 - 26*d - 5. Let v be z(-10). Is -1/2 greater than v?
True
Suppose 0*c + 5*c - 12 = 4*a, -c = -a - 3. Suppose 5*p - 4*p - 21 = 0. Let x = p + -27. Is x at least as big as c?
False
Let z(u) = u**2 + 7*u + 8. Suppose 4*o + 13 = 33. Suppose -o*h - 44 + 14 = 0. Let x be z(h). Are x and 3 non-equal?
True
Let h = 516 - 540.03. Let k = h + 0.03. Let m = -22 - k. Which is bigger: -1 or m?
m
Suppose -q - 40 = -10. Let t = -26 - q. Is 2 at least as big as t?
False
Let p(v) = v**3 + 2*v**2 - 3*v + 1. Let w be p(2). Let o = -13 + w. Let m be (-2 - 0)*(-4)/o. Is -4 smaller than m?
False
Let y = 17 + -16. Let p be (1 - (0 + 2))*0. Let i be 0 - p - (0 - 1). Do i and y have the same value?
True
Let b = 7.2 - 7. Let m = 5.6 + -6. Let k = m + b. Are -0.2 and k equal?
True
Suppose -5*z - 38 = -2*m, 4*m - 3*z = -0*z + 76. Suppose 2*l = 4*h + 68, 3*h = -0*h - 4*l - 51. Let s = h + m. Which is smaller: 6/11 or s?
6/11
Let d be 0/((2 - 0)*2 - 5). Which is bigger: d or -1/1055?
d
Suppose 0 = -3*p + 16 + 17. Suppose 0 = 5*u + 2*j - 300, 10*u - p*u + 63 = j. Which is smaller: 59 or u?
u
Let d be 16/28 + 0 + 45/(-42). Let v = -1/3 - -2/3. Which is greater: d or v?
v
Let f(g) = -g**2 + 18*g - 1. Let l be f(19). Suppose s - 2*d = 2*d - 33, d - 66 = 3*s. Is s equal to l?
False
Let c = -96.8726 - -0.8126. Let d = c + 96. Which is smaller: d or 0.2?
d
Let c = 1/60 - 4/15. Let q = 1.19 - 0.45. Let v = q - 1.04. Which is smaller: c or v?
v
Let g be 1018/224 - (-36)/(-42). Is 4 at most as big as g?
False
Suppose -5*x = -4*x + 4, -o = 4*x - 68. Is o not equal to 86?
True
Let q = -229/247 - -22/19. Let s = 0.06 - 0.06. Is q <= s?
False
Let v be (165/10 - -7)*12. Is v less than 283?
True
Let m = -2/161 + -316/483. Let b be (3 - -1) + (-14)/(-2) + -3. Suppose 0 = -3*o + 2*p + b, o - 12 = -o + 3*p. Is o != m?
True
Let p = 19 + -27. Let i = 12 + -9. Let g be 3 + i/(12/p). Which is greater: g or -2/67?
g
Let n be 1*4/12 + (-3580)/30. Is -116 > n?
True
Let j = 0.323 + -88.323. Is -1/4 greater than or equal to j?
True
Let a = -237 + 213. Which is smaller: a or -25?
-25
Suppose -3*i + 2*p + 14 = -2*p, -i + 2*p = -8. Let x be (-1)/i + 87/(-54). Let n = -43/63 - x. Which is greater: -1 or n?
n
Let i = 1695/682 + -70/31. Let q = -133 + 2927/22. Let g = i - q. Is g greater than -1?
True
Let o be (8/6)/(1/(-2)). Let v(m) = -m - 5. Let d be v(-4). Let l(z) = z - 1. Let n be l(d). Is o smaller than n?
True
Let h be ((-22)/(-44))/(51/(-18)). Is h <= -3?
False
Let y = 0.3 + -0.25. Let n = -13.9 - -3.9. Let b = -10 - n. Which is greater: b or y?
y
Suppose 8 = 12*l - 8*l. Let u be (-2)/7 + 10/(-14) + l. Which is greater: 4.5 or u?
4.5
Let g be (2 + -8)/(-1 + -1). Suppose 0 = 7*d - g*d. Which is smaller: 6 or d?
d
Let k be 66/(-12) + 0 - (-2)/(-4). Let c(p) = -2*p**2 - 6*p + 14. Let f be c(k). Let j = -10 - 11. Is f > j?
False
Let k = -0.152 - -5.152. Let m = 18 - k. Which is bigger: 0 or m?
m
Let k(h) = -4*h + 4. Let f(v) = 7*v - 7. Let q(d) = -6*f(d) - 11*k(d). Let x be q(3). Suppose 13 = x*m + 17. Which is bigger: -1/22 or m?
-1/22
Suppose s + 7 = 2*z, -3*s + 7 = 3*z + 1. Suppose 4*a = 3*r + 116, -z*r + 2*a + 150 = -8*r. Which is bigger: -33 or r?
r
Suppose 0 = -g - 2, 2*x + 11066 = -x + 2*g. Let v = x + 18348/5. Let t = -21 - v. Is t < 0.3?
True
Let k = 579/14 - -43/7. Which is smaller: k or 49?
k
Suppose 5*w = 13*w + 2840. Which is smaller: w or -356?
-356
Let d = -25 - -37. Let l = 0.021 + -0.021. Is d less than l?
False
Let b be ((-15)/((-120)/(-16)))/((-2)/(-33)). Which is greater: -234/7 or b?
b
Let i = 0 + 7. Suppose i*t - 87 = 10*t. Is t < 1?
True
Let d(y) = y**2 - 28*y - 144. Let o be d(-5). Which is smaller: o or 24?
o
Suppose 1 + 4 = -g, -5*g = 3*a + 2389. Let o = a + 73285/93. Which is smaller: -1 or o?
-1
Let u = -155 + 156. Is 1 <= u?
True
Suppose 63*b - 466 - 1550 = 0. Is 37 at least as big as b?
True
Let f(a) = 2*a - 23. Let s be f(39). Which is smaller: s or 223/4?
s
Let y be 14/10 - 2/5. Let n(q) = -62*q - 94. Let v be n(7). Let h = 14258/27 + v. Does y = h?
False
Let j(g) = -4*g**2 - 12*g + 33. Let t be j(-7). Which is smaller: -80 or t?
-80
Let d = 0.074 - -60.926. Let w = -42 + d. Let f = 17 - w. Which is greater: f or -3?
f
Suppose -7 - 31 = 3*z - 2*q, -z + 3*q - 8 = 0. Let n be -2 - (-1)/((-2)/(-30)). Let w = n + z. Which is bigger: -1/33 or w?
-1/33
Let b = 24 + -23. Let j be 3/(-17)*6/9. Which is bigger: j or b?
b
Let y = 0.4 - 0.46. Let p be (4/((-60)/(-25)))/(30/12). Are p and y equal?
False
Let h be -8*(-1)/18*1. Let z be (0/(-10))/(3 + -2). Suppose 4 = 2*v + x - z, -2*x = -2*v - 2. Is h at least v?
False
Let t be 158/(-14) + 4/14. Let b be 7*(12/(-7) + 0).