 d(9). Let z be ((-6)/4)/(r/4). Is -2 < z?
False
Suppose -2*z + 5 = -z. Suppose 0 = -w, 4*w = -z*d + w. Suppose 2*t + 2*t = d. Is 2/3 < t?
False
Let c be 5/(-33) + (-2)/(-6). Suppose 5*q + 4*v - 21 = 0, 2*v - 3 = q + 4*q. Which is greater: q or c?
q
Let o(k) = k**2 + 3*k - 7. Let n be o(-5). Suppose -2*g + 9 = n*j - 8, -4*j - 4*g + 16 = 0. Do 10 and j have the same value?
False
Let v(h) = -5*h + 31. Let t be v(8). Is t greater than -5?
False
Let b = -61 + 20. Is b smaller than -2?
True
Let r = 112 + -95. Is r at most as big as 17?
True
Let t = 1.1 + -8.1. Let p = -76 + 84. Let d = p + t. Are d and -5/2 equal?
False
Let b(t) = 1 + 1 + 1 + t - t**2. Let n be b(3). Let w = -6 - -2. Do n and w have the same value?
False
Let r = -410 + 20909/51. Is r at least as big as 1?
False
Suppose 10 = -5*v - 0. Let i be (v + 4)*(-1)/1. Which is smaller: i or -3/5?
i
Suppose 0 = 3*z + 4*s - 11 - 4, -5*z - 5*s + 25 = 0. Suppose 41 = z*p - 24. Are p and 14 unequal?
True
Let o be 0*((-15)/(-10) + -1). Is -0.1 greater than o?
False
Let t be ((-34)/(-10) - 1) + -2. Suppose 0 = -9*i - 1 + 10. Is t not equal to i?
True
Let a = 1.88 + -0.38. Is 1/2 greater than a?
False
Let s be (12/8)/((-3)/(-4)). Suppose 0*x - s*x + 5*v - 14 = 0, -5*x + 2*v - 14 = 0. Is x > -2/3?
False
Let p = 1.52 + -0.12. Let l = 0 + 1. Let j = l - p. Which is bigger: j or 0?
0
Let u be (12/(-5))/((-8)/20). Suppose -u*z = -22 - 8. Are z and 4 unequal?
True
Let o = 6 - 7. Which is greater: -2/21 or o?
-2/21
Let g be (-2)/2 + (-171)/(-117). Are -1 and g unequal?
True
Suppose 4*x - 3*k = 8, x + 4*k = 5*x - 4. Suppose -2*z + 0*o + 4 = 3*o, -z + 2 = 4*o. Which is smaller: z or x?
z
Suppose -7 = 3*j + 2. Let d = -9 - -8.2. Let k = -0.8 - d. Which is greater: k or j?
k
Suppose 8 = 4*m, -4*x - 4*m - 21 - 19 = 0. Which is bigger: -10 or x?
-10
Let r = 6 - 8. Let j be r + (0 - (-116)/13). Let p = j + -656/91. Are 0 and p nonequal?
True
Suppose 4*u + 3*z - 68 = -z, -4*z - 2 = -u. Suppose -c + 1 = p, -2*c + 5*p = -2 - u. Let l = 3 + 0. Is c greater than or equal to l?
True
Let w = 4 + 6. Let l = w + -9.9. Is l greater than or equal to -3?
True
Let a be (2 - 4/(-16)) + -2. Let c(y) = 3*y**2 + y - 1. Let g be c(1). Is a > g?
False
Let n be -1 + 3/(9/12). Let b = n + -3. Is 4/3 smaller than b?
False
Let j = 17 - 17.1. Is 3 greater than j?
True
Let b be 18/21*(-2)/(-3). Which is bigger: 2 or b?
2
Suppose -2*s + 3*s + j + 2 = 0, 4*s - 5*j - 28 = 0. Suppose 0 = -3*a + 2*a + s. Suppose 0 = 3*b + 4*t + 11, 4 + 1 = -t. Which is smaller: a or b?
a
Let o be ((-16)/(-6))/((-12)/36). Which is bigger: o or 2/7?
2/7
Let k = 9 + -7. Suppose k*r + 2*b = r - 18, 19 = -r - b. Let l = 64/3 + r. Is l bigger than 2?
False
Suppose -8*x + 28 = 76. Suppose d + 3*d + 42 = -5*y, -2*d = y + 12. Do x and y have the same value?
True
Let r = 61 + -60.8. Which is greater: 41 or r?
41
Let c be 2 + 2 - (9 + -7). Let f = 5 + -13. Let a be 4/f - 10/(-4). Is a bigger than c?
False
Let h be 20/(-11) + (-2)/11. Let r be h*17/(-2) - 2. Suppose 4*c = 4*i - 12, c + 0 = 4*i - r. Which is bigger: c or 2?
2
Suppose -2*t - 1 = -9. Suppose 3 = t*l - 9. Suppose 0 = d - 3 + 1. Is d equal to l?
False
Let q = -2/41 - -45/82. Is q < 1?
True
Suppose -2*t = -10*t + 72. Is 10 not equal to t?
True
Let x = 0.6 - -5.4. Let q = 5.8 - x. Which is smaller: q or -0.1?
q
Let o = 561319/122 - 4601. Is -1 at least as big as o?
False
Let q = 65/213 - -2/71. Let y = 0 - 2. Let z = y - -1. Is q bigger than z?
True
Let d = -1/4 - 0. Which is greater: -58 or d?
d
Let m(v) = -v**2 + 8*v - 8. Let s be m(6). Let x(f) = f**3 - 5*f**2 + 5*f - 4. Let w be x(s). Let b be w - 1 - (1 - -2). Does b = -4?
True
Let a(f) = f**3 + 5*f**2 + 4*f + 4. Let m be a(-4). Suppose -9 = 2*o + s, -o + 0*s + m*s - 18 = 0. Let g be ((-1)/o)/((-2)/8). Is g at most as big as 2?
True
Let c(h) = 2*h**2 + 4*h + 2. Let z be c(-2). Suppose -z*l + 4*r = 2*l + 8, l + 4*r - 3 = 0. Let x be l + (4 - (0 - -2)). Which is greater: x or 0?
x
Suppose 0 = d + 4*t - 0*t + 19, -15 = 3*t. Which is smaller: d or -3?
-3
Let t = 15 + -14. Suppose -3*z + r - 5 = 3*r, r = -3*z - t. Which is smaller: z or -2/37?
-2/37
Let d(r) = -r - 3. Let u be d(7). Let p be 1/(-2 + u/(-4)). Let w be p/(1/(-1)) - -4. Are w and 1 nonequal?
True
Suppose 0 = -z + 2*z - 4. Suppose 9 = z*c + 25. Let f(b) = b**2 + 6*b - 4. Let k be f(-6). Is c greater than or equal to k?
True
Let h = -5383/15 + 359. Which is smaller: h or -0.1?
-0.1
Let m be 1/(-2 + 9/6). Let h be 1/m*(-4)/7. Which is smaller: h or -1?
-1
Suppose 3*x = -2 + 17. Let j = x + -7. Which is smaller: j or -4?
-4
Suppose 0*p + p = 0. Let g be p + 0 + (-2 - -3). Is g != -2/11?
True
Let x = 2 - 0. Suppose x*u = 2*c - 46, -4*u + c = -2*u + 49. Let p be u/(-12) - 4/2. Is -1 less than or equal to p?
True
Let i = 0.06 + -0.04. Let k = i - -0.08. Is 0.1 >= k?
True
Let o = -151 - -95. Let g = o + 18. Let f = g - -189/5. Are f and 1 unequal?
True
Suppose -3*s + 183 = -84. Let r = s + -713/8. Is 0 bigger than r?
True
Suppose 0 = -9*k + 8*k + 131. Let u = k - 1307/10. Is -1 < u?
True
Let q = -20 - -32. Let s be (-3)/q*4*-1. Are 0.1 and s equal?
False
Let j be 2/8 - 268/(-32). Let i = -83/8 + j. Is -3 at least i?
False
Let w = 2.5 - 3.3. Let q = w - -1.1. Which is smaller: 2 or q?
q
Let q = -452/11 - -41. Suppose 0 = -7*a + 3*a. Which is smaller: a or q?
q
Let g = 16 + -14. Let j = -0.02 - 4.98. Let x = -3 - j. Is g at least as big as x?
True
Let c be (1028/7)/2 + -1. Let p = c + -73. Let b be 0 - (-1 + -1 + 2). Are b and p equal?
False
Let y be 1/2*2/(-7). Do -1/3 and y have the same value?
False
Let r be ((-21)/(-14))/(1/2). Is 5 less than or equal to r?
False
Let h(u) = -u**2 - 4*u + 2. Let p be h(-5). Which is smaller: p or -18/5?
-18/5
Let d be (8/3)/((-20)/(-6) - 3). Which is bigger: 5 or d?
d
Let n be 4/(-2) - (0 - 3). Suppose 2*r - 14 + 2 = -4*j, r + 3*j - 8 = 0. Is n less than r?
True
Let j(n) = -3*n**3 - n**2 + 1. Let f be j(1). Let v(p) = -p**3 - 3*p**2 + 6*p + 6. Let s be v(-4). Is s bigger than f?
True
Suppose -14 = 3*m + 4*v, -5*m + 4*v - 5 + 35 = 0. Suppose 5*b = 2*x - 5 + 30, 3*b + 4*x = -11. Is b bigger than m?
True
Suppose 4*b - 3*b - 21 = 0. Let o be (-20)/50 - b/10. Is o at least as big as -3?
True
Suppose 3*d - 58 = 23. Which is smaller: 1 or d?
1
Let b = -1 - 0. Let i = 6 + -17. Let t = i + 8. Which is greater: b or t?
b
Suppose 3 - 6 = 3*x. Which is greater: x or -21/8?
x
Suppose 0 = z - 0*z - 3*j + 11, -4*j + 20 = 0. Suppose 0 = -z*o - o. Let h = -13/2 - -7. Is o smaller than h?
True
Let x = 0.3 - 0.1. Let r = 19 - 17.2. Let w = r + x. Is 0.1 bigger than w?
False
Suppose 3*z - 20 = 5*n, 0*n - 4*n + 11 = 3*z. Suppose 77 + 3 = -z*m. Are -16 and m unequal?
False
Let o be ((-5)/75*-5)/(2 + -1). Let k = 3 + -3.2. Which is smaller: o or k?
k
Let u be ((6/(-4))/(-1))/((-12)/128). Are -17 and u nonequal?
True
Let t = -0.02 - -3.02. Let p = 4.6 + -8.7. Let u = p + 4. Which is smaller: u or t?
u
Let y = -1.989 + -0.011. Let x = -10 - -7. Which is bigger: y or x?
y
Let m = -23.7 - -27. Let w = m - 0.3. Is 1 > w?
False
Suppose -15 = -0*d + 5*d. Suppose -h - 3*s + 23 = 0, 5*h + 4*s + 38 - 98 = 0. Suppose 4*w = 5*p - 2, -4*p - 4 = -4*w - h. Is d <= w?
True
Let a(r) = r**2 - 3. Let w be a(0). Let o be 1/(w - 0/3). Which is greater: -0.2 or o?
-0.2
Let w = 18.06 + -17. Let t = -0.06 + w. Which is smaller: t or 2?
t
Suppose 17 = -7*l - 4. Suppose -2 = p + 1. Is l >= p?
True
Let n = -33/20 - -3/20. Are n and -3 unequal?
True
Let s = -5 - -4. Let j = s + 1.1. Which is greater: -0.01 or j?
j
Let m be 2*(-1)/4*-10. Let h(i) = -i + 4. Let y be h(m). Let j be (-6)/(-8)*1/3. Which is bigger: j or y?
j
Suppose 41 = 4*c - 39. Let d = c + -14. Are d and 7 equal?
False
Let k be -2 - 0/(0 - -1). Let g = -15 + 14.9. Which is smaller: g or k?
k
Suppose 0 = l - 0*l. Let v be 21/(-9)*(l - 3). Do 7 and v have different values?
False
Let n(i) = 2*i + 15. Let q be n(-10). Which is bigger: -4 or q?
-4
Suppose -a + 8 = -2*m + 4*m, -3*a = 4*m - 14. Suppose 5*r + m*i + 10 = 0, -11 = -2*r + 3*i - 2*i. Let s be (-1 + 3)*6/r. Is s != 5?
True
Let q = 8 + -5. Suppose 2*n - 18 = 2*w + 6*n, q*w + 5*n = -22. Let t = -33/20 + 5/4. Is w greater than or equal to t?
True
Let u(l) = -4*l + 5. Let k be u(5). Let x be 4/k*(-12)