 be (-4)/(-18) + (-28)/45. Suppose -2*q + 9 = 1. Suppose 7*o - q*o = 0. Is o not equal to a?
True
Let n be (9/6)/(-3 + (-93)/(-32)). Let v be (-110)/7 + (-2)/7. Is v greater than or equal to n?
True
Suppose z = -3 + 8. Let c be 2/(-4)*4/z. Is c equal to 0?
False
Let z be (8*(-2)/(-4))/2. Let d be z/10*(-3 + 8). Is 1 less than d?
False
Let b be (-8)/60*10/6. Let v(a) be the first derivative of a**4/4 - a**3/3 - 2*a + 1. Let z be v(2). Are z and b nonequal?
True
Let f = 6 - 10. Let r = 3.9 + f. Let g = -19/5 + 119/30. Which is smaller: r or g?
r
Suppose -9*d - 12*d = 42. Let o = -36.5 - -34.53. Let v = -0.03 + o. Is d not equal to v?
False
Let p be (-2)/((-98)/32 + 3). Suppose -4*y + 0 = -p. Is y > 8?
False
Suppose -2*c = -0*c - 10. Suppose -c*r = -8*r. Is r < -5/6?
False
Let v be (-7)/(-4)*(-4)/(-5). Let a(n) = n**2 + 16*n + 29. Let b be a(-14). Is v at least as big as b?
True
Let k be (-2)/(-8) + (-2)/(736/156). Is 1 < k?
False
Suppose 0 = -b - 2*b + 45. Let c be (16/(-20))/((-6)/b). Is c equal to 2?
True
Suppose -7*v = v - 328. Do v and 41 have the same value?
True
Let t(a) = a**2 + 7*a + 10. Let f be t(-7). Let x be 32/14 + f/(-35). Are 0 and x nonequal?
True
Let h be 14/(-8) - (-8)/4. Does -1 = h?
False
Suppose i - 3*i = o - 3, i = -3*o + 9. Let t be (-2)/(-4)*(-11 + 9). Which is bigger: t or i?
i
Suppose -v = -5*v + 4. Let x = v + 0. Suppose 4*q - 2 - 7 = 5*i, 1 = -2*q - 3*i. Is q greater than x?
False
Let s be (-5)/(-30)*(-8)/(-3). Is -1 smaller than s?
True
Let o(h) = -h**3 + 6*h**2 - 5*h - 6. Let x be o(5). Let m = x - -3. Let f be 1/(-15) + (-2)/m. Which is smaller: f or 0?
0
Let k = -1.3 - -0.34. Let m = -1 - k. Let a = m - -0.14. Which is bigger: -1 or a?
a
Let t = -383/104 + -7/104. Does -3 = t?
False
Let b = 53/5 - 11. Is b equal to 0?
False
Let z be ((-16)/168)/((-4)/18). Let w(p) = p**3 + 9*p**2 - 9*p + 9. Let m be w(-10). Is m at most z?
True
Suppose 3*n - 1 = 2. Let q(h) = -h + 11. Let t be q(9). Is t < n?
False
Let d be (1 - 0) + (-10588)/(-28). Let g = d + -380. Which is smaller: -2 or g?
-2
Let w = -7 + 3. Is -2 smaller than w?
False
Let m = 51 - 47. Which is bigger: m or 9?
9
Let j(l) = -l**3 + 6*l**2 - 6*l + 5. Suppose 0 = -4*t - t + 25. Let q be j(t). Are q and 1 nonequal?
True
Let t = -79 - -68. Are -12 and t equal?
False
Suppose -4 - 2 = 2*l. Let y be -1 - 32/14 - l. Is y < -1/10?
True
Let g = 7 - 2. Let q(a) be the second derivative of a**3/6 - 5*a**2/2 + a. Let d be q(g). Which is smaller: -1 or d?
-1
Let h = -34.1 + 34. Let v = -0.7 + -0.3. Let n = -2 - v. Is n at least h?
False
Let y(g) be the first derivative of -1 - 1/4*g**4 + 0*g**2 - 1/3*g**3 + g. Let m be y(0). Which is smaller: -2/7 or m?
-2/7
Let f(j) = -j - 1. Let n be f(-14). Is n less than 2?
False
Let a be (-14)/(-304) - 6/48. Which is smaller: 1 or a?
a
Let y(b) = -3*b + 2*b - 5*b**3 + 0*b. Let o be y(1). Suppose 3*z - 8 = 5*z - t, 2*t - 11 = 3*z. Do z and o have different values?
True
Suppose -5 - 6 = 3*j - 2*z, -3*j + 3*z = 12. Let s = -8 - -5. Let v = s + -1. Which is greater: j or v?
j
Suppose -2*s = -s + 8. Let g = s + 10. Is -1/4 not equal to g?
True
Let g be (-6 + 11)*(-78)/(-20). Which is greater: g or -0.1?
g
Suppose 69 = 8*j - 35. Are j and 86/7 equal?
False
Suppose -5*r + 130 = 355. Let o be ((-10)/r)/(4/(-6)). Which is smaller: o or -2/11?
o
Suppose 0 = -4*a - h + 4, -4*a = -3*h - 1 + 13. Which is smaller: a or 1/11?
a
Let c be (3 - 1) + (-2)/1. Let j = 1/7 - 15/56. Is j <= c?
True
Suppose -3*t + 2*v - 5 = -2*v, 3*t - 9 = -3*v. Let d = -151 + 59. Let b = d + 371/4. Are b and t nonequal?
True
Suppose -l + 1 = -4*t, -18 + 3 = -3*l. Let p be -2*(-39)/36*10. Let f = p + -21. Which is smaller: t or f?
f
Suppose 5 = 3*t - 1. Suppose 2*q + 0 = t. Is q at most as big as -1/11?
False
Let m = 0 - 0. Suppose 5*y - 2*y - 45 = m. Suppose n = -4*g + y, 0*g + 3*g - n = 6. Is g less than 5/2?
False
Let d(l) = l**2 + 9*l + 13. Let c be d(-10). Is 22 greater than or equal to c?
False
Suppose 2*m + 3*m = 90. Let r be 4/m - (-4)/(-99). Is 1 >= r?
True
Let d be (-2 - -1)/((-2)/(-14)). Let x(f) = 8*f**2 - 2*f**3 + 2*f**3 + 7*f - 3 + f**3. Let w be x(d). Which is smaller: -0.1 or w?
w
Let t = 0.4 - 0.5. Let s = -138707/15 + 9243. Let w = -4 - s. Which is smaller: t or w?
t
Let q = 3/739 + 23633/3695. Which is smaller: q or 5?
5
Let h = -97 - -90. Let q(m) = m**2 - 8*m + 6. Let j be q(6). Is j at most h?
False
Suppose -2*k - 21 = -5*g + 2*k, -5*k - 23 = -3*g. Let j be ((-18)/21)/((-9)/14). Which is greater: g or j?
j
Let a(p) = -p**3 - 14*p**2 - 23*p + 17. Let s be a(-11). Are -94 and s non-equal?
True
Let a = 1.6 - 1.4. Does -4 = a?
False
Let z = -4/13 + 3/52. Suppose 0 = 4*a + 2*t + 10, a - 5*t + 0*t - 14 = 0. Which is smaller: z or a?
a
Let t be 8842/(-70) - 6/21. Let z = 127 + t. Is -2/7 bigger than z?
False
Suppose 4*p = -5*l + 108, -l - p = -4*p - 14. Which is bigger: l or 21?
21
Suppose 2*u + 2*u - 16 = 0. Let a be (-84)/(-10)*(-7)/(-21). Which is smaller: u or a?
a
Let m = -42 + 44. Does m = 15/8?
False
Let h(s) = s**2 + 31*s + 26. Let m be h(-28). Which is greater: m or -57?
-57
Let b = 2.3 + -2. Let r = -5 + 5. Let c = 1 - r. Which is smaller: c or b?
b
Let b = -9 + 20. Which is smaller: 2/5 or b?
2/5
Let y = 459/4 + -115. Is 5 < y?
False
Let m be ((-2)/4)/(2/(-4)). Let g = 1.6 + -0.6. Is g greater than or equal to m?
True
Let o be 1 + 3/((-9)/5). Let v = -452 - -451.8. Is o greater than v?
False
Let s be 1 + 1*(-2)/2. Let z be -1 + 195/150 - 29/105. Which is greater: z or s?
z
Let i = -1.3 - -6.3. Let o = 5.2 - i. Let a = o - -0.3. Do a and -1/3 have different values?
True
Let z(f) = -f**2 - 7*f - 7. Let w be z(-6). Let y be 1 + w*(-4)/2. Let n be -1 - (-21)/6 - 1. Which is smaller: y or n?
n
Let m = -0.4 - -1. Let i = 0.4 - m. Let f = i + 0.3. Which is greater: f or 2?
2
Suppose -t + 6 = 1. Suppose -2*f - 5*a + 24 = 0, 3*a = 5*f - 3 + t. Which is bigger: f or 3?
3
Suppose 0 = -3*r - 4*o - 124, 2*r - 2*o + 118 = -r. Let b be ((-2)/r)/((-1)/2). Is -1 at least as big as b?
False
Let t = -4 - -3. Let h = t + 5. Are h and -1 equal?
False
Suppose -2*s + 2 = -4*q - 2, -3*s - 3*q = -15. Let r be 4 + -2 - 8 - -1. Let h = r + s. Is h at most as big as 0?
True
Let p = 169/567 + -1/81. Let s be 8/(-6)*3/(-2). Suppose 2*h + s*h = 0. Which is smaller: p or h?
h
Suppose 22*y + 20 = 2*y. Which is greater: y or -4?
y
Suppose -j + 12 = 3*w, -4*w + 20 + 0 = 0. Is j greater than -1?
False
Suppose 3*d - l - 4*l = -136, 4*d = 3*l - 196. Let u = d + 313/6. Is -1 greater than u?
False
Let u be ((-2)/(-110))/(15/((-90)/(-12))). Is -1 smaller than u?
True
Suppose -3*j - 5*u + 13 = 0, 2 = -2*j + 3*u - 2. Let f(l) = -2*l**2 - l. Let v be f(j). Let m(c) = c + 2. Let q be m(v). Is q >= 2/9?
False
Let h = -3 + 4. Let r = -0.7 - 0.3. Is r less than h?
True
Let p(s) = -1 - 2 - 3*s + 3*s + s. Let h be p(2). Let l be 5/(-10) + (-1)/(-2). Which is greater: h or l?
l
Suppose -4*u - 8 = 0, 2 = -c - 4*u - u. Suppose -5*i + c = 3*v, 3*i + 0*v = 2*v + 1. Which is smaller: i or 0?
0
Let m be (-1 - (-218)/220)/(1/2). Which is smaller: 1 or m?
m
Let f be -1*3 + (-6 - -11). Let o be 1 - f/((-2)/(-5)). Suppose 20 = -2*t - 3*t. Are o and t equal?
True
Let k = 0.109 + 0.091. Is k < 0.8?
True
Let q be 3/(-3) + 10/7. Which is greater: 1 or q?
1
Let t be 1 - (4 - 17/5). Suppose -2*f + 5 = 3*f. Which is greater: f or t?
f
Suppose -3*k - 13 = 2. Which is greater: -4 or k?
-4
Let s = -1 - -2. Let o(d) = d**2 + 2*d - 1. Let n be o(s). Let x = 50 - 49.9. Which is smaller: x or n?
x
Let b = 2/128083 - -298049061/5123320. Let q = b - 289/5. Which is smaller: q or -1?
-1
Let x = -1.7 + 2. Let r = -0.101 - -4.401. Let u = r - x. Is u greater than 2/5?
True
Let w be (1 - (-2 + 0)) + -15. Suppose 3*n + l = -4*l + 22, -3*n + 6 = -3*l. Let h be (n/12)/((-2)/w). Is 3/5 greater than or equal to h?
False
Suppose -2*t + t - 4 = 0. Which is greater: 1/4 or t?
1/4
Let s be -1 + 0 + (-15)/(-17). Which is smaller: -1 or s?
-1
Suppose 4*i + 21 + 37 = -2*a, 3*a = i - 59. Let h be ((-12)/a)/(6/14). Let l = -7 + 9. Do l and h have different values?
True
Suppose -3*b + 4*b + 20 = 0. Is -19 != b?
True
Let d = -9 - -2. Which is smaller: d or -0.2?
d
Let h = 6 - 10. Let f = -3.9 - h. Is f at least as big as 0.5?
False
Let s = 0