d?
d
Suppose 0 = 2*j + 3*a - 12, a - 25 = -5*j - 4*a. Let t = j + 6. Let b = 30 + -21. Is t greater than or equal to b?
True
Let a = -3/23518 - 4938729/399806. Are -12 and a unequal?
True
Let a = 1.9 - 2. Let z = 168 + -86. Suppose h + 71 = z. Which is bigger: h or a?
h
Suppose 2*n + 4*t + 8 = -2*n, -t = 5*n + 2. Is n bigger than -6/19?
True
Suppose -9 = -3*v, -5*v + 10 = -0*u - u. Let b be ((-12)/u)/((-2)/(-45)). Let w be 0 + 2 - (-112)/b. Which is smaller: 1 or w?
w
Let p(f) = -f**2 - 3*f - 1. Let q be p(-2). Let k = -6 + 1. Let o be (-2)/1 + (-13)/k. Is q > o?
True
Let u = -437 + 3922/9. Let o = -14/9 - u. Which is smaller: o or 11.5?
o
Let r be (-4)/(-14) - (-416)/14. Suppose -t - 6 = 0, 3*p - 8*t - 99 = -6*t. Which is smaller: r or p?
p
Suppose 3*g - 2*v + 4 = 0, 3*g - 7*v + 19 = -2*v. Suppose 2 = -g*b - 4. Let t(k) = k**3 + 3*k**2 - 4. Let a be t(b). Is a less than -5?
False
Let v = -6.08 + 6. Let y = v - 14.92. Let j = 16 + y. Is j at most as big as 3?
True
Let n = -295 + 258. Which is smaller: n or -38?
-38
Let z be (-1 - 4) + 3*(-45)/(-27). Which is smaller: z or -3/73?
-3/73
Let x(f) = 28*f + 3. Let w be x(2). Suppose 0 = -5*p - w - 46. Let n = -16 - p. Which is greater: 3 or n?
n
Let j(p) = -p**3 + 3*p**2 + 5*p. Let y be j(4). Suppose -3*m = 2*s + 7 - 0, -y*m - 8 = 2*s. Which is greater: s or -14/5?
s
Let d(q) = -q**3 - 32*q**2 - 31*q - 1. Let y be d(-31). Let l be y - (5 - 7)*1/2. Let h = 29/3 + -83/9. Which is bigger: l or h?
h
Let o be (-3)/(15/4205) - (11 - 9). Which is smaller: -842 or o?
o
Let p = -365 + 364.9. Which is greater: p or 26?
26
Let c = -19 - -28. Let s = -4 + c. Let x = -18 + 21. Are s and x unequal?
True
Suppose 6*k + 18 - 30 = 0. Are 20/13 and k equal?
False
Suppose 4*l + 13 - 29 = 0. Let j be 9/7*l/(-4). Which is bigger: 0 or j?
0
Let u be (-1)/(136/16 + -2*1). Is u <= -5?
False
Let o = -92.51 + -1.29. Is -2/3 less than o?
False
Let o(f) = 4*f**2 + 19*f + 44. Let x be o(-3). Which is greater: x or 30?
30
Let n(t) = 31*t**2 + 2*t + 1. Let i be n(-1). Let s be 2/10 - (-54)/i. Let m(f) = 2*f**3 - f**2 - 3*f + 2. Let u be m(s). Is 3 less than u?
True
Let y be (1/11)/((-7)/(-2063)). Let d = 192/7 - y. Is d less than or equal to 0?
False
Let y = 50248/13 + -3856. Which is smaller: y or 8?
8
Let n be (-3)/(-9)*-2*-3. Let a be 14/18 + 5/15. Are a and n equal?
False
Let n = -2.4 + -0.6. Let i = n + 2. Let s = 0.664 - 0.704. Which is smaller: s or i?
i
Let h(n) = -n**2 + 10*n - 14. Let u be h(10). Let c = -11 - u. Which is bigger: c or 4?
4
Let r be (1/(-1068))/(-7 - 100/(-15)). Is r greater than 0?
True
Let l be (-16)/(-7) - (-2)/(-7). Suppose d + 3 = -l*d. Let r = 57 + -853/15. Which is bigger: d or r?
r
Let h = 19 + 10. Suppose -4*i + 76 + h = 3*l, 20 = -4*l. Let o be ((-6)/72)/(i/(-16)). Which is bigger: o or 0?
o
Suppose 20 = 4*x + x. Let y = 3534 + -3520. Is y greater than x?
True
Suppose 9*x + 14 = -13. Let w be (-8)/(-1)*((-5)/(-10) + -1). Which is smaller: x or w?
w
Let l be (-6 - 2)*(5 - 1)/(-32). Do l and 1/2128 have different values?
True
Let d = 80.4 - 80. Which is smaller: d or -2.6?
-2.6
Let r(b) = b**2 + 4*b - 2. Let m be r(-5). Let s = -2 - m. Let x = -11 - s. Which is smaller: 0.1 or x?
x
Let k(l) = 3*l**2 + 29*l - 100. Let f be k(4). Are f and 71 non-equal?
True
Suppose -831*k + 830*k = 2. Let w(f) = f**2 + 7. Let q be w(0). Let y = -10 + q. Is k >= y?
True
Let p(g) = g**2 + 8*g - 100. Let k be p(0). Are -2 and k nonequal?
True
Let c(q) = q**3 - 26*q**2 + 26*q - 37. Let x be c(25). Let d be 21/2*(-1 - -3). Let g = x + d. Are g and 10 non-equal?
True
Let h = -0.1013 + -0.2967. Which is smaller: 1/2 or h?
h
Let t(a) = 2*a + 2. Let r(c) = -c**3 + 3*c**2 + 5*c + 2. Let b be r(4). Let i be t(b). Which is smaller: 13 or i?
13
Let l = -30.15 - 1.25. Let u = 28 + l. Let m = 0.6 - u. Which is smaller: m or -2?
-2
Let p = 0 + 5. Suppose -70 = -p*x + 4*j, -5*j = 6 + 19. Is x less than 8?
False
Let i = -49.8 - -50. Let b = 31159/26 + -1198. Let x = -12/13 + b. Is x < i?
True
Let d = 239435653/3693 - 64835. Which is greater: d or -1?
d
Let l = 285 - 238. Which is smaller: 44 or l?
44
Suppose -2*i = 3*i + 2*b + 41, 10 = 5*b. Let k be ((-6)/i)/((-1)/(-3)). Suppose 5*l = -8*n + 3*n - 15, 5*n + 6 = -k*l. Do n and -3/10 have the same value?
False
Suppose 85*f = 78*f + 399. Which is bigger: f or 56?
f
Let j = -10504/11 - -954. Is 0 > j?
True
Let z = 233.8 + -197. Let m = z - 37. Which is smaller: m or -1/3?
-1/3
Suppose 6*z + 10 = z. Let i be (-10)/425*5*z/(-2). Let u = -1/22 + -5/11. Is u < i?
True
Let h(l) = -31*l + 2. Let s be h(-2). Let f be (1 - s/66)/((-8)/(-12)). Is 1 > f?
True
Let n = -1531/3 - -511. Let v = 26 + -132/5. Which is greater: v or n?
n
Suppose 26*n = 30*n - 5*v + 15, -4*n + v = 3. Is n equal to 2/999?
False
Let g = -45675/956468 + 24/487. Is -1 at least g?
False
Let u = 351 + -333. Which is smaller: u or -2/71?
-2/71
Let t = 21 + -12. Let f = t - 2. Which is smaller: f or 8?
f
Suppose 3*n - 6*n - 5*v = 16, -2*v - 1 = 3*n. Let b(q) = -7*q**3 + q - 1. Let k be b(1). Let d be (2 - 11)/(k/7). Do d and n have the same value?
False
Suppose f + 11 = -9. Let u be (23 - 20)*f/22. Is u bigger than 0.2?
False
Let p be 2/((-8)/(4 + -8)). Is -2/593 != p?
True
Let v(j) = -3*j - 13. Let z be v(-5). Suppose t = -z*l - 0 - 18, 0 = -t. Which is smaller: l or -7?
l
Suppose -2*a = 5*a + 28. Let b be (11/a)/(45/120). Are -8 and b nonequal?
True
Let w = 27 - 18.8. Let x = w + -8. Let i = -0.2 + x. Which is smaller: -1/2 or i?
-1/2
Let l = 69.1 + -72. Let x = l - -8.4. Let u = -6 + x. Which is bigger: 1 or u?
1
Suppose 0 = -3*z - 15, -2*b + 0 = -4*z - 4. Let n be 2 - (-1)/(4 - 5). Is b < n?
True
Suppose -3*c = -c. Let x = 161 - 21737/135. Is c at least as big as x?
True
Let y = -274 - -207.2. Let o = y - -67. Is 0.5 greater than or equal to o?
True
Suppose 2*r - 6 = -0*r, -2*u + 557 = 3*r. Is 275 at most as big as u?
False
Let d = 0.0427 - 0.0227. Does 0.13 = d?
False
Suppose 0 = -f + 5*f - 48. Suppose -4*u + 4*g = -28, 5*u - 36 = 4*g - 2. Let y be (0 - 3)*((-80)/u)/4. Which is smaller: y or f?
y
Let k = 23 + -22. Let p be (k - 2)/(-15 - -16). Let u = -7/3 - -5/2. Which is smaller: u or p?
p
Let b = -33/416 - -38067/7904. Which is smaller: b or 6?
b
Suppose -o = -3*o - 144. Let p be o/(-9)*(-1 + 0). Which is greater: p or -9?
p
Suppose 18 + 2 = 2*m - 2*s, 5*m - s = 30. Suppose 0 = k + m. Let d = -3 - k. Is d <= -1?
False
Let a be ((-3)/30)/(1/12). Suppose -4 = -2*r - 2*u, -5*u - 1 + 11 = r. Which is smaller: r or a?
a
Suppose 36 = -4*u - 3*f + 171, 4*u = 4*f + 156. Suppose 7*a - 4*a - u = 0. Let c(x) = x - 14. Let i be c(a). Are i and -2 nonequal?
False
Suppose -10*y - 637 + 647 = 0. Which is bigger: y or -1/1020?
y
Suppose 73 = -3*p - 5*n, -3*n = -3*p - 0*n - 105. Let v = p + 27. Is -5 less than v?
True
Suppose -35 = -14*j - 21. Is j smaller than 18/71?
False
Let f(s) = 12*s - 178. Let c be f(22). Is 85 bigger than c?
False
Let u = 29 - 12. Let s = 96 - 167. Let g = -55 - s. Is g not equal to u?
True
Let j be (1/2)/(1/30). Let z(g) be the third derivative of g**4/24 + 31*g**3/6 - 5*g**2. Let y be z(-16). Is y at most as big as j?
True
Let t = -0.638 + 0.028. Let u = t + -0.39. Which is bigger: u or 0.1?
0.1
Let c be 446/645 - 60/450. Is c <= 2?
True
Let m be (-11)/((-231)/(-6)) - (-13)/42. Let l = -9/14 - m. Is l less than -69?
False
Suppose -22 = -4*w + 2*w. Let p = -7 + w. Suppose -2 = -p*b + 2. Is b greater than 4/5?
True
Let r(x) = -x**3 - 14*x**2 + 14*x - 15. Let i be r(-15). Let u be ((-6)/(-4))/(9/24). Suppose -j + 1 + u = i. Are 4 and j nonequal?
True
Let l = 76123/65238 - 2/10873. Let o = 1 - 1. Let p = 0 + o. Which is smaller: l or p?
p
Let u be 1/(-2)*-2 + (-72)/57. Let c = -13/95 + u. Do c and -0.16 have the same value?
False
Let i be (-15057)/(-5) - 10/25. Let z = 57195/19 - i. Which is smaller: z or -2?
-2
Let l(g) = -4*g + 34. Let p(x) = x - 11. Let z(f) = -2*l(f) - 7*p(f). Let u be z(-9). Is -2/15 > u?
False
Suppose -58*t = -35*t - 1012. Which is smaller: 48 or t?
t
Let m = -133 + 123. Let b(t) = t**3 + 21*t**2 - 23*t - 31. Let h be b(-22). Which is bigger: h or m?
h
Suppose 14*a = -16 + 632. Let o = -43 + a. Which is bigger: o or -31?
o
Let w(f) = -f**3 + 6*f**2 - 6*f - 7. Let j be w(3). Let r = 6 - 