. Which is bigger: 8/45 or g?
8/45
Suppose 0 = 4*r - 13*r + 342. Let g = r + -48. Which is greater: g or -11?
g
Let f(a) be the first derivative of a**4/4 - 2*a**3/3 - 7*a**2/2 + 4. Let b be f(4). Let m be 25/(-60) + b/6. Is -3 >= m?
False
Let n be (8 + 105/(-14))*-4. Is n >= 21?
False
Let d(h) = h**3 + 11*h**2 + 2*h - 4. Let r be d(-9). Suppose -k = 4*k - r. Let a be -3 - ((-32)/k - -1). Do -2 and a have the same value?
False
Let z = 3.1 - -4.9. Let v = 4.8 + -1.8. Which is smaller: v or z?
v
Let t = -12 + 20. Suppose -23 = -t*w + 1. Suppose -5*q = 5*r - 10, 0*q - 2*r - 16 = -3*q. Which is greater: q or w?
q
Let x be (-3)/(-6) + 349/(-1770). Let y = x - 10/59. Suppose -1 = 17*w - 16*w. Which is greater: y or w?
y
Let r(w) = w**3 + 8*w**2 + 8*w + 33. Let o be r(-7). Is o equal to -1?
False
Let x = 50 + -33. Let a = -4 + x. Suppose 4*k + 6*j - a = j, -3*k + 6 = 5*j. Which is smaller: k or 1?
1
Let u = 294 + -309. Let o = -3.28 - -0.28. Which is smaller: u or o?
u
Let m = -0.68 - -0.78. Let g be 1 + (-25 - (0 - 2)). Is g < m?
True
Let l(t) = -16 - 12 + 23 + 3*t. Let z = 5 + -3. Let n be l(z). Is 8/9 less than n?
True
Suppose -4*g = g - 25. Let y = -384 - -390. Which is smaller: y or g?
g
Let n be (-19)/(-19) + 34/24. Let w = 7/4 - n. Is 0.2 less than or equal to w?
False
Let z(t) = 32*t**3 - 3*t**2 + 3*t - 2. Let x be z(1). Is x greater than 61/2?
False
Suppose -3*x + 3*m + 4 = -2, -4*x - 16 = 4*m. Is -1/417 >= x?
True
Let r be 116/58 + (2 - 4). Is 3/145 less than or equal to r?
False
Let h(r) = 6 - 3 - 7*r - 4 - 2. Let o be h(-1). Let m = -11 + 15. Is m < o?
False
Let b = 120661/86 - 1403. Is b less than or equal to -1?
False
Let v(f) = -2*f**2 - 28*f + 11. Let q be v(-13). Suppose -u = 3*a - 53, 2*a + 142 = -2*u + 6*u. Is u >= q?
True
Let x be (0 + -8 - -1) + 16124/2304. Is x >= 1?
False
Let r(w) = -7*w + 408. Let o be r(51). Is 33 bigger than o?
False
Suppose 19 = 2*g - a, 2*g - 2*a = 4*g - 34. Which is bigger: 0.1 or g?
g
Let x be ((-63)/30 - 2)*(-1 + 3). Which is smaller: -9 or x?
-9
Let z = 24862/113 + -220. Let j be 9 + 1 - 12*24/32. Which is smaller: z or j?
z
Let s = 11.76 - 12. Let x = -25 + 24.9. Is s < x?
True
Let o = -17 + 20. Let k be o/(3 + (-12)/8). Let p = -1 + 0. Are p and k nonequal?
True
Suppose 0 = -5*p + p + 4*m + 312, 4*p = m + 309. Let i = p - 88. Let u = 1 - 0.9. Is u greater than i?
True
Let u = -420 + -91. Do -511 and u have different values?
False
Suppose -3*l + 2*x - 6 = -4*l, l = x. Let y be (1/2)/(l/(-12)). Let t(w) = -w**2 + 2*w + 5. Let v be t(4). Is v < y?
False
Let w = -2.219 + 2.589. Are w and 0.1 nonequal?
True
Suppose 3*w - 3 = -6. Let b = -194 + 164. Let o be (b/21)/5*w. Which is greater: o or 1?
1
Let g be (55/(-66))/((-2)/12). Suppose -g*t + 9 = 8*l - 4*l, 5*l - 2*t = 3. Is l < 4/3?
True
Suppose 11*n + 9175 = 1948. Do n and -655 have the same value?
False
Let n be 46/(-8)*20/(-25). Suppose 3*r = r. Suppose 5*o + 0*o - 30 = r. Which is bigger: n or o?
o
Let z(a) = -92*a - 48. Let t be z(4). Is t < -416?
False
Let b(d) = -d - 1. Let x(o) = -o + 13. Let n be x(-5). Let v be b(n). Which is smaller: v or -18?
v
Suppose 15*s = -51*s + 6534. Which is greater: s or 102?
102
Let r be (-45)/18*16/100. Which is smaller: 3/29 or r?
r
Let u(q) = 2*q + 6. Let x = 1 + -1. Let j be u(x). Let r be (3/10*-4)/(24/(-90)). Which is bigger: j or r?
j
Let g be -2 + -116*(-30)/1735. Which is smaller: g or 1?
g
Let c be 2547/(-4) + 3/4. Let w = 14630/23 + c. Which is greater: w or 0?
w
Suppose m - 15 = -2*m. Suppose 5*j + 3*g - 188 = 0, m*g - 9 + 69 = j. Is j > 41?
False
Let o be 4/(-12) - -241*3/2439. Is o != 1?
True
Suppose h - 10 = 4*t, -t = -2*h - 2*h + 10. Let z be -4*(t - 51/(-6)). Let k = 13 + z. Is -12 smaller than k?
False
Let k be (10/(-110))/(1/2). Which is smaller: -1/24 or k?
k
Let a = -10372 + 134908/13. Let r = 1316/247 - a. Is r at least 0?
False
Let n(r) = 4*r + 19. Let w(g) = g**2 - 6. Let s be w(0). Let f be n(s). Which is bigger: -11 or f?
f
Suppose 6*z + 113 = 617. Let l = z + -505/6. Which is smaller: l or -1?
-1
Suppose 5*o - 5*q = -3 + 18, -2*o + 3*q = -11. Let j be (-2)/3 + 11/3. Let v be j + -2 - (-3)/(-2). Which is smaller: o or v?
o
Let g = 23 - 22.72. Let x = -1.28 + g. Which is smaller: x or -0.05?
x
Let g(n) be the third derivative of n**5/15 - 11*n**4/24 - 5*n**3/2 - 4*n**2. Let q be g(-6). Let z = -2731/14 + q. Is -1 at least z?
False
Let z(p) = -p**3 - 12*p**2 - 10*p + 18. Let c be z(-11). Suppose c*v - 35 - 21 = 0. Is v <= 3?
False
Let b be -25*(-11 + (-126)/(-30)). Is b at most 843/5?
False
Let p = 5 - 5. Let u be p + (-12 - (-3)/(-3)). Which is smaller: u or -12?
u
Let f = 11 + -3. Let v = -3 + f. Let a = -4 + 8. Which is smaller: v or a?
a
Let l = -446/93 - 10133/31. Is -333 at least as big as l?
False
Let d(x) = -312*x**2 - 9*x - 10. Let b be d(-1). Is b equal to -310?
False
Let b = -38 + 38.3. Let a = -1 + b. Which is smaller: a or 0.1?
a
Suppose 4*c + 35 - 31 = 0. Let p be (-3*(-12)/(-18))/(c - -4). Which is greater: -0.09 or p?
-0.09
Suppose 4*z + z = 0. Let x = 24.2 + -24.5. Which is smaller: x or z?
x
Let z = -12119/71755 + 21/127. Which is greater: z or -1?
z
Suppose 0 = h - 3 + 1. Suppose 0*x - 2*x = 3*n - 4, 0 = -4*x - h*n + 8. Suppose -11*c = -7*c - 8. Is c > x?
False
Let n be 3452/3 + (-20)/30. Let p be n/1560 - 3/4. Do p and 1 have different values?
True
Let s(a) = -11*a - 2. Let y be s(3). Let i be (-3)/21 + (-5)/y. Which is smaller: i or -1/11?
-1/11
Let n(c) = -c + 7. Let o be n(8). Let d = -57 - -384/7. Is o < d?
False
Let n be (-1)/2 - ((-3595)/(-50) - -14). Which is smaller: n or -87?
-87
Let a = -0.08 + 3.28. Let u = 0.2 - a. Let s = -2 - u. Is s bigger than 0.1?
True
Let x(l) = l**3 - 12*l**2 - 3. Let b be x(12). Let g be (-24)/(-28)*b/6. Let y(w) = w**2 - 2*w - 2. Let i be y(3). Which is greater: g or i?
i
Let k = 1029 + -25721/25. Suppose 1 = -3*m + d - 2, 2*m = 4*d - 12. Which is smaller: m or k?
m
Let d = -395 + 420. Is 25 less than d?
False
Suppose 12*l = -12 - 12. Which is bigger: l or 3?
3
Let h(n) = n - 4. Let v be h(-8). Let g be 18/v*(-4)/171. Let l be -4 - 0/(-1) - (0 - 4). Which is bigger: l or g?
g
Suppose 6*a = 2*a - 144. Let o be ((-6)/(-15) + a/40)*10. Is -1 less than o?
False
Let p be ((-336)/(-3528))/((-1)/(-1 + 2)). Which is bigger: p or 63?
63
Let x(z) = -43*z + 6. Let k be x(7). Let a be 2/(-7) - k/175. Which is smaller: a or 2?
a
Let y = 14 - 27. Let z = -4 - y. Suppose -3*v = -3*i + z, v + 0*v - 9 = -2*i. Is v less than -1?
False
Let t be 9 - (6 - 17704/(-5896)). Which is smaller: t or -1?
-1
Let r be 36/8 + (-1)/2. Suppose 0 = -2*t - h - 46, -h + 6*h = 0. Let u(a) = a**2 + 23*a + 5. Let v be u(t). Which is smaller: v or r?
r
Suppose 0 = -20*d + 445 + 255. Suppose -68 = -2*a + t, 154 = 4*a - 3*t + 20. Is a at least d?
True
Let k = -106/3 - -314/9. Suppose -46 + 44 = i. Let o be (i - -3) + (-2)/2. Which is greater: k or o?
o
Suppose 0 = 4*b - 2*n + 862, -2*b + 4*n = 214 + 226. Is -214 <= b?
True
Let q = -64/3 - -190/9. Suppose -4*w = 115 - 123. Which is greater: q or w?
w
Suppose 5200 = -a - 12*a. Let z = 165055/4 - 40867. Let w = z + a. Which is greater: w or -3?
-3
Let g be ((-32)/6)/(-6 - (-2439)/405). Is 1 less than g?
False
Let z(l) = 3*l**3 - 9*l + 0 + 8*l - 2*l**3 - 17. Let w be z(0). Which is greater: w or -18?
w
Let c(t) = -t**2 - 14*t + 19. Suppose 16*i = 20*i + 60. Let g be c(i). Suppose g*w + 5*v + 21 = 0, 2*w + 4*v = -5 - 13. Which is smaller: w or 2?
w
Let i = -0.299 - -43.999. Let h = i - 47. Does -0.1 = h?
False
Suppose 4*d + 12 = 2*t, 0 = 3*t - d - 0*d - 18. Suppose s - 6 = -4*i, s = 4*i + t*s - 14. Is i greater than -4/19?
True
Let x be 1 - 3 - (-78)/38. Suppose 4*h + h - 5*y = 0, -3*h - 4*y - 7 = 0. Is h >= x?
False
Suppose -5*h + 3*u = -60, 2*u + 0*u - 10 = 0. Let x be (h/(-4))/((-30)/(-80)). Let q = x + 7. Which is greater: q or -16/5?
q
Let p = -2/75 + 107/1200. Which is bigger: -0.07 or p?
p
Let f = 79 - 124. Let w = 29 + f. Let l = w + 17. Which is greater: l or -5?
l
Let z(y) = -3*y + 15. Suppose -2*n - 1 = r - 3, 4*n + 4 = 0. Let s be z(r). Which is bigger: s or -7?
s
Let b(k) = -41*k + 141. Let l be b(-11). Which is smaller: 591 or l?
591
Let o be (-15)/(-105) + (-20)/(-7). Let y be 7*(-76)/(-180) - o. Is 1 less than or