 -0.1?
False
Let y = 0.0063 + 0.1137. Let w(s) = s**3 - 4*s**2 + 4*s - 3. Let u be w(3). Suppose -5*r = -v + 1, -2 = -u*r - r - 2*v. Which is bigger: r or y?
y
Let p(o) = -o - 6. Suppose 7*v = 9*v + 6. Let t be p(v). Is t < 11?
True
Let z = -3285 - -121534/37. Which is smaller: -1 or z?
-1
Let s be (-3)/(-2) - (6 - (-56)/(-16)). Which is smaller: 1/729 or s?
s
Let d = 2091 + -865. Which is bigger: 1225 or d?
d
Let f = 303/770 + 1/154. Suppose 0 = -4*j + 3*j. Suppose 6*n - 2*n = j. Which is smaller: f or n?
n
Let x be ((-1916)/(-72)*-1)/(2/(-3)). Let o = -40 + x. Is 0 smaller than o?
False
Suppose -g - 3*h + 8 = 0, -2*g + 16 - 2 = 4*h. Let c be 3 - ((-2)/(-4))/((-12)/(-144)). Let a be 20/c*g/4. Which is greater: a or -9?
a
Let s = 183.578 - -0.422. Which is smaller: -0.1 or s?
-0.1
Suppose 2*c - 135 + 360 = -3*t, 0 = 2*c + 2*t + 220. Let i be (2/(-3))/(c/(-252)). Is i at most as big as -1?
True
Let v(u) = u + 7. Let n be v(3). Suppose 4*g + 3*w = -36, -2*g + n = -g - 4*w. Is g less than -7?
False
Suppose 4*k = 5*g + 5153, k - 2549 = -k - 3*g. Let z = -6432/5 + k. Which is greater: z or -3?
-3
Suppose 0 = -2*a + 7*a - 25. Suppose 0 = a*h + 4*v + 3, 0 = 5*h - 0*h + v - 3. Let z be (12/(-44))/(-1 - 0). Which is bigger: h or z?
h
Suppose -30 = 5*u - m + 53, u + 1 = -5*m. Let g be u/(-7) - 16/56. Which is smaller: g or 5?
g
Suppose v + 4*q + 3 = 2*v, 4*v = 2*q - 2. Which is bigger: v or -1/101?
-1/101
Let b = 2.63 + -4.33. Do b and 0.3 have the same value?
False
Let v(d) = -123*d + 3. Let a be v(6). Let q be (-1*(-18)/a)/((-6)/15). Is q != 1?
True
Let b = 0.0097 - -1.3063. Let a = b + 0.084. Is -3 less than or equal to a?
True
Let q(x) = -2*x**2 + 18*x - 34. Let h be q(6). Is h smaller than 12/11?
False
Let r(c) be the third derivative of -c**6/60 - c**5/30 + c**4/6 - 6*c**2. Let z be r(2). Do -15 and z have the same value?
False
Suppose 2*y + 0*y = -32. Let j be -8 + 8 + -14 + 2. Which is bigger: y or j?
j
Suppose 2*h = -22 - 256. Let z = h - -139. Is -2/97 <= z?
True
Let q(u) = -u**2 - 4*u + 1. Let s be q(-4). Let i be -9 - (69958/551)/(-14). Which is smaller: s or i?
i
Let k be (24/3972)/(8/12). Is 0 greater than or equal to k?
False
Let t = -62.21 - -4.21. Which is bigger: t or 0?
0
Let s = 160 - 166. Let q be 9/(-2)*8/12. Let h be (2/28)/(q/12). Which is smaller: h or s?
s
Let r(f) = f**2 - 23*f + 15. Let t be r(5). Is t bigger than -516/7?
False
Suppose 0*a = 2*a - 10, 0 = 3*r - 3*a + 3. Suppose -d = -r*d. Let b be 68/340 + (-6)/26. Which is smaller: d or b?
b
Let g = 3.1 - 3. Let w = -44 - -44.14. Which is greater: w or g?
w
Suppose -2*j + s = 10, -3*j + 2*s - 25 = -9. Let w be j - 9/(-1) - 5. Is 4 smaller than w?
False
Let x be (-4)/(-10) + 17/(-5). Let q be -17*(3 - (x - -7)). Suppose 3*n + 1 = -m, 0 = 2*n - 5*m - q - 5. Do n and -1/5 have different values?
True
Let k = -1 - -1. Let j = -2/445 - 3967/8455. Let q = j - -145/266. Which is smaller: k or q?
k
Let v be (18/5)/((-6)/(-20)). Let l be (4/v)/(2/36). Suppose w + l = 5*o, -w - o = -5 - 1. Is w less than or equal to 3?
False
Let z(u) = -5*u + 19. Let y be z(8). Is -23 smaller than y?
True
Let n be 36/(-120) - 206/(-700). Is n greater than or equal to 0?
False
Let h = -2 - 1. Let f be ((-9)/15)/(-3)*h. Let i be (2 + -4)/(-1 + 3). Is i equal to f?
False
Let h = -1481 + 1578. Which is greater: h or 478/5?
h
Let d(m) = 74*m + 3. Let l be d(1). Suppose 41 = -p - 5*y, -6*p + 8*p + l = -5*y. Which is greater: p or -1?
-1
Let n = -74.3 + 74.3. Which is greater: 12.9 or n?
12.9
Let d be 60/(-18)*12/(-10). Let b = d + -2. Suppose -2*m = -4*m - 2*o, 4*m + 6 = -b*o. Which is smaller: -5/3 or m?
m
Let g be ((-2)/(-3106))/(120/360). Is 0 greater than or equal to g?
False
Let t = -28 - -27. Let g be (t - (-1 + 7))*-4. Let a = g - 29. Do 16 and a have different values?
True
Let r = 2408 + -45746/19. Let y be ((0 + -4)/(-2))/2. Which is smaller: y or r?
r
Let v = -1292/3 + 430. Is -89/4 greater than or equal to v?
False
Let y be (-1)/(-1) + -3 + 2. Let s = 1103/160 - 34/5. Is s smaller than y?
False
Let j(m) = -m**3 + 5*m**2 + 4*m + 6. Let h be j(6). Let n be (9/h)/((-9)/114). Let k be (3 + -2)/(n/(-4)). Do k and 0 have the same value?
False
Let x = -56 - -38. Let y(b) = 5*b. Let g(a) = a. Let q(w) = -33*g(w) + 6*y(w). Let l be q(6). Is x != l?
False
Suppose 3 = 3*r - 3*k, 2*r + 3*k = 10 + 7. Let d be 12/9 - 4/(-6). Suppose 2*w + x = 2*x + 14, r*w - 36 = -d*x. Is 9 at least as big as w?
True
Let p be -604 - (273/3)/13. Do -613 and p have different values?
True
Suppose -m + 11 = 2*m - 5*x, 4*m - 23 = 5*x. Let t = 4 - m. Let w be (-36)/t*12/63. Which is smaller: 2 or w?
w
Let j = 661 + -660. Which is bigger: j or 12/235?
j
Let f be 5/(-15)*-7 + -3. Is 153 != f?
True
Let n(p) = -p**2 - 4*p - 12. Let o be n(0). Let x(a) be the first derivative of 5*a**4/2 + a**2 + a + 3. Let d be x(-1). Do d and o have the same value?
False
Suppose 5*m - 3*i + 25 = 0, 37 = -5*m - 3*i - 18. Let a be (2*4/m)/(-1). Is a at most 2?
True
Let r(s) = -5 + 17 - 5*s - 9 - s**2. Let i be r(-5). Suppose -i*h - 5*l + 8 = 0, 0 - 4 = -4*l. Are h and -2/5 non-equal?
True
Suppose -3*b + 27*z - 2558 = 22*z, -2*b = -z + 1696. Is -845 less than or equal to b?
False
Let y be (84/588)/(2/3122). Is 223 at least y?
True
Let m = -46 + 46.38. Let i = m - 0.3. Which is smaller: -1 or i?
-1
Let l(h) = 2*h**3 - 19*h**2 + 9*h. Let d be l(9). Which is greater: d or -2/27?
d
Let p(u) = 14*u**3 + 2*u**2 - 11*u + 11. Let d be p(2). Is 110 at most d?
False
Let m = 2496 + -7594/3. Which is smaller: 0.2 or m?
m
Let i = 75 - 78.2. Let u = i - -3.1. Which is smaller: u or -11?
-11
Let s be 12/8*58/3. Suppose 0 = -0*a + 3*a - 2*i - 8, 4*a - s = -i. Which is smaller: a or 34/5?
a
Let x(l) = 9*l - 3. Let t be x(-3). Let o be 8/(t/(-4) - 2). Suppose 22629 - 22652 = -23*m. Which is bigger: o or m?
o
Let i be (-4)/8*16/(-2). Suppose -26 = -i*f + 2*f. Let u = 11 - f. Which is smaller: u or -3?
-3
Let v = 71 - 65. Suppose 12*k - v*k - 12 = 0. Suppose -2 = 4*m - 10. Is k smaller than m?
False
Let u(g) = 6. Let q(z) = -z. Let k(w) = -q(w) + u(w). Let y be k(9). Let c = y + -14. Is 4 <= c?
False
Let c be (-5)/(-2) - (-10)/28. Suppose 2*m - 4 = -2*m, -2*o = -3*m - 7. Suppose 2 = -3*f + o*k - 12, 4*f + 3*k - 20 = 0. Which is smaller: c or f?
f
Let t be -4 - (2/(-3))/(944/5784). Do t and 1 have the same value?
False
Suppose -5*t = -3*n - 44, 2*t + 2*t = -20. Let s = -68/3 - n. Is -2/7 at most as big as s?
True
Let h = 7587 + -7565. Suppose -29 = -5*l + 71. Which is smaller: h or l?
l
Let f = 156 + -155. Let y be ((-36)/384)/((-3)/(-2)). Do y and f have different values?
True
Let h = -3 + 2. Let f = -862 - -5173/6. Which is smaller: f or h?
h
Suppose 2*w + 0*h + h + 46 = 0, 0 = 2*w + 4*h + 46. Let t be 1/(((-65)/(-13))/(-120)). Do w and t have the same value?
False
Let w(o) = o + 2. Suppose -3*k + k = 0. Let g be w(k). Let n(l) = l**2 + 8*l + 14. Let a be n(-6). Is g less than or equal to a?
True
Suppose -2*p + 1 = -1. Let t be 1/(-3)*3*p. Let m = -59/35 + 34/21. Does t = m?
False
Let n = -120 - -120. Which is smaller: n or 1/15?
n
Let j(g) = 3*g + 42. Let d(o) = 1. Let l(x) = -3*d(x) + j(x). Let p be l(7). Which is greater: p or 59?
p
Suppose z - 3*c = 2*c + 19, 0 = -5*z + 3*c + 29. Let b be (-9)/z + 1/4. Let k be 9/7 + b/7. Which is smaller: k or 1/4?
1/4
Let v be 10992/(-54) + (-4)/9. Let x = 291 + v. Is 86 < x?
True
Let r = 178.11 - 179. Let y = r - 0.11. Is 0.7 > y?
True
Suppose 5*r + 5*n - 1 - 4 = 0, -3*n = 2*r. Suppose 0 = -2*s + 5*t - 5, 2*t = -r*s + t + 1. Is -5 less than s?
True
Suppose 5*w - q = 86, 5*w - 44 - 54 = -2*q. Suppose 0*p = 5*a + 3*p - 25, 0 = 4*a + 2*p - w. Suppose -a = v - 1. Which is smaller: v or -3?
-3
Let n be (-2 - 1)*1/((-1)/3). Suppose -33*s + 34*s = -n. Is s <= -3?
True
Suppose -4*z = -37 - 11. Is z >= 12?
True
Suppose 3*k - k - 2208 = -2*f, 0 = -3*f + 12. Let d = -8787/8 + k. Are 2 and d unequal?
True
Suppose 0 = -3*b + 8*b - 15. Let u be ((-16)/(-3))/(-8) - 1/b. Is u less than or equal to 0?
True
Let t be (-6)/(-36)*7 + (-5)/10. Let f = 0.235 + -0.18. Which is smaller: t or f?
f
Let u(g) = 2*g - 3. Let l be u(4). Suppose -l*n + 4*z + 61 = 0, 30 = n + n + 4*z. Let r be 4 + 60/50*(-20)/(-3). Is r less than n?
True
Suppose 34*u + 138 = -5*