?
False
Let g(m) = -2*m - 4. Let l be g(-2). Suppose l = -4*r - 12 - 12. Which is bigger: r or -1?
-1
Let v(r) = 3*r**3 - 3*r**2 + 2. Let p be v(2). Which is smaller: 17 or p?
p
Let o be 7/(-49) - 15/(-7). Is o bigger than 7/5?
True
Let j be ((-6)/9)/((-1)/(-39)). Let w = -3241/3 - -1055. Let m = w - j. Which is smaller: m or 2?
m
Suppose 0 = -5*b - l - 79 + 16, b + l = -11. Is b at least -10?
False
Let f = -3 - -11. Suppose -4*n - f = -4*g + 4, 0 = 5*n + 5*g - 5. Is n less than or equal to -3/11?
True
Let q be 3 + -4 - -25 - -3. Which is bigger: 26 or q?
q
Let v(g) = g**2 + 4*g - 3. Let m be v(0). Is -5/2 at most as big as m?
False
Let x = 549/4 - 7257/52. Which is smaller: -3 or x?
-3
Let q = -50 + 39. Is 0.2 greater than q?
True
Let z = -5 - -9. Suppose -2*m + 4 = -z*m. Let g(i) = -i**3 - 2*i**2 + 4*i. Let k be g(-3). Which is smaller: k or m?
k
Let t(b) = -b + 5. Let o be t(5). Suppose 2*j + 5*n = 8, 2*j = -o*j - 3*n + 8. Suppose j*a + 4 = -8. Which is smaller: -4 or a?
-4
Let x = 8 + -7. Suppose 0 = -5*w + x - 6. Let a be 4/22 + 0/1. Is a less than w?
False
Suppose -2*z + 0*z + 4*c = -2, 0 = -c - 1. Suppose 3*u = -m - 20, 3*u + 47 = -4*m + 2*u. Is m smaller than z?
True
Let k = -1 + 2. Let y = -9 + 5. Let h be y/14 - 18/(-14). Is h at most k?
True
Suppose 0 = c - 0*c - 3. Let o be 2*c/(-18)*-9. Suppose 0 = -0*m + 2*m - 6. Is o > m?
False
Let k = 156.6 + -157. Is k > 0.7?
False
Suppose -3*j = 4*c + 25, 0 = j - 3*j + c - 13. Do -90/13 and j have the same value?
False
Suppose 16*u - 14*u = 0. Which is smaller: u or 3/40?
u
Let d(t) = 7*t**2 - 4*t**2 + 4*t**2 - 5*t + 4*t**3 - 5*t**3. Let k be d(6). Which is greater: k or 5?
k
Suppose 3 = -3*v + i, 0 = 5*v - 7*i + 2*i - 5. Is 3 not equal to v?
True
Let q be (3 - 3)*(-1)/(-2). Let v be q*((-3)/1)/6. Suppose v = 4*l - 3 - 1. Does -1/3 = l?
False
Let d(l) = 3*l + 11. Let u be (2 + 5/(-2))*10. Let n be d(u). Is -11/4 smaller than n?
False
Let c = 131/35 - 22/7. Let r be -2 + (-1 - 38/(-14)). Is c < r?
False
Let m be -2 + 4 + (-26)/14. Suppose -2*w + 5*w - 20*w = 0. Is w <= m?
True
Let o = 2.1 - 2. Let q be (8/(-24))/((-2)/(-30)). Which is greater: o or q?
o
Suppose 3*v + 0 = 18. Which is smaller: 7 or v?
v
Let w = -2 + -10. Let f = -35/3 - w. Which is bigger: f or 2/9?
f
Let z be ((-35)/(-14))/((-2)/(-4)). Suppose -28 = -4*i - z*y + 21, 4*y - 44 = -4*i. Suppose 3*a = 5*a - i. Is 3 at least a?
True
Let w(d) = 2*d + 17. Let m be w(-6). Let b = 6 + -4. Are b and m equal?
False
Suppose -32 = -5*r + 3*r. Let n be r/2 - (0 + 0). Suppose 0 = -3*v + v - n. Is v not equal to -4?
False
Let p = 363 + -10525/29. Is p greater than or equal to -1?
True
Let c = -4/109 + 2733/218. Which is greater: 14 or c?
14
Let j = 20 - 25. Is 0 at most j?
False
Suppose 0 = -0*q - q - 3. Suppose 12 + 8 = 5*s. Suppose s = -2*o - o + 4*k, -4*k = -2*o. Which is greater: o or q?
q
Let q = -6 - 8. Let h = 10 + q. Is -3 less than or equal to h?
False
Suppose -3*y + 30 = 4*t, 5*t = -0*y + 2*y + 26. Let o be (4/(-72))/(t/8). Which is bigger: o or -1?
o
Let n = -37 - -411/11. Is n < 0?
False
Let v(m) = -m**3 - m - 2. Let f be v(0). Let i be (0 - f)/((-2)/(-1)). Is 1 > i?
False
Let z(n) = -n + 9. Let q(s) = s - 9. Let m(h) = -7*q(h) - 6*z(h). Let a be m(7). Suppose -a = -0*i + 2*i. Is i smaller than -1?
False
Let r = -0.8 - 0.2. Let q = -29 - -31. Is q at most r?
False
Let q = -6.7 + -1.3. Is -1 less than q?
False
Let g(m) = -2*m - 7. Let p be g(-6). Suppose -n = p - 4. Suppose -3*i = 3*i. Is i at most n?
False
Suppose 3*h - 3*a + 9 = -0*h, -h - 2*a = 0. Let b = h - -3. Let x = 572/5 + -114. Does x = b?
False
Let i(z) = z + 5. Let q be i(-3). Suppose -2*m - q = -0. Suppose -4*o - 16 = 4*j, 4*o - 3*j + 6 = -2*j. Which is greater: o or m?
m
Suppose -2*m = m + 4*s - 11, 2*m + 3*s - 8 = 0. Let x be 4/14 + (-30)/(-42). Is x at most as big as m?
True
Let c = 6.9 + -7.1. Suppose 3 = 5*s + 8. Is s < c?
True
Let m = -19 + 13. Let n be (-3 - m) + (2 - -2). Is n bigger than 7?
False
Suppose 0 = -2*n + 4*t + 376, -n - t - t + 204 = 0. Let j be 0 - (-7)/(n/8). Let g(i) = -i**3 + 3*i**2 + 3*i + 5. Let p be g(4). Which is smaller: p or j?
j
Let i(a) = a + 2. Let n(q) = -q**2 + 5*q + 3. Let p be n(6). Let s be i(p). Let u = 0.1 + -0.1. Which is greater: s or u?
u
Let d = 95 - 95. Is -2/117 at most d?
True
Let z(q) = 2*q**2 + 7*q - 1. Let k be z(-5). Suppose 5*p + 3*v = k, 2*p + 5*v + 0*v = 17. Which is bigger: p or -1/6?
p
Suppose 2*x + x - 6 = 0. Let k be (-16)/10*(-5)/x. Suppose 0 = -z - 2*w + 13, 29 = -z + 4*z + k*w. Which is smaller: z or 1?
1
Let w = -281/1968 - -5/41. Which is smaller: 0 or w?
w
Suppose -96 = 3*o + 4*g, 0 = 2*o - g - 3*g + 44. Is o smaller than -2?
True
Suppose -4 = -2*g - 0*n - n, -2*n + 2 = 2*g. Suppose g*w + 7 = -5. Which is greater: -2 or w?
-2
Let a(m) = -m**3 + 5*m**2 + 6*m. Let t be a(6). Let n = -227/68 + 78/17. Which is greater: n or t?
n
Suppose -4*d + 5*o = -967, 3*o - 1181 = -5*d - 0*o. Suppose 2*b = b - 3*y + d, -2*y - 681 = -3*b. Let q = b + -2063/9. Do q and -1 have different values?
True
Let v = 28 - 366/13. Which is greater: 1 or v?
1
Let x be -3 + (-6*7)/2. Let c be -3 - (-7)/((-49)/x). Is c < -1?
False
Let d = -41 + 39. Is 10 at most d?
False
Let l = -75679/160 + 473. Which is bigger: l or -1?
l
Let s = 111 + -108. Which is bigger: s or 17/6?
s
Let v(y) = y**3 - 7*y**2 + 7*y - 8. Let p be v(6). Let i = 3 + p. Let j(z) = z**2 + 8*z + 7. Let n be j(-7). Are n and i non-equal?
True
Suppose 0 = l - 6*l + 5. Let q = -2 - l. Suppose -2*k = -3 + 9. Is k != q?
False
Suppose -6*k + k - 3*w + 25 = 0, 0 = -k + 5*w - 23. Suppose 0 = 2*o - k*b - 12, 0 = -o + 4*o + b + 2. Which is smaller: 2/3 or o?
2/3
Let j be 32/(-176) + 26/22. Which is smaller: j or -3/50?
-3/50
Let t = -6 + -15. Let f be (-1)/t + 4/(-12). Let h be 4/(-6) + (-8)/(-9). Is h less than f?
False
Let o be 8/(-108)*21*3/(-2). Which is bigger: -2 or o?
o
Let r be 4 + (0 - (-394)/(-99)). Is 0 less than r?
True
Let k(i) = -i**2 + 5*i + 8. Let u be k(6). Let w be (4/(-8))/(u/12). Is -4 bigger than w?
False
Let f = -3 + -3. Let l be (-1)/f + 5/30. Is -1 >= l?
False
Let i = 16 - 11. Let d(o) = -o**3 - 5*o**2 + 0 + 2*o - o + i. Let x be d(-5). Does x = -1/2?
False
Let v = -2 - -2. Let b = -66 + 267/4. Which is smaller: v or b?
v
Let n be 2 + -5 - (-188)/64. Are n and -1 unequal?
True
Let w = -4 - 1. Let j = 5.03 + w. Let f = 0.17 + j. Do f and 0.2 have the same value?
True
Suppose -w + 19 = -4*a, -2*w + 7 = 1. Suppose 0 = l + 4 + 1. Is a >= l?
True
Let y = 9 + -8. Suppose 0 = 5*z - a - 1 - 0, -a = -4*z. Is z >= y?
True
Let g = -5.07 + -0.73. Let c = -1.2 + g. Which is greater: -1/2 or c?
-1/2
Suppose p + 3*p - 68 = 0. Suppose p = -5*t + 4*b, 4*t - b = -5*b + 8. Suppose x + 2 = -x. Is x less than t?
False
Suppose 4*s - 5*n = 33, 16 = 3*s - n - n. Suppose 5*o - 27 = -s*v, 2*v + o = -o + 12. Let p = 41 + -289/7. Which is bigger: p or v?
v
Let o be 8/14*(-15)/32. Let x = o - -1/56. Which is bigger: -1 or x?
x
Let v = 382 + -382. Let u be (1 - 1) + 4/18. Are v and u nonequal?
True
Let p = 31 + -31. Let c(u) = -u**2 - 7*u - 5. Let x be c(-6). Which is bigger: x or p?
x
Suppose -4*b + 24 = -5*u, 21 = 3*b + 2*b - 4*u. Suppose 4 - 5 = -v, -2*c + v - 97 = 0. Let h = -241/5 - c. Is b greater than h?
True
Let n = -2 + 2.2. Let a = -0.8 - n. Let j be ((-3)/(-10))/((-12)/(-10)). Do a and j have the same value?
False
Let d be (-14)/35 - 6/10. Let y be 7 - 0/(0 - 2). Suppose 0 = -3*r + 4*a - 16, -20 = 4*r - y*r - 5*a. Do r and d have the same value?
False
Let v(w) = -4*w + 6. Let n be v(0). Are 4 and n equal?
False
Let u = 68/3 - 23. Are -1/4 and u nonequal?
True
Let k = 118 - 475/4. Let d be (-9)/7 + (-6)/(-21). Which is smaller: d or k?
d
Let c be 4 + (4 - 3 - -1). Let o be ((-14)/c)/(1/3). Is o at least -7?
True
Let n = 2 + -12/5. Which is smaller: -4 or n?
-4
Let r = 3 + -9. Let w be (-1)/2*(10 - 1). Which is smaller: w or r?
r
Suppose 3*u + 5 + 0 = -4*s, -4*s = 4*u + 8. Suppose 3*i - 1 - 5 = 0. Suppose 0 = -t + n - 0*n - 1, 4 = -i*t + 3*n. Do t and s have different values?
False
Let u be -3 + 1/(-17)*-54. Which is smaller: u or 1?
u
Let k = -16 + 19. Suppose 0 = k*l + 3*a + 3, -l - 5*a - 15 = -2. Which is greater: 3 or l?
3
Let m = -1 + 2. Let s = -0.9 + m. Let z be 4*-2*(