- 3.5. Is l < -12?
False
Let d = 9/29 - 149/667. Let r be (-1)/3 + (-2)/(-6). Is r at least as big as d?
False
Let j be 4 + 1 + (-2 - 1). Let f be 0 - (j/(-3))/(-1). Is -1/5 at least f?
True
Let w = -14 - -12.8. Let l = 6.2 + w. Let a = -4 + l. Are a and 0 equal?
False
Suppose -18 = 2*v + 5*h, 0 = -v + 3*h - 2*h - 2. Which is smaller: v or -3?
v
Let p = -29 + 29.29. Which is bigger: p or -2/5?
p
Let o = -5 - 1. Let x = o + 4. Is -1 less than x?
False
Let x = -2/273 - -80/273. Let k(w) be the third derivative of w**6/120 - 2*w**2. Let n be k(0). Which is smaller: x or n?
n
Let x = 5 - 2. Suppose -p = -0*v - 2*v + 9, 3*p + x*v = -27. Let y be 15/p - 4/(-2). Is -1 bigger than y?
False
Let p = -4.04 - -4. Let o = 0.06 - p. Let v be 42/40 + (-2)/8. Which is greater: v or o?
v
Suppose -3*b - 60 = -b. Let z be 0 - (-3)/(b/(-4)). Suppose -5*m - 6 = -1. Which is smaller: z or m?
m
Let c = -29119/140 + 208. Let d = c - 297/2380. Which is smaller: d or 0?
d
Let p = -50 - -49. Suppose 1 - 3 = 2*v. Is v equal to p?
True
Let c(g) = -g**3 - 2*g**2 + 3*g + 2. Let z be c(-3). Let h(f) = -f - 1. Let k be h(-6). Which is smaller: z or k?
z
Let f = -732 + 2264/3. Let p = f + -281/12. Suppose 3*g + 15 = 2*t, 10 = -3*t - 3*g + g. Is t less than p?
False
Let j = -6.2 - -6. Is j < 2.3?
True
Let o be -7 - -3 - 164/(-40). Is o > 1?
False
Let f = -1.91 - 0.09. Let x = -2 - f. Let c = -1.6 + -0.4. Is x at most as big as c?
False
Suppose -115 = -5*t + 35. Let o be 8/t*(-6)/4. Which is smaller: o or -1?
-1
Let r = 10549 - 52559/5. Let x = -37 + r. Suppose 5 = 5*o + j, -5*o - 5*j + 25 = -0*j. Is o at least x?
False
Let v = -0.2 + -0.7. Let w = v - 0.1. Is -1 smaller than w?
False
Let k = -3 - -6. Let g = 2.9 - k. Let o(d) = d - 3. Let f be o(3). Is f < g?
False
Let j = 6 - 5.4. Let w = -0.6 + j. Is w at least 2?
False
Suppose 28 = 3*w + 7. Let o = 2 - w. Is -5 greater than or equal to o?
True
Let h(i) = -i**2 - 2*i + 4. Let d be h(0). Suppose 0 = d*q + 16 - 4. Which is smaller: -7 or q?
-7
Let u be (-4 + 2 - 1) + 0. Let v = u + 9. Is v <= 7?
True
Let r(u) = 2*u - 3. Let o be r(4). Let d = -8 - -13. Suppose -2*l = -0*l, d*p - o = 3*l. Is p at most as big as 2/21?
False
Suppose 0*n - 5*n + 10 = 0. Let j be 2*(1 - 0) - n. Let h = -67/6 + 487/42. Which is greater: j or h?
h
Let j be ((-9)/(-6))/((-7)/(-4)). Let v(c) = 2*c + 9. Let l be v(-4). Is l at least as big as j?
True
Let b = -63 - -64. Which is smaller: 1.4 or b?
b
Let k be 3/6 + 6/(-4). Let z = -394433/45 + 8766. Let m = z + -3/5. Which is smaller: m or k?
k
Let u(g) = g**2 + g + 2. Let c be u(0). Suppose -2*m + c + 0 = 0. Let i = 358/153 + -36/17. Which is smaller: i or m?
i
Suppose 3*c = 2*h - 5*h - 18, 0 = -h - 4*c. Which is bigger: h or -13/2?
-13/2
Let b be (-6 + 6)*1/2. Suppose b = -2*l - 4 + 8. Suppose 2*h + 4 + l = 0. Which is smaller: -2 or h?
h
Suppose 0*r = 4*r + 4*a, 3*a - 1 = -4*r. Which is smaller: -2/9 or r?
-2/9
Let c(a) = -a - 3. Let v be c(-4). Let q = v + -3. Which is smaller: q or -1?
q
Let b = -10.1 + 9. Which is bigger: -1 or b?
-1
Let w be (-4)/10 + (-8)/5. Let o = 44 - 42. Which is bigger: w or o?
o
Suppose -4*n = -12 + 4. Suppose -s - n = -3. Let o = 0 - s. Are o and -1/6 nonequal?
True
Let o = -88012 + 614826/7. Let l = o + 180. Let g = -1 - -1. Do g and l have different values?
True
Let q(h) = -h - 3. Let t be q(-4). Let a be 2/4*1/(-2). Is a less than t?
True
Let b be 12/(4/1) + -3. Let q = 4 + -1. Is b bigger than q?
False
Suppose 20 = -5*h + 4*y + 66, 2*h + 3*y = 0. Let q = 8 - 3. Let x = q - -1. Is h < x?
False
Suppose 7 = f - 3*a + 8*a, 0 = 3*f + 3*a - 9. Is 3 < f?
False
Let m(y) = -y**3 + 21*y**2 - 21*y + 23. Let n be m(20). Is 7/3 greater than n?
False
Let z = 3 + -1. Suppose 126 = w + 3*f, z*f = 6*f + 20. Let v = 567/4 - w. Which is smaller: 1 or v?
v
Let y = -28 - -28.05. Which is bigger: y or -1?
y
Let p(v) = -v**3 + 7*v**2 + 5*v + 17. Let o be p(8). Which is smaller: -6 or o?
o
Let u = -18 - 1. Let w be ((-1)/(-3))/(u/(-6)). Let v be (0 - 1)*(6 - 6). Which is smaller: v or w?
v
Let c be (2 + 0)/(14/(-21)). Let r be -4 + 2 + c + 2. Which is bigger: r or -5/3?
-5/3
Let p be (2/4)/((-204)/24). Is 1 greater than p?
True
Let p(z) = -3*z + 7. Let r be p(-7). Is -0.1 bigger than r?
False
Suppose -3*r = -7*r - 92. Is -23 equal to r?
True
Suppose 2*c - c + 11 = 2*u, -5*u = -2*c - 26. Is u greater than or equal to -2?
True
Suppose -15*m + 4 = -13*m. Suppose -2 - 3 = -5*j. Is j greater than or equal to m?
False
Let s(b) = b**2 + 9*b. Let y be s(-9). Is y < -0.5?
False
Suppose -5*l + 3 + 2 = 0. Suppose -3*q = -2*q. Which is smaller: q or l?
q
Suppose -3*d - 93 = 2*h, -5*d - 4 = -3*h - 115. Is -43 at most as big as h?
True
Suppose 2*z - 5 = -v + 4, 4*v - 5*z = 10. Which is smaller: v or -2?
-2
Suppose -5*d + 24 = -4*d. Suppose -8 = 2*u + a + 4*a, 2*u + d = 3*a. Let y be 1 - 3/(u/(-2)). Is 0.1 >= y?
False
Let n = -3501 + 20951/6. Which is greater: n or -8?
-8
Let h be (3 - 1 - 2) + 2. Suppose -h*b - 2*b = 4. Which is bigger: 1/32 or b?
1/32
Let t be (15/(-12) - -2)*4. Let p be 1/(t/6*1). Let g be (p/(-6))/(55/30). Which is smaller: -1 or g?
-1
Let s be (0*3/12)/(-2). Do s and -2 have the same value?
False
Suppose -3*l = 3*z - 195, -4*z + 0 = 20. Suppose -n + 1 + 3 = 0, 5*r + l = 5*n. Let o(s) = -6*s + 3. Let j be o(2). Is r smaller than j?
True
Let d be 2/9 - (344/252 - 4). Which is smaller: d or 2?
2
Let w = 21 + -20. Is w != -1.49?
True
Let k = 2 - -30. Suppose -k = 5*t - 7. Is -5 at least as big as t?
True
Let h be (-4 - (-1 - 2))*(-2)/(-43). Which is bigger: -1 or h?
h
Let w = -1.3 + 1. Let b = w - 0.7. Let p = 0.9 + b. Which is bigger: -1 or p?
p
Suppose -13 = -5*y - 5*i + 17, -4*y + 6 = -2*i. Which is bigger: y or 2?
y
Let j = 0.15 + 0.05. Let b be ((-2)/(-14)*4)/(-2). Are j and b nonequal?
True
Let a = 0.03 + -0.63. Let c = a + 3.6. Let q = c + -2. Which is bigger: 0 or q?
q
Let l be (-1)/(-1 + 24/27). Is 15/2 < l?
True
Let y be (31/48 - 4/12) + 0. Which is bigger: y or 1?
1
Let q be (-39)/(-12) + 2/(-8). Suppose -5 - 1 = q*t - 3*p, 4*p + 2 = -t. Let l = t - -1. Which is smaller: -0.3 or l?
l
Let y = -27 - -28.6. Which is smaller: y or 0?
0
Suppose -4*y - 8 = -4*a, 3*y + a + 8 = 2. Is y bigger than 1?
False
Let v be (-20)/2*(-5)/(-10). Let h(s) = s**3 + 4*s**2 - 5*s + 2. Let q be h(v). Let z be (q + -5)*(-2)/(-3). Which is smaller: z or -3?
-3
Let i be (9/(-12))/((36/(-8))/(-3)). Let f = 2.8 - 3. Which is smaller: f or i?
i
Let u = -7 - -6.8. Let i = -0.06 + 2.06. Which is greater: u or i?
i
Let x = -12863/48 - -268. Is 1 bigger than x?
True
Let c(k) = -k**2 - 5*k + 4. Let f be c(-4). Is 9 at least f?
True
Let d(p) = -p**3 - 7*p**2 + 8*p. Let q = 1 - -1. Suppose q*o - 40 = 7*o. Let k be d(o). Which is greater: k or 1/4?
1/4
Let l be (4/(-8) + 0)/((-1)/(-2)). Is 110 bigger than l?
True
Let b be ((-3)/20)/((-18)/(-15)). Let k = b + 5/8. Which is bigger: k or -3?
k
Let q be 27*-1 + 1 + (7 - 3). Which is smaller: q or -43/2?
q
Let t = 3 - 2. Let k = 4.97 + -5. Let i = -0.07 + k. Which is greater: t or i?
t
Let s(u) = u**2 - 6*u + 4. Let l = 13 - 8. Let n be s(l). Which is bigger: -2/13 or n?
-2/13
Let k = 4 + -4. Suppose k = y - 6*y - 15. Is -3 at most as big as y?
True
Suppose t - 1 = 4. Let x be (t/105)/(3/18). Is x less than 1?
True
Let o(b) = -5 + 2*b + 1 - b. Let v be o(2). Let f be (v/(-6))/((-10)/24). Do f and -1 have different values?
True
Let j(k) be the first derivative of k**2/2 + 9*k + 2. Let c be j(-5). Is 3 not equal to c?
True
Suppose -5*o + 25 = -0*o. Suppose t - 5 - o = 0. Let d be 4/20 - 2/t. Which is smaller: d or -2?
-2
Suppose 4 + 2 = 2*i. Suppose 4*h + 6 = -2*p, -3*h + 9 = i*p - 6*h. Suppose -5*w + 0 + 1 = u, 2*w + 4 = 4*u. Is w <= p?
True
Let y(p) = -p**3 + 7*p**2 - 3*p - 16. Let u be y(6). Let q(g) = 0*g + g - 2 + 1. Let x be q(4). Is u not equal to x?
True
Let y be 12/(-4) - (30/(-8) + 1). Is y >= 0.02?
False
Suppose -4*u = 2*n + 1 - 5, n + 4*u - 2 = 0. Let j be ((-21)/14)/(1/(-2)). Which is bigger: j or n?
j
Let k be (-16)/(-6)*9/4. Suppose 2*d - 15 = -0*d + 3*p, 16 = 3*d + 2*p. Is k >= d?
True
Let s = 23.957 + 0.043. Is s greater than -1?
True
Suppose -6*t + 3*t = 3. Let j(u) = u - 4*u + 2*u - 8. Let r be j(-6). Which is greater: t or r?
t
Suppose 0 = -2*v + v +