6*r - 12*r. Which is smaller: 11/3 or b?
11/3
Let f(d) = 2*d**2 - 6*d + 6. Let h be f(3). Suppose -12 + h = -2*y. Let a be (3/2)/((-21)/(-182)). Which is smaller: a or y?
y
Let j = -25 - -66. Let y = 23 + j. Is y at least as big as -1/4?
True
Let y be ((-14)/(-8) - 2)*-662. Suppose -3*h = -2*z + 85 + 249, 4*z + 3*h = 668. Is y greater than z?
False
Let j(t) be the third derivative of -11*t**4/24 - 3*t**3 + 15*t**2. Let n be j(3). Let d be (-1 + 3 + n/30)*-6. Do d and -1 have the same value?
False
Suppose -51 + 6 = -3*j. Let s = 58 + -103. Let r be (2/j)/(15/s). Is r at least as big as 6?
False
Let v be (166995/40)/(-3) - 15/40. Which is smaller: -1388 or v?
v
Suppose -753 = 4*h - 3*v, -3*v = 3*h - 8*v + 573. Let o = h + 173. Suppose -5*d - 5*r - 90 = 0, -2*r - 3*r - 20 = 0. Is d > o?
False
Let l(n) = -42*n + 610. Let p be l(14). Let t be (-6)/(-10) - (-3)/(-5). Suppose t = z - 40 + 18. Is p at least z?
True
Let p = -1728 - -1137. Are -592 and p nonequal?
True
Let m = -485 + 380. Let k = m + 104.8. Let o = -10 - -9.3. Is o < k?
True
Let s = 8054 + -8081.945. Let a = s - 0.055. Is -0.4 equal to a?
False
Suppose -3*x + x = f - 14, 0 = x + 4*f. Suppose -w = -2*g + 5, -5*w = -g + 24 - x. Suppose 49029*v - 49005*v - 96 = 0. Is g at most as big as v?
True
Suppose 10872 = 62*s - 38*s. Which is bigger: s or 451?
s
Suppose 4*v = 2*p + 49 - 61, -5*p - 5*v - 30 = 0. Let n(i) = -i**3 - 7*i**2 - 9*i + 4. Let f be n(p). Is f at least as big as 1/29?
True
Let r = -1982 + 15865/8. Which is bigger: 41 or r?
41
Let a = -11879.4 - -11865. Which is greater: 0.2 or a?
0.2
Let q(y) = 3*y**3 - 7*y**2 + 6*y + 5. Let m = -122 + 117. Let c be q(m). Let d be 19/171 - c/(-72). Is -9 less than d?
True
Let w be (3 - 0)/((-1)/19) + -3. Let v = w + 83. Suppose -2*h - 4*m = -50, 2*m + 97 = 4*h + 7*m. Is h bigger than v?
False
Let z = 70 + -70. Let r be 55 + z - 4 - 2. Is r at least as big as 51?
False
Let s = 17966 + -17956. Which is bigger: s or 77?
77
Suppose -212 = 5*z - 3*m + 73, 4*m + 320 = -5*z. Suppose 2*i + 4 = 4*q - 2*q, i = 3*q - 6. Let k be q/3 - z*8/(-882). Which is smaller: k or 0?
0
Let b be (-18)/(-135) + 1/(-12930)*1726. Is -1 equal to b?
False
Let v = 5287 - 5288. Is v at least as big as -452?
True
Let m be (-4)/(-18) + (-168)/270. Let a(p) = -p**2 + 3*p + 5. Suppose 20 = -79*f + 83*f. Let o be a(f). Is m at least o?
True
Let f = -1 + 0. Let c = 0.06936 - -49.02064. Let y = c - 49.1. Is f < y?
True
Let u = 8499 + -8432. Which is bigger: u or 41?
u
Let v = -301 - -199. Let j = v + 102. Which is smaller: j or -1/309?
-1/309
Let n be -6139 - (-16 + -2 - -37). Which is smaller: -6156 or n?
n
Let w(f) = -f**3 + 9*f**2 - 3*f + 27. Let i be w(9). Suppose k - 3*n + 141 = i, -2*n - 3*n = 5*k + 765. Is k not equal to -149?
True
Let q = 352631/2766530 + -43/338. Which is smaller: q or 0?
0
Let d be -17 - -20 - (1 + 0 + 7). Let k be (55/275)/((-1)/d). Which is bigger: 5/31 or k?
k
Let w = -40750.8 - -40750.981. Let n = 0.4 - 0.3. Which is smaller: n or w?
n
Let i = 0.37933 - 54.52533. Let l = i + 54. Let p = 0.046 + l. Which is smaller: 25 or p?
p
Let x = 0.0926 + -0.0426. Which is bigger: 0.45 or x?
0.45
Let v(q) = -q**2 + 19*q - 66. Let o be v(14). Is 58 >= o?
True
Let a = 157 - 157. Let t = -335 + 8709/26. Is t greater than a?
False
Let z = -14918658979/81 - -184184995. Let m = 4020 - z. Which is smaller: m or -1?
-1
Let y be (-63)/(-42) - 6/4. Are -23/334 and y unequal?
True
Let c = -761.71 + 765. Let l = c - 0.69. Let h = l - 1.6. Which is bigger: -9 or h?
h
Let d be 752*5/((-100)/(-35)). Let k be 674/d - 4/8 - 0. Is 1 less than k?
False
Let r be -3*(-1)/(-9) - 6/117. Let a = 7159/2964 - 130/57. Let g = r + a. Is g at least as big as -1?
True
Suppose 25813 = -163*p + 1037. Is p bigger than -152?
False
Let x = 425 - 2551/6. Which is smaller: -234 or x?
-234
Let g(v) = -13*v + 19. Let o be g(-7). Let j = -1037 - -3109/3. Is o at most as big as j?
False
Suppose 11 + 18 = 4*b - 5*j, 3*j = 3*b - 18. Let z be (-15)/(795/322) - (0 + -6). Which is bigger: b or z?
b
Suppose 8071*u + 11158 = 8084*u + 1980. Is u > 712?
False
Let w be -11 + (-96)/(-9) + (3 - 263/30). Are -6 and w non-equal?
True
Let v be 9/(-39) - 762/78. Which is smaller: v or 44?
v
Let p = 658 - 954. Let i = -297 - p. Does i = -56?
False
Suppose -13*c + 10*c = -3*o - 828, -4*o - 5*c - 1122 = 0. Let q = o + 277. Let d be 8/12*(-2)/(-64). Which is smaller: d or q?
q
Suppose 3*z = -o - 95, 4*z = -3*o - 27 - 258. Let q = o + 117. Let k = q + -26. Which is smaller: -26/5 or k?
-26/5
Let x = -429 + 411. Let b be x/(-22) - (-38)/209. Is b greater than 11/9?
False
Suppose 4*f = -4*p, 0 = -0*f - 2*f + 3*p. Let r = 130 - 128.39. Is r <= f?
False
Let d be (-4)/41 - 0/2. Let l be 57/9 + 3*(-2)/18. Suppose -f - l = -0*v + 2*v, 0 = -f - 4*v - 12. Is d less than or equal to f?
True
Suppose -4*f = 2*f + 2 - 2. Is 1/1634 bigger than f?
True
Let d(h) = -4*h + 29*h - 12 + 13*h. Let c be d(6). Let w = 1721/8 - c. Which is smaller: w or -2?
-2
Suppose -19*p + 153 - 39 = 0. Let t(f) = f**2 + f + 14. Let m be t(p). Which is smaller: 55 or m?
55
Let h(u) = u**3 - 96*u**2 + 2306*u + 9. Let l be h(48). Which is greater: 1367/13 or l?
1367/13
Let k be (1 + -3 - 6743/(-4983)) + (-4)/(-6). Is 0.3 >= k?
True
Let j = 36.63 + -38.607. Let c = 0.457 + j. Are 0 and c non-equal?
True
Let s = 28048/8673 - 164/49. Is -1 smaller than s?
True
Let c be (1107/6)/((-1)/(-2)). Let r be 0 - (6/c + 0). Let g = -33401 + 33401. Which is bigger: r or g?
g
Let k(a) = 10*a - 57. Let y be k(5). Let d be y/(-28)*-12 - (-3 - 1). Which is smaller: d or 4/5?
4/5
Suppose -49*o - 2120 = 2*c - 52*o, 4*o - 2124 = 2*c. Is -1051 <= c?
False
Suppose 2*l + c - 46 = 6*c, -50 = -2*l + 3*c. Let v be (92/l)/1 + 1. Which is smaller: v or -2?
-2
Let i = -274 + 388. Suppose -420 + i = -3*j. Suppose 10*b - 16*b = -j. Which is bigger: -1/2 or b?
b
Let p be 344/(40/(-5)) - (-2 + 3). Let v be (-2 - 48/p)/(-2). Is v at most 0.1?
False
Let t = -5148 - -3686. Is -3 equal to t?
False
Let a(c) = -c + 15. Let u(l) = 7*l - 24. Let i(p) = -6*p + 25. Let f(n) = -5*i(n) - 4*u(n). Let x(g) = 5*a(g) + 3*f(g). Let t be x(14). Is 6 >= t?
True
Let a = 57509 - 3105577/54. Are -1 and a nonequal?
True
Let i = -33.33 + -7.07. Let v be 0 - -2*1/6. Which is smaller: v or i?
i
Suppose 676 = -2*o + 1068. Which is bigger: 199 or o?
199
Suppose 37*g = 45*g - 13976. Which is smaller: 1749 or g?
g
Let b = -41462 + 34143. Which is greater: b or -7321?
b
Let x = -73868547 - -4801283571/65. Let q = -2646 - x. Is -1 smaller than q?
True
Let a = 42736 - 42871. Suppose -2*w + 0*w - 270 = 0. Are a and w equal?
True
Suppose -119*a - 133*a = -92*a - 36160. Which is greater: a or 213?
a
Let q = 37961132/2715 - 13982. Is q <= -1?
False
Suppose 0 = -33*l + 37*l - 3*c + 17501, -5*c = -4*l - 17507. Are -4373 and l equal?
True
Let k = 1510 - -1595. Is 3105 smaller than k?
False
Suppose 391 = 21*u - 1037. Suppose -18*l + 20*l = 130. Is u != l?
True
Suppose 10*p - 15*p - 30770 = -4*k, -2*p - 38454 = -5*k. Is k bigger than -0.1?
True
Let r(k) = -813*k**2 + 215*k + 215. Let c be r(-1). Which is bigger: c or -815?
c
Suppose 4*v - 5*w = -w - 16, 5*w = v - 8. Let p = -31632/7 + 4511. Which is smaller: v or p?
p
Let h be 10 + 2 + (-14)/2. Which is bigger: 2/899 or h?
h
Let g = 24 - -13. Suppose 0 = -2*n + 3*n - 4*x - g, 4*n - x - 103 = 0. Which is smaller: -2/9 or n?
-2/9
Let i be (-11*3)/(20 + (-132185)/6610). Does -14542 = i?
True
Let i = 37.6 + -44. Let j = -8.5746 + -0.0254. Let s = j + i. Which is smaller: -0.2 or s?
s
Let u = 112.034 - -8.966. Do u and -0.2 have the same value?
False
Let j = -37356 - -25307. Is j >= -12050?
True
Let j = -13169/2 - -6510. Is j less than -76?
False
Let u = 0.9518 + -0.8518. Which is greater: -1.208 or u?
u
Suppose 2 = -t - 4*u + 7, 4*t + 4*u - 20 = 0. Suppose -2*d - 145 = 3*f, -t*f = 5*d + 185 + 65. Which is smaller: -42 or f?
f
Let a be ((-8)/1460)/(3 - (-20)/6 - 7). Is a at most as big as -1?
False
Let p be 49/(-3)*968/1694. Which is greater: p or -1/3?
-1/3
Let b(x) = 49*x**2 - 52*x + 98. Let v(y) = 26*y**2 - 26*y + 49. Let c(s) = -6*b(s) + 11*v(s). Let d be c(2). Which is smaller: -33 or d?
-33
Let v(j) = j**3 + 26*j**2 + 23*j + 57. Let p be v(-25). Let m = 108 - p. Let d = 7 + -6. Is 