
True
Let u = 0.06 - 4.06. Let q = -0.45 - -0.55. Is u < q?
True
Let o be (10 - 0) + 0 + 0. Let i be (-4)/o + 12/5. Suppose -1 = 3*r + p + 1, 2*r = -p - i. Is -1 greater than or equal to r?
False
Let m = 4.7 - -4.2. Let y = -9.12 - -0.12. Let n = m + y. Is -4 at most as big as n?
True
Let z = -84 + 81.95. Let f = 0.1 - 0.05. Let l = z + f. Is l at least 0?
False
Let w = -35 - -31. Which is bigger: w or -8/3?
-8/3
Let s be ((-5)/(-15))/((-12)/(-9)). Is s smaller than 0?
False
Let u = 691/24 + -145/6. Is u less than 6?
True
Let s(c) = 3*c**2. Let u be s(1). Let d be 2/4 + (-170)/324. Let q = 401/162 - d. Is q equal to u?
False
Let i be (-3)/(-7)*(17 + -16). Suppose 0*y + 8 = -4*y. Let a = 2 + y. Is a at least as big as i?
False
Let r = 0.75 - 17.75. Which is smaller: 4 or r?
r
Let g be 126/104 - (-9)/(-12). Is 1 greater than g?
True
Let x(h) = -h**3 + 4*h**2 - 4*h + 2. Let t be x(2). Suppose 7 - t = -k. Is k at most -1/3?
True
Let d = -3/26 + 61/78. Let k = 94 + -373/4. Is d smaller than k?
True
Let h(g) = -g**2 - 20*g - 21. Let w be h(-19). Does -0.1 = w?
False
Let p(s) = -4*s + 1. Let z(h) = -h + 2. Let v be z(-2). Let o(b) = -5*b. Let a(i) = v*p(i) - 3*o(i). Let q be a(5). Which is greater: q or 1/3?
1/3
Let c = 296 + -5030/17. Is 1 smaller than c?
False
Suppose 64*l - 62*l = 0. Is -13 at least l?
False
Let t be 1/(-2) + 35/14. Is 6/11 at least t?
False
Let n(m) = -m + 9. Let o be n(9). Suppose 0 = -o*k - k - 1. Are k and -2/13 unequal?
True
Let h = 2.2 - 0.4. Let a = h + -1.8. Does -3 = a?
False
Let h be (-15)/18*3/(-10). Let b = 0.3 + 2.7. Let l = 5 - b. Is l less than h?
False
Let w = -0.21 - 2.79. Which is smaller: -0.2 or w?
w
Let b = 75.9 - 76. Is b < 2?
True
Let l be (1 + -1)/(2 - 1). Suppose l = -6*q + 4*q. Is q at most as big as 2?
True
Let z = -8238/13 + 634. Which is bigger: 0 or z?
z
Suppose -942*v + 28 = -938*v. Let y(o) = -2*o - 3. Let i be y(-5). Is i >= v?
True
Let w(s) = s**3 - 5*s**2 + 9. Let k be w(4). Which is smaller: -38/5 or k?
-38/5
Suppose 5*c = 22 - 62. Let x be (-14)/11 + c/(-8). Suppose -2*w + 2*k = 6, 12 = 4*w + k + k. Which is greater: w or x?
w
Suppose 2*q - 41 = -3. Is 19 not equal to q?
False
Let l = 3 - 8. Let j = 2 + l. Is j at most as big as 2/5?
True
Let x = 28.3 - 29. Does -0.3 = x?
False
Let f be (2/6)/(2/4). Let y(k) be the first derivative of -k**2/2 - 2*k + 2. Let j be y(-2). Is j at most f?
True
Let j = 7 - 6. Is j <= -11?
False
Let q = 16 + -5. Is -5/2 not equal to q?
True
Let k = -93 + 93.02. Let q = 0.95 - -0.05. Which is greater: q or k?
q
Let j be -4 + (2 - -1)/1. Let d be ((-5)/2 - -3) + j. Is 0.1 < d?
False
Let y = 35.6 + -33. Let o = y - 3. Which is bigger: -1 or o?
o
Suppose 4*h - k = -4*k, 3*k = 2*h. Suppose 3*i - 9 - 27 = h. Suppose 4*a + i = 3*w, 14 + 1 = 3*w - 5*a. Is 3/4 equal to w?
False
Let d(f) = -f**2 + 16*f - 12. Let r be d(15). Which is bigger: r or -21?
r
Let o be 10/(-15) + (-5)/(-3). Is 16/7 at least as big as o?
True
Let u = -36 - -51. Let z be ((8/u)/2)/(-1). Let a = 3/5 + z. Which is greater: a or 0?
a
Let a = 1 - -4. Suppose 0 = a*r + 1 - 26. Which is greater: r or 1/3?
r
Let z = 3 - 0. Let q = 4 - 0. Let l = q - z. Is l less than 3?
True
Suppose -10 = 2*p, 3*o - 40 + 12 = 5*p. Let l(m) = -m + 1. Let z be l(1). Is z not equal to o?
True
Let t be 30/(-4)*(-4)/5. Let u = 15 - 10. Which is smaller: u or t?
u
Let v be (-2)/2 + (30 - -1). Let z be (6/(-21))/(v/14). Let r be 0 + (2 + 0 - 3). Are z and r unequal?
True
Let i(m) = -m**3 + 4*m**2 - m - 3. Let p be i(3). Suppose 12 = -2*a + 2*g, 5*a - p*g = -26 + 6. Let k = -3 + 1. Which is smaller: a or k?
k
Let y = 1.6 + -2.6. Suppose 0 = -5*f - 0*f. Which is smaller: y or f?
y
Suppose 4*o + 2*h = -57 - 65, 5*o + 3*h = -155. Let p be 14/(-49) - (-13)/o. Is -1 smaller than p?
True
Let p be (28/(-147))/(13/(-51)). Let w = -6/13 + p. Do -0.4 and w have the same value?
False
Let z be 144/(-16)*(-2)/87. Which is smaller: z or 0?
0
Let o be 245 + 1 - (0 - -1). Let b = o + -2207/9. Let h be 0/((2 + -1)/(-1)). Which is smaller: h or b?
b
Let p = 31.1 + -31. Which is smaller: -0.13 or p?
-0.13
Let g = 0.17 - -0.03. Let l = -0.3 + 0.1. Which is bigger: l or g?
g
Suppose -k = -5*m - 1, 5*k - 1 = 5*m + 4. Suppose -y - 4*y = 0. Let d = 0 - y. Are k and d unequal?
True
Suppose w + 2*w = 3. Let x = w - -5. Let j be x/(-8) + 1/(-4). Is -1 less than j?
False
Let s = -3 - -16. Which is bigger: s or 18?
18
Let p = 243/95 + -12/5. Which is smaller: 0 or p?
0
Let b be 1 - 5/3 - -1. Let v be 57/(-11) - 2/(-11). Let k be 0/(5/(v/3)). Which is greater: k or b?
b
Suppose -5*n + 0*t = -3*t - 60, -3*n - 3*t + 36 = 0. Let f be ((-8)/12)/(2/n). Which is greater: f or -5/2?
-5/2
Let y = 3 + -13. Which is smaller: y or -11?
-11
Let g = -42 + 6. Let v be (-4)/(-18) - 1/g. Which is smaller: -2 or v?
-2
Suppose d = -2*w - 3*d + 24, 0 = w - 2*d + 4. Suppose -2*y = 2*a + 6, -w*a - 16 = 5*y - 4. Is a != 0.3?
True
Suppose -4*b - 17 = 3*n, 2*n + 0*b + 8 = -2*b. Let w be -2 - -5 - (1 + 0). Which is smaller: w or n?
n
Suppose -2*m - 2*m = 24. Let z = m - -2. Suppose -13 + 1 = 3*b. Are b and z nonequal?
False
Let x(w) = w**2 + 9*w + 10. Suppose q = 5*y + 17, -y + 1 = 6. Let t be x(q). Suppose -t*u = u + 18. Which is smaller: u or -5?
u
Suppose 3*k = 4*c + 4, -4*k + 6*k - 4*c + 4 = 0. Let g = k + -9. Is g smaller than -4/3?
False
Let m be (-48)/16 - (-4 + 1). Is m greater than or equal to -2/13?
True
Suppose -4*c = 5*y + 20, -y - 2*c - 10 = -2*y. Suppose a + y*a = 2. Which is smaller: a or 3?
a
Let o be (-24)/(-16)*(-4)/3. Let r be 450/(-1330) - o/7. Is r >= -1?
True
Let k(x) = -86*x**3 + 11 + 0*x**2 + 13*x + 13*x**2 + 87*x**3. Let l be k(-12). Is l less than or equal to -2?
False
Let g be 48/9 + (-1)/3. Is 8 at least as big as g?
True
Let i(c) = -3*c**2 + 2*c + 2. Let u(r) = 7*r**2 - 4*r - 5. Let w(o) = 5*i(o) + 2*u(o). Let x be w(3). Suppose 2*l + 0 = -8. Do l and x have different values?
True
Let f be 3/6*1*0. Let v be 2/4 + 51/18. Let m = v + -4. Which is smaller: m or f?
m
Suppose -2*k = 4*w + 20, -k + 6*k + 3*w + 22 = 0. Let u be 1*-1*(k - -3). Which is bigger: u or -3?
u
Suppose -4*h = -6*h - 2*f, -4*h - 14 = -3*f. Let j = -4 - -7. Is j at least as big as h?
True
Suppose 20 = 5*m - 0. Suppose 0 = -t - 5*o + 5, -m*t - 3*o + 20 = -8*o. Suppose -l = r - 2, t*r - 10 = 4*l + 9. Is r bigger than 1/2?
True
Let r = 1.3 + -0.4. Which is bigger: 2/5 or r?
r
Let w be (7 - 2965/425)/(1/10). Which is bigger: w or 0?
w
Let m = 93 - 96. Which is greater: m or -1/5?
-1/5
Let z = 1 - 2. Let d = 10355/3 + -3418. Let u = d - 34. Is u >= z?
True
Let u(k) = -k - 5. Let p be u(-4). Let n = -2 - -2. Is p smaller than n?
True
Let j(r) = 6*r. Let i be j(1). Suppose -7*p + i = -5*p. Is 3 >= p?
True
Let g = -30 + 31. Let x be (-8 - -6)*2/(-4). Are g and x equal?
True
Suppose 42 = -17*b - 9. Do 31 and b have the same value?
False
Suppose -3*w = 6*x - x - 17, -19 = -w + 5*x. Is w bigger than 5?
True
Let b be 1 - (12/1 - (-1 - -3)). Is -10 at least as big as b?
False
Let m be (-2)/((8/(-18))/2). Let x(w) = -w**3 + 8*w**2 + 8*w + 10. Let t be x(m). Let r = 138/7 - 20. Which is bigger: r or t?
t
Suppose 5*h + 17 = 2. Let f be (h/(-10))/((-90)/(-50)). Which is smaller: f or 0?
0
Let c(v) be the third derivative of -v**6/120 + v**5/12 + 5*v**4/24 + v**3/2 - 8*v**2. Let r be c(6). Is r less than or equal to -18/7?
True
Let k = -1 + 5. Let h = -4 + k. Let g = 0.7 - 0.5. Which is bigger: g or h?
g
Let c = -470 - -202. Let h be c/88 + 0 - -3. Which is smaller: -1 or h?
-1
Let b = 0.6 + -4.6. Let u = b - -4.2. Is u greater than or equal to 0.1?
True
Suppose -c = c + 4. Let q = -8 - -12. Let o be (q/(-8))/((-1)/c). Which is bigger: o or -1/3?
-1/3
Let j = -7 + 6. Is 3/7 less than j?
False
Let g = -0.19 - 1.81. Is g greater than or equal to 0.07?
False
Let g = 142 - 712/5. Let p = -2 - -5. Is g at most as big as p?
True
Let q = -12 + 17. Let v be ((-2)/7)/((-9)/7). Is q at most v?
False
Suppose -2*w - 6 = -4*a + 7*a, 5*w + 5*a = -10. Which is smaller: -5/6 or w?
-5/6
Let d be (-14)/(-21) - 2/(-3). Let h = 1 - 1. Let p be (-1 + h)*(-5 + 4). Is d <= p?
False
Let u = 8 - 6. Suppose 0 = h - u*h - 2. Which is bigger: h or -3?
h
Let r(y) = y**2 - 8*y + 9. Let z be r(7). Let f be 3 + (4 + -6 - z). Which is sma