 2.1103 - 0.1103. Let p be (-5)/((2/(-4))/1). Is p bigger than f?
True
Let m = -19.5 - -19.8. Suppose -16 = -0*g - 2*g. Suppose 5*b + 0 = -2*u + g, -3*u + 3 = 3*b. Which is bigger: b or m?
b
Let x = 485.01 - 487. Let t = -2 - x. Let k = 7.1 + -7. Which is smaller: k or t?
t
Let y be 498/(-21) + -2 - 120/420. Is -29 not equal to y?
True
Let f be (215/(-60) - 2/(-6)) + 4. Is f bigger than 15?
False
Suppose 0 = g + 7*m - 3*m + 9, -g - 7 = 3*m. Let l = -1500030051/1070 - -1401897. Let n = 6/107 - l. Which is bigger: n or g?
n
Let f(v) = 3 - 6*v + v**2 - 2*v**2 - 2 - 4. Let a be f(-9). Let z = 23 + a. Is z at least as big as -7?
True
Suppose 3*c + 0*c + 12 = 0. Let m be c/(-2)*(-4)/2. Let r(a) = a**2 + 5*a + 1. Let s be r(-4). Is s at most as big as m?
False
Let c(q) = -q**3 - 5*q**2 - 2*q - 7. Let a be c(-5). Let t(r) = -r**3 + 3*r**2 + r. Let z be t(a). Which is greater: z or 6?
6
Let f = 2 - -19. Let p = -15 + f. Is p at most as big as -5?
False
Suppose 0*a - a + 26 = 4*z, a + z = 35. Suppose -2*t + 134 = a. Do 1 and t have different values?
True
Let f = 8 + -15. Let b = f + 7. Which is smaller: b or 2/15?
b
Let v be (3 + 123/(-48))*(-10)/(-7). Which is bigger: 1 or v?
1
Let x be 12 + (3 - (-4)/4)/2. Let q(t) = 5*t - 45. Let k be q(x). Which is smaller: k or 23?
23
Let i = 6662/37 + -180. Which is bigger: 6 or i?
6
Let m(s) be the first derivative of s**2/2 - 4*s - 2. Let h be m(5). Let u be (-9 + 12 - 2)/1. Is u != h?
False
Let o = -237 + 140. Is o greater than -98?
True
Let q be 17 - (-3 + 4) - 1. Let m be ((-10)/q*9)/(-2). Let p be -8*(1 - 12/10). Which is bigger: m or p?
m
Suppose 6*i + 3*h = i - 37, 4*i - 4*h = -4. Let s = 0.0773 + -0.4663. Let l = s + -0.011. Which is smaller: l or i?
i
Let g be (24/30)/((6/10)/3). Let p be ((-38)/g)/(2/(-4)). Which is smaller: -2/5 or p?
-2/5
Suppose -2*h - 81 = -17. Let p = -13 - h. Suppose 4*b + b - p = i, -5*b = i - 11. Which is smaller: b or -2?
-2
Suppose -26*a - 7 = -33*a. Let g = 2 + 4. Let t be 2/7 + g/21. Is a less than t?
False
Let l = -266/435 + 3/5. Which is greater: 1 or l?
1
Let z = -0.0263 - -0.1463. Which is smaller: 1.7 or z?
z
Let t be 1/(-1 + (0 - 0)). Let y be (-21820)/36 - 4 - 1. Let w = 610 + y. Which is bigger: w or t?
t
Let h(c) = c**2 - 4*c. Let i be h(3). Suppose 90*s = 113*s. Which is greater: i or s?
s
Suppose -175 = -5*p + 2*l, -2*l = -2*p - 11 + 75. Let t = 37 - p. Which is bigger: t or -3?
t
Let l be 4526/(-44)*(-24)/897. Let x = -523/143 + l. Let i = -9/11 - x. Which is smaller: 0 or i?
0
Let h = -590.8 - -663. Let j = h + -71. Let u = -0.1 - -0.1. Is j >= u?
True
Suppose -44 = -5*v + 2*j, 13 = -8*v + 9*v + j. Which is greater: -11 or v?
v
Let h = -5 - -3. Let t = -54/67 - 2047/536. Let l = t - -79/24. Is h smaller than l?
True
Let u = 32395 - 420817/13. Which is smaller: u or 23?
23
Let u be (2 - -5)/((-2)/4). Which is smaller: 2/19 or u?
u
Suppose -2*c + 9 - 78 = -o, 5*o = 5*c + 160. Is 1 at most as big as c?
False
Suppose 5*z = -2*f + 7, 0 = f - 6*f - 2*z + 7. Suppose -6*q + 325 = -119. Let d = 520/7 - q. Which is bigger: f or d?
f
Let h = -1 - -0.1. Let g = 0.1 - h. Let i = -0.98 + g. Which is smaller: 0 or i?
0
Let n(d) = d**2 - 29*d + 37. Let i be n(27). Which is smaller: i or -19?
-19
Let p = -76 - -81. Let j be 0 + (-4)/3 + p/5. Which is smaller: j or 2?
j
Let q(v) = -v**3 - 8*v**2 + v - 8. Let y be q(-8). Let d be (-20)/(-6)*24/y. Which is smaller: -2 or d?
d
Let g = 0.003 - 0.263. Let p = g - -0.46. Which is smaller: -0.01 or p?
-0.01
Let d(q) = q**3 - 9*q**2 - q + 6. Let b be d(9). Let g(n) = -n**3 + 16*n**2 + 1. Let i be g(16). Which is smaller: b or i?
b
Let s(v) = v**3 + 9*v**2 - 6. Suppose 0*o + 4*o + 48 = 4*y, -5*o = y + 42. Let h be s(o). Is h >= -6?
True
Let n(c) = 3*c. Let p be n(1). Suppose -5*x + 17 = 4*k - 3*k, 4*x = 5*k - 27. Is k bigger than p?
True
Let v = 6031/6 + -1021. Let r = -43/2 - v. Which is greater: r or -6?
r
Let v = 16481660/42333 + -4/14111. Which is smaller: v or 388?
388
Let f = 394 + -2365/6. Is -23 bigger than f?
False
Let h = 500 - 190. Suppose -9*y = -h - 284. Are 66 and y equal?
True
Let m be (15*6/2340)/((-2)/(-72)). Which is smaller: 2 or m?
m
Let c = -42 - 318. Let p = c - -2197/6. Which is smaller: 7 or p?
p
Suppose 9 = 21*k - 20*k. Is k <= 10?
True
Suppose 239 = 60*d - 181. Which is bigger: d or 2?
d
Let i = 0.576 + 0.014. Let t = i - 1.4. Let x = t + -0.19. Is -1 equal to x?
True
Suppose 7*c = 5*c + 8. Suppose -3*v = -3, -3*z + z = c*v - 10. Suppose z*b - 4*b = 0. Which is bigger: -1/13 or b?
b
Let n = -600 + 580. Is -21 <= n?
True
Let a be (-3 + 2)/(3 + -2). Let q be a/(2 - (-60)/(-28)). Suppose -6*h + q*h = -9. Is -8 greater than or equal to h?
True
Let y = 16 + -9. Suppose 0*n - 4 = -n. Suppose -y*w + n*w = 3. Which is smaller: w or 2?
w
Let v be 2/(-22) - (0 - 0). Let c be -3 + 3 - (-3 + 0). Suppose 0 = -2*l + c*l. Is v <= l?
True
Let i(o) = o + 4. Let j be i(-4). Suppose -5*q = -2*m - 4*q + 35, -3*m - 3*q + 48 = j. Let t = 25 - m. Is t <= 8?
True
Let r = -1.34 - -2.34. Are r and 4 equal?
False
Let k be ((-8)/(-6))/((-98)/(-3) - -8). Suppose 3*o = v - 3*v + 8, 2*v - 8 = -5*o. Let a(j) = -j + 1. Let u be a(o). Which is bigger: k or u?
u
Let j = 2 - 2. Let d be j + 0 + 2 - 2. Let o = 1/562 + -1133/5058. Is o < d?
True
Let d = 37 + -105. Let x = -45 - d. Is 1 greater than or equal to x?
False
Let h be -2 + 114/51 + 2. Which is smaller: h or -1?
-1
Let d = -3038 - -540767/178. Is d less than -1?
False
Let k be ((-10 - 21/(-3)) + 2)*-1. Is -3/713 greater than k?
False
Suppose -5*n - 72 = -n. Let i be (0 - 3/n)*6. Let z = 47/3 + -95/6. Which is greater: z or i?
i
Let u = -1 - -8. Let f = 5 - u. Is f at least 1?
False
Suppose 498 = -9*a + 138. Are a and -3 nonequal?
True
Let a(g) = g**2 - g + 14. Let t be a(0). Let u = 18 - t. Which is greater: u or 10/3?
u
Suppose -5*f - 640 = p, -10*p + 12*p - 625 = 5*f. Which is smaller: f or -1?
f
Let g be (-9)/(-6)*(-2 + -300). Let d = -1821/4 - g. Suppose v = 2*p + 6, v - 7 = 5*p + 8. Which is smaller: d or p?
p
Suppose 0 = 28*k - 893 + 25. Which is smaller: 34 or k?
k
Suppose -z = 3*z. Let d(u) = -u**3 - 10*u**2 - 28*u - 11. Let c be d(-4). Is z greater than c?
False
Let u = 1 - 2. Let m(a) = 60*a**3 - a**2 - a. Let w be m(u). Let h be (-3)/(-5) + 18/w. Which is smaller: 0 or h?
0
Let m be 18/(-30) + 36/10. Suppose 10*y = 14*y - 12. Is m less than y?
False
Let m be ((-28)/(-28))/(1/(-967)). Is m < -966?
True
Let t(d) = -8*d + 82. Let z be t(10). Let r be (4/18)/((-4)/(-15)). Do z and r have the same value?
False
Let a(k) = -103*k - 3. Let y be a(-6). Suppose i = -5*z - 3061, z + y = -3*i - 0*i. Let c be (-3 + z/(-208))/(-3). Is 0 >= c?
False
Let p = -18.08 - -20.08. Let t = -101/66 - -15/11. Which is greater: t or p?
p
Suppose 2*h - 4 = 4*q, -q - 3*h - 3 = -9. Which is bigger: q or 7/40?
7/40
Let a be (-5)/(-9)*2/4. Suppose -83*b + 70*b = 13. Which is smaller: b or a?
b
Let w(r) = -9*r**2 + 3. Let g(a) = 8*a**2 - a - 2. Let o(q) = 7*g(q) + 6*w(q). Let m be o(3). Let i = 1.4 + -1.6. Which is greater: m or i?
m
Let t = -8/25 - -391/50. Let w be (-6)/(-4)*(-256)/336*-7. Is t != w?
True
Let j be -1 + (1 - (1 + 6)). Which is greater: -9 or j?
j
Suppose 0 = -2*z + f + 21, z + 3*f - 2 = 26. Is z equal to 15?
False
Let k = 31 + -27. Let a be k/(-1 + 3) - -1. Let r be 4*((-9)/2)/a. Which is smaller: r or -9?
-9
Let j = 193 - 87. Let p = -128 + j. Is -20 not equal to p?
True
Let u = -103/55 + 14/11. Let b = 0.2 + -0.8. Let d = 0.7 + b. Which is greater: d or u?
d
Suppose 0 = a + 2*n - 8, -4*a - 4*n = -3 - 25. Let m be 54/a + (1 - -1)/(-1). Suppose 5*w + 6 = -2*r + 32, 10 = -5*r. Are w and m unequal?
True
Let c = 3 - 2. Let i be 20/(-12) + 2*c. Is -1.6 < i?
True
Let p be (-16)/30*30/(-9). Let o be (-52)/(-13) - (-26)/(-9). Let h = p - o. Is h smaller than 1?
True
Let j be (-304)/(-342) - (-249)/(-189). Let u be 0 + (0 - 1) + 1. Is j at most as big as u?
True
Let x(v) = -v**2 + 3*v + 50. Let t be x(-6). Suppose 4*b - 3*b - 5*f - 14 = 0, -6 = 3*b - 3*f. Which is bigger: t or b?
t
Suppose 96 = -3*j + 6*j. Suppose -3*w + 3*m - 33 = 0, 5*w + 5*m + j = 7. Let p = -126 + 117. Is w greater than or equal to p?
True
Let c(r) = -2*r**2 - 5*r + 2. Let o be c(-4). Let t = 1 + o. Let v = t + 8. Do 0 and v h