+ 65. Let b be t(9). Which is smaller: -41 or b?
b
Suppose -3*y = -4*r + 20, 2*r - 12 = 6*r + 5*y. Let d(b) = 7*b**2 + 0*b + 8 - b**3 - r*b - b + 10*b. Let v be d(8). Which is smaller: -2/51 or v?
-2/51
Let b be (-2*(-253)/(-138))/(1/(-3)). Let n = 539752/44163 + 2/4907. Which is greater: b or n?
n
Let l be -3 + 4 + (1 - -1). Let p be (-1130)/(-4) - l/2. Let m = p - 3939/14. Is 0.2 at most as big as m?
False
Let c = 4.44 - -508.56. Let r = -518 + c. Is r smaller than 48?
True
Let z(l) = 6*l**2 + 5*l - 13. Let h = 96 - 93. Let a be z(h). Let f = -84 + a. Which is greater: f or -27?
-27
Let j(x) = 52*x + 65. Let h be j(-6). Are h and -2230/9 non-equal?
True
Let t be (-225)/9 - (0 + -4). Let d = t + 24. Let o be d + -1 + -19 + 0. Which is greater: o or -19?
o
Suppose 0 = -5*k + 20, -6 = -5*l + 3*k + 7. Suppose 1 = a - l*f + f, 2*a = 3*f - 23. Is -19 at most as big as a?
True
Let q = 16932.8 - 16933. Let o = -159 - -180.4. Let g = 6.6 + o. Is q at least g?
False
Let a(m) = -m**2 + 12*m + 67. Let o be a(10). Let z = -82 + o. Is z less than -3?
False
Let v = -3/2009 - 571/2009. Let r be (1/2)/(130/(-468)). Is r >= v?
False
Let j be (-2004)/39247 - (-286)/5577. Is 1 equal to j?
False
Let d be 3*2/(-12)*-32. Let f(n) = -3*n**2 + 22*n - 8. Let u = -50 + 56. Let l be f(u). Is l less than or equal to d?
True
Let o(u) = u**3 - u**2 - 4*u - 7. Let a be o(3). Let w(v) = -50*v - 4. Let b be w(a). Is 46 at most as big as b?
True
Let x be (87/(-9))/(11/(-33)). Suppose -114 = 26*v - x*v. Which is smaller: v or 39?
v
Let d = -0.08 - -82.08. Let t = d + -81. Which is smaller: t or 17/2?
t
Let y be (-2)/(-3)*(7/2 + -3). Let f = 1110 - 21086/19. Is f greater than y?
False
Suppose x - 2*g + 17 = 0, 5*x + 0*g + 5*g = -25. Suppose -4*w - 3 = -5*w. Suppose 0 = t - w*t - 20. Which is bigger: t or x?
x
Let s = 15685 + -172533/11. Are s and 0.789 nonequal?
True
Let s = 35642/2175 + -476/29. Let q(a) = a**2 - 4*a + 4. Let x be q(6). Suppose i + x = 3*b, -6 = -4*i - 3*b + b. Is s < i?
False
Let j(u) = 2*u + 12. Let l be j(2). Suppose 5*z = 24 + l. Suppose -5*s = -z*s - s. Is s smaller than 0?
False
Suppose 3*g - 58 = -k, 0*k + 34 = k - 5*g. Let d be 0 + (44 - (-5)/10*10). Is k >= d?
True
Suppose -3*r + 77 = -7*r - 3*h, 3*r + 3*h = -60. Let b = 4 - r. Let x = b - 11. Is 35/4 less than or equal to x?
True
Let g = 434 + -437. Let a(n) = n + 5. Let k be a(-11). Are g and k non-equal?
True
Let b = -22/529 - -639/2645. Which is bigger: b or 1/4442?
b
Let a be (26 + (7 - 11))*1. Let i be 34/a - (-60)/(-110). Let l = -1915 - -220223/115. Which is smaller: i or l?
l
Let d(k) = k**3 + 7*k - 14. Let p be d(2). Suppose -10*x + 12*x + p = 0. Let n = 1415 + -9923/7. Which is smaller: n or x?
x
Let k(f) = 3*f + 26. Let b be k(-8). Suppose r = -a - b*a + 7, -a - r = -5. Let v be 0 + -1 + (-33)/(-18). Is v at least as big as a?
False
Let f = -793 + 869. Which is smaller: f or 97?
f
Let b be (-26)/((-7 + -1)/4). Suppose 3*q = -b - 98. Suppose 14 - 23 = 9*k. Is q at least as big as k?
False
Let s = 3970 + -4063. Does s = 11?
False
Let f(n) = n**2 + 2*n - 31. Let t be f(-11). Let h = t - 39. Is h equal to 28?
False
Suppose -v + b = -5, -5*b - 142 = -5*v - 13*b. Let r be (-1 - -1) + 92/6. Is v at most r?
True
Let y = 1008 - 423. Let n be y/(-10) - 1/(-4)*2. Let k = n + 5. Is k < -54?
False
Let a be (936/260)/((-4)/(-5))*48*-3. Is a less than -4?
True
Let u be ((-16)/(-4) - (-690)/(-161)) + (-2)/(-7). Is u >= -1/2286?
True
Let d = -40.78 + 40.98. Is -1.55 at least d?
False
Let m = 1.3369 + -1.3369. Which is greater: m or 311.8?
311.8
Let h(y) = 3*y - 70. Let q be h(-18). Let o be q/(-32) + -4 - (-317)/40. Let x = -668/85 + o. Which is bigger: 0 or x?
0
Let z = -130843/183 - -715. Let o = z - 301/10797. Let b = 0.67 - 0.57. Which is smaller: b or o?
o
Let b(z) = 3 - 8 + 6*z**2 - 8*z**2 + 13. Let c be b(-3). Do c and -62/7 have the same value?
False
Let p = 132/151 + 1042/4681. Is 1 less than or equal to p?
True
Suppose -26*h + 71 = 1348 - 81. Is h at most as big as -41?
True
Suppose 35*f - 30*f = -2*a + 943, -4*a - 519 = -3*f. Which is smaller: f or -53?
-53
Let j(h) = -h**2 - 53*h + 2. Let s be j(-19). Which is smaller: s or 649?
s
Suppose 55*b - 4171 = -15556. Which is greater: -4 or b?
-4
Let d(a) = -2*a + 22. Let z be -9*(-1)/6*42. Suppose -4*w + 11*w = z. Let j be d(w). Which is greater: j or 5?
5
Let d(h) = h**2 - 8*h - 95. Let m be d(17). Does m = 1/8?
False
Let y = -3622 - -14136. Let p be 2/(-27)*-3 + y/(-90). Let m = p - -117. Which is bigger: 2/27 or m?
m
Let f = 1447/70 + -144/7. Let l = 8.85 - 9. Let k = 0.05 - l. Is k less than f?
False
Let u(b) = -b - 1. Let i be u(-1). Suppose 534*f - 529*f + 5 = i. Let t = 56/17 - 53/17. Which is bigger: t or f?
t
Let o = 1127932/10610430975 + 2/582191. Which is greater: 1 or o?
1
Let x(p) = 12*p**2 + 674*p. Let f be x(-58). Which is smaller: f or 1277?
f
Let p be 914/(-12) + 3/2. Let g = 3430 + -3504. Is g > p?
True
Suppose 194 = 5*z - d, -5*z - 17*d + 20*d + 202 = 0. Let s be (-12)/2*z/57. Does -1 = s?
False
Let x be (-29 - -26) + 321/105. Let z(m) = -m**2 + 11*m - 1. Let u be z(8). Suppose 0 = 24*c - u*c + 1. Which is smaller: x or c?
c
Let x be 40 + -55 + 20 - 5/1. Which is smaller: -10/2029 or x?
-10/2029
Let x = -0.54 + 0.65. Let u = -0.99 - -1. Is x at least as big as u?
True
Let d(p) = 5*p**2 + 85*p + 3. Let h be d(-17). Suppose 19*t = h*t + 7552. Is 472 greater than or equal to t?
True
Let a = -5265.3402 - -5265. Is a < 0?
True
Suppose -5*u = -0*u + 115. Let x(c) = 22*c + 1. Let p(t) = -89*t - 78. Let j(b) = p(b) + 4*x(b). Let k be j(u). Is -0.1 greater than or equal to k?
True
Suppose -5*p = 0, 12*z = 8*z - 3*p + 4. Let m be 3/z*(-35)/15. Is -35/6 less than or equal to m?
False
Let x = 1149 - 710. Are x and 438 non-equal?
True
Suppose 0 = -a + 2*q + 4, 2*a - 3*q = -8*q - 10. Does a = -37/94?
False
Suppose -8 = w - 5*w. Suppose 6*b = -12*b + 4*b. Suppose -2*l = b, -w*i + 1 = -i + 3*l. Which is bigger: -19 or i?
i
Let q be (13/2 + 0)/((-2)/(-16)). Let g = q - 72. Let l be (472/g)/((-14)/35). Is 60 smaller than l?
False
Let t = -0.1 + 44.1. Let y = 26.772 - -1.228. Let a = t - y. Is a at least -1/3?
True
Let c = -332187 - -289334927/871. Is 1 greater than or equal to c?
True
Let w(r) = -r**2 - 83*r + 270. Let z be w(-82). Is z equal to 352?
True
Let x = -21 - 368. Is 2 smaller than x?
False
Let a be ((-6)/9)/(30/171). Let x be 29 - (-16 + 4)/(-4). Let p = x - 29. Is p at most a?
False
Let p = 46.65 + -47.65. Is -0.9843 greater than p?
True
Let c be -16 + 38 + (1 - -1). Let a be ((-618)/8)/(c/(-32)). Let q = a + -80. Which is smaller: q or 21?
21
Let y be (754 + 3)*(2 - 2 - 1). Let o = -380 + y. Let d = -5703/5 - o. Is d not equal to -5?
True
Let y = -143 + -195. Let p = y - -336. Let q = 7 - 7.2. Which is greater: q or p?
q
Let s be 16 - (-11 - (-3030)/110). Is 3/16 at least s?
True
Suppose -2*j - 3*s = -66, -3*j + 97 = -10*s + 15*s. Which is bigger: 54 or j?
54
Let g(p) = -2*p**2 - 15*p - 5. Let v be g(-7). Let b(t) = 5*t + 65. Let j be b(-12). Is j greater than or equal to v?
True
Suppose 237*s - 242*s = 570. Let j = 60 + s. Is -55 > j?
False
Suppose -3*t - 29*j + 30*j + 852 = 0, -3*t + 2*j = -846. Is t < 274?
False
Suppose 0 = -0*h + h - 22. Let q(k) = -200*k - 14376. Let z be q(-72). Which is bigger: z or h?
z
Let j be (0 - -1)/((-5)/(-5)) + 7. Suppose 10*g - 8 = -j. Suppose -10*n + 14*n - 28 = g. Which is greater: 8 or n?
8
Let v(r) = -3*r + 34. Let s(j) = -j + 11. Let z(p) = -8*s(p) + 3*v(p). Let b = -6 - -23. Let y be z(b). Is y greater than -20/7?
False
Let n = -140 + 74. Let b be 55/n - (3 + -2)*1. Let k = -3/2 - b. Which is smaller: 0 or k?
0
Suppose -4*k - 4*q + 35 = -k, -2*k - 5 = -3*q. Suppose -3*j = -2*o - 9, k*j - 7 = -4*o + 8. Is o bigger than 2/177?
False
Let k be (-146)/(-430) - 2/10. Let j = -3358 + 3357.9. Is j at most k?
True
Let d = -81 - -28. Let k = -43 - d. Let t be 1 + (1 + 3)/(11 - k). Are t and 5 equal?
True
Let p be (9/(-2) + -2)/((-7)/28). Let b be (p/(-39))/((-15)/(-9)). Is 0 at least as big as b?
True
Suppose t = -5*t + 240. Let v be 90/23*16/t. Which is greater: v or 2?
2
Let k = -262 + 264. Suppose k*g + 2*o - 230 = 0, -3*g + 4*g + 2*o - 118 = 0. Which is greater: 111 or g?
g
Let c be (-26)/195 - 39/(