 Let g(v) = -v - 6. Let h be g(r). Which is greater: h or -13?
h
Suppose 0 = 79*s - 74*s - 305. Is 61 >= s?
True
Let g be (220/8)/(-5)*-1. Which is smaller: 0 or g?
0
Let f(h) = h**3 - 10*h**2 + 3. Let u be f(10). Let x(z) = -z**2 + 4. Let g be x(u). Is -3 at most as big as g?
False
Let l = -1 + 1. Let b(y) = -y**2 + y + 1. Let d be b(2). Let z be d - (-2 - 0/2). Is z greater than or equal to l?
True
Let r = 108925957/65 + -1675824. Let z = 201/5 + r. Are 0 and z nonequal?
True
Let t(y) = -2*y - 8. Let n be t(-6). Suppose -3*j + 3*d = -12, -n*j = -2*j + 4*d - 20. Which is smaller: 7 or j?
j
Let v be (2 - 1)*(1 + -1). Let n = -14 + 15. Suppose 4*b + q + 0 + n = 0, b + 2*q + 2 = 0. Are b and v equal?
True
Suppose 2*m - 20 = -3*m. Suppose -10 = -23*g + 21*g. Is m less than or equal to g?
True
Let s(o) be the first derivative of o**2/2 + 1. Let d be s(-1). Let l be 1*(d + (-3)/(-2)). Do 2 and l have the same value?
False
Suppose -4*w = 9*p - 4*p - 40, -2*w - 2*p + 20 = 0. Let o = w - 9. Let v be (-10 - -8) + 3*o. Is v less than 7?
True
Let j(l) = -l**2 + 6*l + 6. Suppose 3*c - 18 = 3. Let g be j(c). Suppose -2*w - 3*p = 11, -3*p - 4 = -2*w - p. Is w smaller than g?
False
Suppose 20 = -2*i + f, -3*i + i = -5*f + 36. Let h be (-20)/i - (-1)/2. Which is smaller: 5 or h?
h
Let l = 167/2 + -82. Is 1/2 at most as big as l?
True
Let q = 9 - 8.9. Let m = 0 + 1. Let k = m + 0. Which is smaller: q or k?
q
Suppose -2 - 3 = -5*h. Is -1/9 less than h?
True
Let g(i) = -i**3 - 14*i**2 + 18*i - 9. Let l be g(-15). Is l less than -53?
True
Suppose 5 - 14 = -3*n. Suppose 4*g - 11 = -n*s - 2, 3*g + 2*s - 6 = 0. Which is greater: 3/25 or g?
3/25
Let x = 8 - 7. Which is smaller: 7/4 or x?
x
Let o(z) = z**3 + 5*z**2 + 7*z + 8. Let k be o(-4). Suppose -1 = t + 2. Is t at most as big as k?
False
Let y = -8 + 14. Let i(u) = u**2 - 7*u + 7. Let a be i(y). Let f = 63 - 253/4. Is f not equal to a?
True
Let p = -53 + 69. Which is smaller: 31/2 or p?
31/2
Suppose -5*u - 15 = -4*k, -3*k - 3*u - 11 = -2. Let o = -29 - -21. Do k and o have different values?
True
Let c = -13 + 38/3. Let i be -5 + (-219)/(-45) - 3/(-9). Is c smaller than i?
True
Suppose 2*n + 0 = 4. Let i be n/7 - 378/(-49). Which is smaller: i or 9?
i
Suppose 0 = 8*m + 20 + 20. Are -8 and m equal?
False
Let s be 2 + 1749/(-1530) + -1. Let m = 2/85 - s. Is 1 smaller than m?
False
Suppose -385 = 5*z - 10. Let a be z/12 - 2*-1. Which is greater: a or -3?
-3
Let c be 39/35*3/(-15). Let p = -2/25 - c. Suppose -2*w + 7 + 4 = y, 0 = 4*w - 20. Is y at most as big as p?
False
Suppose 3 + 5 = -2*i - 3*h, -3*i - 3*h = 9. Let c be ((-12)/(-27))/(-1) + 0. Is i at most c?
True
Let q(l) = -l**3 + 6*l**2 - 6*l + 1. Let i be q(4). Let d be 24/i*3/(-6). Let m = -3 - -2. Is m less than or equal to d?
False
Let c be 9/(-15) - (1 + -2). Let f = 0.2 + -0.1. Let l = 0 - f. Is l bigger than c?
False
Let c = 3.8 - 4. Is -4/9 >= c?
False
Let n = -39 - -119/3. Suppose w + 2*w - 6 = 0. Which is bigger: w or n?
w
Let u be (-21)/(-4) + (-7)/28. Which is smaller: u or 3?
3
Let y = -22 + 23. Suppose h - 5 = -3. Which is greater: y or h?
h
Suppose -3*g - 19 = l, -2*l = 2*l + g + 21. Let r be (3/6 - 2)*l. Let h = 2 - r. Which is smaller: -3 or h?
h
Suppose -q + 39 = 4*d - 2*q, 0 = 4*d - 4*q - 24. Let p(l) = -l**2 + 11*l + 2. Let r be p(d). Is r greater than or equal to 1?
True
Let q = -2492/1683 - -25/17. Do -1 and q have different values?
True
Suppose -7 = x - 0*w - w, 5*w = -4*x - 37. Let v(n) = -n**3 + 5*n**2 - 2*n + 3. Let r be v(5). Which is smaller: x or r?
x
Let g = -4213/2264 + -4/283. Does -2 = g?
False
Let p = 46 - 93. Does p = 1/2?
False
Suppose 0 = -6*g + 12*g + 30. Which is smaller: 2 or g?
g
Let b = 4 + -5. Let p = -0.47 - -0.27. Which is smaller: b or p?
b
Let j = -6.1 + 6. Which is smaller: -0.3 or j?
-0.3
Let f = 23 + -6. Let l = f - 12. Let u = l - 5.1. Which is greater: u or 2?
2
Let l = -19/108 - 2/27. Let i = 2.1 + -1.3. Let z = -2.2 - i. Which is smaller: z or l?
z
Let u(b) = -3*b**2 - b + 1. Let s be u(1). Let a(l) be the first derivative of -l**3/3 + l**2 - 4*l + 7. Let j be a(0). Which is bigger: s or j?
s
Suppose 4*k - 4 = 0, 2*a = 5*a + k - 13. Let m = 5 - a. Let h = -1 + m. Is h at least as big as -1?
True
Let d = 71 - 107. Let a be 26/d - (-4)/18. Let g be (-2)/(-3)*(2 + -5). Which is smaller: a or g?
g
Let t(z) = -z**2 + 5*z. Let l be t(4). Suppose 0 = -3*r - 3*x - 0*x + 15, -x - 20 = -4*r. Suppose 0 = -5*g, r*h = 3*g - 0*g + 15. Which is smaller: l or h?
h
Suppose -3*m = -5*q - 27, -4*q = -4*m - 2*q + 22. Suppose 2*v = m*v. Let l(k) = k**3 - k - 1. Let o be l(v). Which is smaller: -2/9 or o?
o
Let b be (4/60 - 0)*2. Is 1 > b?
True
Let w = 0 + -8. Let s be ((-2)/(-3))/(6/(-72)). Is s > w?
False
Let c = 0.12 + -0.12. Let y = 0.2 + -0.3. Let l = 0 + y. Which is smaller: c or l?
l
Suppose -3*w - 2 = -4*w. Suppose 2*t = 4*h, -7 = -t + w*t + 5*h. Is -3 > t?
False
Let v be 2 - (5 - -1 - 1). Let n be (2/v)/(51/9). Is n smaller than 1?
True
Let u(c) = -c + 6. Let t be u(3). Suppose 4*h + 3*j + 5 = -0*h, -9 = 3*h - 3*j. Let o = h + 5. Is t at most as big as o?
True
Let t be 12*20/18 - (-2)/3. Is 15 at most t?
False
Let v be 9/6 - 2/4. Suppose 0 = 3*o + 4 - v, -t + 11 = -2*o. Let z be (-2)/8*t + 2. Do 0 and z have the same value?
False
Suppose -2 = t - 5. Suppose -2*l = -t*l - 1. Which is bigger: -6/11 or l?
-6/11
Let q = -15 + 27. Suppose q - 2 = 5*n. Are 2 and n unequal?
False
Suppose 0*i + 24 = -3*i. Suppose 0 = 3*k - 2*k - 11. Let p = i + k. Is 3 less than p?
False
Suppose x = 3*t + 3, 3*x - 16 = 2*t + 14. Suppose 3*v = -5*r + 1, -v - r = -0*r - 3. Suppose 0 = 3*d + x, -v = -j - 3*d - 19. Which is bigger: j or -5/7?
j
Let g be 3 + (-7)/((-14)/(-8)). Which is bigger: -9/5 or g?
g
Let z be (6/(-10))/((-3)/15). Suppose -3*g = -s + 9, 4*g + 9 = 1. Is s at most as big as z?
True
Let v be (-1 + (-14)/(-6))/(836/(-114)). Let r(l) = -l**2 + 5*l - 1. Let k be r(5). Which is bigger: k or v?
v
Let t be 2 - (-12)/(0 - -4). Let l be (-12)/15 - (2 - t). Which is greater: 1 or l?
l
Let c = 237/17 + -14. Which is greater: 0 or c?
0
Let m(i) = 6*i - 12. Let d(g) = -3*g. Let s be d(3). Let b be m(s). Let t = b - -459/7. Is t greater than 1?
False
Let b = -1406741521/755 - -1863236. Let y = -2/755 - b. Which is bigger: y or -3?
y
Let n = 3 + -6. Which is greater: -7 or n?
n
Let u = 119 + -129. Is -10 not equal to u?
False
Let j = 0.02 - 7.02. Let m = j + 7. Is 0 bigger than m?
False
Let s(d) be the third derivative of -d**4/12 + 2*d**3/3 - 2*d**2. Let v be s(7). Let y be 4/10 - (-24)/v. Is -2 >= y?
True
Let l = -42 + 60. Is l greater than 18?
False
Suppose 2*n = -3*q + 14, q + n = 2 + 4. Suppose q*r = -35 - 7. Which is smaller: r or -20?
r
Let t(i) = i**3 - 7*i**2 + 6*i + 2. Let p be t(6). Let o be (-2)/(-2)*2/1. Is p >= o?
True
Suppose -s = 4*s + i - 197, -i - 115 = -3*s. Suppose -4*q = -2*w - 0*q - 8, 4*w + 3*q - s = 0. Is w at most as big as 5?
False
Let j = -0.9 + 1. Let o be (-6)/(-4)*8/20. Which is bigger: j or o?
o
Suppose -20 = 4*v - 0*v. Let q = v + -1. Let l be q/(-9) - 2 - -1. Is l at most 1?
True
Suppose 12 + 4 = 4*s - 5*m, 3*s - 5*m - 17 = 0. Is -1 bigger than s?
False
Let m be -1 + 4/(-4)*1. Let o be 1*m*(-4)/(-8). Are o and -1/13 equal?
False
Let r be (6/9)/(16/14). Do 2 and r have the same value?
False
Let v(u) = u - 1. Let p be v(-3). Let j be 32/(-504) + p/(-14). Let i(y) = -y**2 + 4*y - 3. Let m be i(3). Which is greater: m or j?
j
Let j be (-6)/21 + 2/7. Let i = j + 24. Suppose -5*h - 4 - 21 = 0, -i = -2*k + 4*h. Which is smaller: k or 3?
k
Let a be (3/6)/((-3)/4). Suppose -k = 4*k + 5. Let z = 0 + k. Is z at least as big as a?
False
Let v(d) = -d**2 + 2*d + 2. Let b be v(4). Let m = -7 - b. Which is smaller: m or 1/3?
m
Let s = -7 - -6. Is s at least 2/7?
False
Let l(i) = 9*i**2 + 3*i. Let o be l(-2). Let y = -59/2 + o. Which is greater: y or 0?
y
Let p = 5 + -4.6. Is 2 at least as big as p?
True
Let h be (-6)/(-204)*(0 - (-12)/(-9)). Are h and -0.3 equal?
False
Let k = 3.2 - -0.8. Let v = 0.5 - 0.3. Let r = v - 0.2. Which is greater: k or r?
k
Suppose 0 = -3*v - 2*r, -5*r + 3*r = 4*v. Suppose -3*w + 8 = -7. Suppose v = -w*a + a. Do a and -1/4 have different values?
True
Let q be 3/9 - 52/(-6). Suppose 6*v = 5*v + q.