r > 3?
False
Let p = -0.66 - 0.04. Let w = p - 3.3. Let y = 4.1 + w. Is y at least as big as 1?
False
Suppose 2*p - 2 = 8. Suppose 2*z + 3 = p*z. Is 3 less than z?
False
Let m = 0.56 + -0.46. Which is greater: -0.42 or m?
m
Let r = 0.049 + 8.151. Let h = r - 8. Let k = 0.1 - -0.1. Is h at most k?
True
Let v = -3 + 2. Let a(f) = -4*f + 4*f + 5 - f. Let r be a(6). Is v at most r?
True
Let p = 469/4 - 118. Suppose 9 = -5*g - 2*l + l, -3*g = 5*l + 1. Let m be -1*((-2)/(-1) + g). Which is smaller: m or p?
p
Let d(j) = -46*j - 5. Let g be d(-1). Are g and 40 non-equal?
True
Let d = 30 + -20. Is 10 at least as big as d?
True
Let s = 115/2 - 1031/18. Which is greater: s or 1?
1
Let z be 14 - 0 - (-2 + 5). Is 11 at most as big as z?
True
Let q = 19 - 21. Do q and 0 have different values?
True
Let x = 2 - 0. Let r = 0 + 6. Suppose g = -3 + r. Are g and x equal?
False
Let r(l) = l - 1. Let q be r(5). Suppose 6*d + q = 2*d. Which is smaller: d or 0?
d
Let k = 8 + -3. Let g be ((-76)/(-165))/(9/k). Let y = g + -2/27. Which is bigger: 0 or y?
y
Let j = 3 + 1. Suppose 0 = j*t + 8. Which is bigger: t or 0?
0
Let a be (-15)/20*1/3. Which is greater: -2/23 or a?
-2/23
Suppose -5 = -8*m + 3*m. Which is bigger: 1/3 or m?
m
Let h(o) = o - 2. Let q be h(2). Suppose q*p - 2 = -2*p. Let f = 158/7 + -1408/63. Which is bigger: p or f?
p
Let a = 227 + -161. Let z = 1297629/19624 - -1/2453. Let u = z - a. Which is greater: 1 or u?
1
Let u(q) = q**3 - 3*q**2 + 6*q - 1. Let i be u(4). Let s = i + -271/7. Which is bigger: 0.1 or s?
s
Let r be (-8)/4*(-1)/2. Let t = -692/15 - -46. Which is bigger: t or r?
r
Suppose 166 = -3*u - 50. Which is smaller: -74 or u?
-74
Let q = 17721 - 86437/5. Let y = q + -432. Are 3 and y equal?
False
Let r(b) = -b + 10. Let l be r(6). Suppose -2*z + 0*g = g + 6, 2*z = 2*g. Let n be 1/((-3)/(-6)) - z. Is l less than n?
False
Let x = -3637/6 + 604. Let r = 3/2 + x. Which is greater: r or -2?
r
Let h = 66341/48 + -1382. Let c = h + -47/144. Which is greater: 0 or c?
0
Let l be ((-3 - -2) + 1)/2. Let d be 24/9 + (-1)/(-3). Suppose l = -d*q + q. Which is smaller: -1 or q?
-1
Let c be ((-2)/(-3))/((-1)/3). Let n = 2 + c. Let b = 6 - 7. Which is bigger: b or n?
n
Let a be (-2 - 1)/1 + 8. Suppose -a*p + 7 = -23. Are 4 and p unequal?
True
Let v be (-3)/(-2) - (-6)/4. Suppose -41 = v*k - 14. Which is bigger: k or -8?
-8
Let h(m) = 2*m**2 + 11*m + 3. Let p(i) = -i**2 - i. Let n(a) = -h(a) - 3*p(a). Let y be n(9). Suppose y - 18 = -3*s. Is s < 4?
False
Suppose 3*w + i - 36 = 0, -w = -i + 4*i - 4. Which is bigger: 2/5 or w?
w
Suppose -4*o + 7*o + 78 = 0. Let c be o/42 - (-2)/6. Let i be (135/25 - 5) + 0. Does c = i?
False
Suppose 4*t - t - 9 = 0. Suppose 18 = -t*d + 5*p, -p + 2 - 4 = 5*d. Is -0.1 less than or equal to d?
False
Let s(d) = d + 1. Let n be s(-7). Let x = n + 4. Which is smaller: x or -4?
-4
Let y = -13 + 69/5. Do 2 and y have the same value?
False
Suppose -19*z = -23*z + 12. Which is smaller: z or 6?
z
Let y = -8/3 + 61/24. Which is greater: y or -2?
y
Let l be 8/3 + 2/6. Let q = -478 - -482. Which is smaller: l or q?
l
Let d = -12 + 7. Let a = d + 11. Let y be (1/a)/(6/27). Is y not equal to 2?
True
Let b = 1/2173 + 145585/13038. Let z = -197/18 + b. Let g = 1.03 - 2.03. Which is bigger: z or g?
z
Let r(v) = -v**2 + v + 4. Suppose -2*z + 12 = 2*z. Let g be r(z). Is -4 greater than or equal to g?
False
Suppose q - 4*y - 16 = -q, 0 = -5*y - 25. Let g(s) be the third derivative of s**5/60 - s**3/2 - 2*s**2. Let k be g(0). Which is bigger: k or q?
q
Let n be 0 + -3 - (-12)/5. Are -1/4 and n non-equal?
True
Let h(b) = -2 + 2 + b**2 + 4*b**3 - 1 - 5*b**3. Let z be h(2). Which is bigger: -3 or z?
-3
Suppose 0 = 4*a - 4*p + 24, -5*a - 3*p + 8 = -2. Is a at least as big as -2?
True
Suppose -4*v + v = 0. Let w be (-60)/45 - (-2 + 0). Which is smaller: w or v?
v
Let b = -0.4 + 6.4. Let h = b + -6.3. Let a = h + 0.2. Which is smaller: a or 0.3?
a
Let t = -12 + 7. Let l(q) = -q**2 + 3*q + 3. Let c be l(4). Let h(g) = g + 1. Let o be h(c). Which is smaller: o or t?
t
Suppose -r + 4*u + 6 + 4 = 0, 2*r = -3*u - 13. Let c be (2 - 19/10)*r. Let h = -0.1 + 0.2. Which is smaller: h or c?
c
Let q be 39/(-144) - 2/(-6). Which is smaller: q or -1?
-1
Suppose 4*a + 15 = -a. Is 1 at most a?
False
Suppose -21 = 5*p - 2*g, 4*p - g + 16 = g. Let b(r) = -3*r - 1. Let u(k) = 13*k + 4. Let s(c) = -18*b(c) - 4*u(c). Let h be s(-4). Is h smaller than p?
True
Let b = -8 - -14. Let s = b - 7. Which is smaller: 3/8 or s?
s
Let t(o) = o - 4. Let i be t(3). Let d = -3441/20 + 172. Which is smaller: i or d?
i
Suppose 2*q + 100 = 6*q. Let z be (-12)/q*(-5)/(-2). Which is bigger: z or 0?
0
Let i(z) = -2*z + 6. Let q be i(9). Let u be (4/(-6))/(q/54). Is 1 > u?
False
Let w = 42 - 42. Is 3/4 greater than w?
True
Let j(u) = -u - 4. Let l be j(-4). Let n be (l - 3/(-9))*3. Let i = 1.7 + 0.3. Which is bigger: n or i?
i
Suppose -5*b + h = 0, 10*b = 5*b + 2*h. Is -1/11 >= b?
False
Suppose 0*l + 2*l - 98 = 0. Let j = -30 + l. Suppose -3*i + 49 = 2*i - 2*t, -3*i + j = 4*t. Is i at least 9?
True
Let i = -5 - -9. Suppose 0 = i*m + 12, -3*a - 4*m = -3*m + 6. Which is smaller: a or 0?
a
Let b = -3 - -6. Is 2/17 bigger than b?
False
Suppose 5*s = m - 690, 0 = -s + 3*m + 2*m - 138. Let t = s + 1379/10. Which is smaller: 0 or t?
t
Let o = 4 + -6. Let q be (o/(-9))/((-2)/(-3)). Let p be 1*-1 - (0 + 0). Which is smaller: q or p?
p
Let s = -5.05 + 0.05. Let v = -3 + s. Let f = v - -5. Which is smaller: 1/4 or f?
f
Let x = -956 + 3805/4. Is -5 < x?
True
Let n be (-5 - -2)/3*-1. Let g be (-1 - -3) + -3 + n. Let t = 7 - 15/2. Is t < g?
True
Suppose -5*m + 2*o = 11, 2*m - 2*o + 11 = o. Let n(d) = -d**2 - 7*d + 6. Let a be n(-8). Do a and m have different values?
True
Let b = -3 - -3. Is 3 < b?
False
Let t = -0.03 - -0.03. Let r = t + -0.1. Which is smaller: r or 3?
r
Let t be ((-8)/24)/(2/(-114)). Suppose 3*s - v + t = -5*v, 4*s + 16 = -3*v. Which is smaller: 0 or s?
s
Let n(t) = t**2 - 9*t + 6. Let h be n(8). Let y(v) = 6*v**2 - 3*v**3 + v**3 + 5 - v + v**3. Let p be y(6). Which is greater: p or h?
p
Suppose 0*l - 5*l - 50 = 0. Let p be (-58)/(-140) + 2/l. Which is greater: p or 1?
1
Let v = 19 + -13. Which is greater: v or 7?
7
Suppose -4*p = -9*p + 1385. Let k = p + -3049/11. Suppose 5 = 2*q + 3*q. Is q <= k?
False
Let i = 3 - 2. Let d = 1/193 - -3662/965. Let o = 18/5 - d. Is i >= o?
True
Suppose 4 = 2*h + 2*h. Let z be 10/(-2)*(-12)/(-30). Let f = z - h. Which is smaller: -1 or f?
f
Suppose 0 = -5*f - 5*a + 20, -3*f = -3*a + 2*a + 4. Is f >= 1/4?
False
Let l = 140 + -2378/17. Is l greater than -1?
True
Suppose w - 5*m = -3*m - 4, -4*m + 8 = 2*w. Suppose 5*p - 6*p - 1 = w. Are p and -1 nonequal?
False
Suppose 5*i - 45 = -o, -4*i + 5*o = -8*i + 36. Which is greater: i or 4?
i
Suppose -5*s + 6*n = 4*n - 15, -4*s = -n - 9. Suppose 0 = -3*b + 7 - s. Which is smaller: 1 or b?
1
Let q(f) = f**2 + 9*f + 8. Let o be q(-8). Which is greater: -2 or o?
o
Let p be (0 - 0)*1 + -2. Let h be (-12)/(-20) + 57/(-45). Are p and h non-equal?
True
Let h = -340327/15 - -22675. Let t = h + 40/3. Let i = 1/5 - t. Which is bigger: 0.3 or i?
i
Let r be (-6)/(-2)*(-7 - 2). Let m be (-6)/r + 34/9. Suppose 5*n - 3*n = 0, m*z + 5*n = 16. Is 3 greater than z?
False
Let r be ((-4)/110)/(4/(-15)). Are 1 and r nonequal?
True
Suppose k + 5*j = -12, -k - 3*k + 4*j = 24. Which is greater: k or -13?
k
Let u(t) = -t**3 + 4*t**2 - 3*t + 3. Let y be u(4). Let k = -10 + 2. Let w = k - y. Are 3/10 and w nonequal?
True
Let l = 0.1 + 0. Let b = 42 - 208/5. Which is smaller: l or b?
l
Let z(x) = -x + 10. Let g be z(8). Suppose g*h + 21 = 5*h. Suppose k = s + h, -k - 3*s = 4*k - 3. Is 2 at least as big as k?
False
Let y = 37 + -36.997. Which is smaller: 0.1 or y?
y
Let y(l) = -l**2 + l + 2. Let i(a) = a + 4. Let n be i(-6). Let g be y(n). Which is greater: -2 or g?
-2
Let a = -57 + 51. Which is bigger: -4 or a?
-4
Suppose -q = -15 - 14. Is q < 27?
False
Suppose -2*s = -3*s + 4*m + 22, -3*s = 3*m + 9. Suppose -10 = -s*h, y + 3*h - 23 = -h. Let a = y + -6. Is a <= -3?
True
Let y = 0.05 - -0.05. Is -5 less than y?
True
Let a = 25/42 - 2/21. Let z(v) = v**3 + 7*v**2 + 6*v - 6. Let k be z(-6). Let r = 7 + k. Which is greater: a or r?
r
Suppose -3*