6, 0 = -g - b + 347. Suppose -17*y + g = -20*y. Let r = y - -107. Is r != -5?
True
Suppose -4*m = -5*r - 957 - 737, -4*r = -2*m + 850. Which is smaller: m or 418?
418
Let w(t) = -t**2 + 55*t + 2325. Let r be w(-28). Which is bigger: -10/277 or r?
r
Let o = 344/287 - 55/41. Which is smaller: o or -1.95?
-1.95
Let c be 1/(-5) - 4/((-640)/(-148)). Suppose -3*s - 3 = -21. Suppose -5*o - 11 + s = 0. Which is greater: o or c?
o
Let m = -16953 - -16642. Which is smaller: m or -0.3?
m
Let m = -1.1295 - -182.1295. Which is smaller: m or 2/7?
2/7
Let a = -2061 - -2062. Which is smaller: -59/121 or a?
-59/121
Let y = 119 - 81. Suppose -5*j - 3*t + y = -25, -4*j = 3*t - 48. Suppose 2*x = 5*q, -4*q - q = x - j. Are q and 12/11 non-equal?
True
Let y(z) = -3*z**2 + 147*z + 55. Let l be y(54). Is l at least -4?
False
Suppose 0 = 4*w + 5*o - 647544, 5*w = o + 537831 + 271599. Let n be w/726 + 5 - 1*3. Let v = -225 + n. Is v > 1?
False
Suppose 30*u + 31 = -59. Let y be -1 + (-24)/(3 - u). Is -17 greater than y?
False
Let v = -0.0405 - -15.0405. Is v bigger than -37?
True
Let a = 2232 + -2233. Which is smaller: -1777 or a?
-1777
Let k = -0.6211 + 54.6211. Which is greater: -35 or k?
k
Let c = 16 - 8. Suppose 13*b - 80 = -7*b. Suppose 0 = 3*z - b*z + 8. Is c at most as big as z?
True
Suppose 61*b - 59*b + 3087 = -3*y, 4*b - 3*y = -6147. Is b at least as big as -1539?
True
Let c(b) = 21*b + 297. Let p be c(10). Suppose 0 = 3*y - 402 + p. Is y at least as big as -37?
True
Suppose 0 = -5*b + r - 3287, -17*b + 4*r - 100 = 11080. Which is bigger: -1 or b?
-1
Let s be (-428)/20 - (-390)/(-150). Let u(t) be the third derivative of -7*t**4/12 + t**3/2 - t**2. Let o be u(2). Is o equal to s?
False
Suppose 69*g - 54*g - 149010 = 0. Let o = g - 3824593/385. Which is smaller: o or 1?
o
Suppose 3*n - n - 2*z - 8 = 0, z = -4. Suppose -3*v - 56 - 73 = n. Do v and -44 have different values?
True
Let u = 7540/9 - 83012/99. Which is greater: 2.5 or u?
2.5
Let k(l) = -102*l - 564. Let i be k(23). Do i and -2911 have the same value?
False
Let c = 326.9 + -354. Let w = 75.1 + c. Which is bigger: w or -1?
w
Let g be ((-5 - -1) + 3)/(501/6). Suppose -42*b + 45*b = -21. Let m be 12/(-42) + 5/b. Is g bigger than m?
True
Let b = -423908/13 + 32638. Which is smaller: 31 or b?
b
Suppose -j - 5*a + 6 = 16, -2*a = j + 1. Suppose 10 = -j*t + 35. Suppose 4*p = -4*b, 8*b = 3*b + t*p - 50. Is 0 at least b?
True
Let q be (-2 + 147/9)*120/(-8). Let y = -239 - q. Suppose -g = -0*g - 4, -2*i - 60 = -3*g. Do y and i have the same value?
True
Let g = 1.3 + 3.7. Let l be (-4)/7 + 10540/119. Let b be 38/l - (-56)/(-308). Is b at least g?
False
Let g be 16335033/104202 + (-4)/8. Let f = g - -56/2481. Let s = -156 + f. Which is bigger: s or 0?
s
Let h = -2.77 + 2.9. Let y = -4.87 - h. Let x be (-20)/32 + 290/80. Is y smaller than x?
True
Let j be (-21 - (-1494)/(-36))/(0 - -1). Is j less than or equal to -63?
False
Let z be 14*1 - (-46)/(-23). Let q(d) = 16 - 320*d**2 - 19*d + d**3 + 309*d**2 + 7*d. Let h be q(z). Which is smaller: 13 or h?
13
Let l = -64845 + 64846. Let q = 1758 - 1016. Is l less than q?
True
Let q(n) = -5*n**2 + 4*n**3 - 5*n**3 - 14 + 2 + n. Let c be q(-6). Suppose 0 = -0*m + m - k - c, -4*k + 33 = m. Which is smaller: m or 20?
20
Suppose -r = -4*l - 77, -4*l + 75 + 358 = 5*r. Suppose 8 = -4*j, -2*s + 11 = 3*j - 9. Suppose 7 = 4*a - s, 435 = 5*g + 2*a. Is r > g?
False
Let h(o) = 108*o + 4. Let t be h(-60). Is -6476 at most t?
True
Let k be ((-321)/451 + 0)*(-19)/(-19). Let j = k + 18/41. Which is bigger: -1 or j?
j
Let l be (-19)/(1539/(-18)) + (-2110)/45. Which is greater: -46 or l?
-46
Let x(w) = w + 1. Suppose 4*h - 44 + 8 = 0. Suppose a = 4*a + h. Let l be x(a). Which is smaller: l or 9?
l
Let w be (177/295)/((-12)/10). Is w equal to -3/4?
False
Let f = -10 + 0. Let q = 345.964 + 0.036. Let h = 345 - q. Is h equal to f?
False
Let r be (((-14985)/9)/9)/(4 - (-35)/(-10)). Which is greater: 4 or r?
4
Let a be 3 - ((-11)/33)/((-2)/12). Let l be (-6)/21 + (a - (-456)/28). Which is greater: l or 18?
18
Let n = 0.06112 + 0.98888. Which is smaller: -0.2 or n?
-0.2
Suppose -6*a + 25*a = -3230. Let y be ((-4)/(-5))/(a/119). Which is smaller: y or 0?
y
Suppose n - 3*g = -10, -34 = -3*g - 22. Suppose -3*i = 2*j - 1, -2*j = n*j + 4*i + 8. Is j at most -2?
True
Let s(g) = g**2 + 4*g - 6. Let f be s(-5). Let z be 8/(5280/2380) + (-44)/12. Is z >= f?
True
Suppose -2*w - 89 = j - 2*j, w = -2*j - 37. Let v = w + 73. Suppose -4*y - v = 5*f + 12, -3 = -2*f + 5*y. Are f and -7 non-equal?
True
Let q(w) be the second derivative of w**4/12 - 2*w**3 - 9*w**2 - 23*w. Let v be ((-1)/(-2))/(17/408). Let j be q(v). Which is bigger: j or -15?
-15
Suppose 0 = 3*l - u - 120, -11*l - 5*u = -8*l - 120. Suppose 2*i + l = 3*j, 6*j - 4*j = 0. Is -20 at most as big as i?
True
Let p be 3/6 + (-3)/2. Let t = 2770 + -24904/9. Let f = -295/99 + t. Is f >= p?
True
Let x = 55 + -26. Suppose -142 + 19 = 3*i - 3*t, 99 = -3*i - 5*t. Let a = i + x. Which is smaller: -7 or a?
a
Let s be 21259/14*(-4)/(-6) + -4. Let f = -1023 + s. Which is smaller: -15 or f?
-15
Let v(w) = -16*w + 7. Let n be v(-7). Suppose -644 = -7*x - n. Which is smaller: 77 or x?
x
Suppose 0*x + x - 3 = 0. Let z(d) = -d**3 - 26*d**2 + 5*d + 140. Let h be z(-26). Suppose 0*q = -2*q - h, 3*q = -x*g - 54. Is -11 >= g?
True
Let i = -4/21413 + -17365923/107065. Is -163 at least i?
False
Let l be 32/(-10) - 4/5. Let d be (12 + -2)*(-2)/l. Suppose 2*p - d = v, -v - 3*v + 3*p = 0. Which is bigger: v or 6?
6
Let h be 1 + 0 - (-5 - (-2756)/195). Is h != -9?
True
Suppose -8*l = -14*l + 276. Suppose -l = -2*b - 4*r - 6, -20 = -5*r. Is b < 119/10?
False
Let v = 816/131 + -2317/393. Let k = 25 + -24.79. Let w = k - 0.2. Which is greater: w or v?
v
Let b be (-8364)/(5 + 7 + -14). Is 4180 bigger than b?
False
Let v = 629575/24794 - 584/23. Which is smaller: -1 or v?
-1
Suppose 3*a = -i + 14, 0 = -2*a + 4*i + 14. Let r(p) = 14*p + 549. Let j be r(-39). Suppose a*y - j*y + 56 = 0. Is y less than or equal to -29?
False
Let y = 0.0416169 + 0.0083831. Suppose 0 = -5*s + 9 - 54. Let x be 3/s - (-8)/(-3). Is x greater than y?
False
Suppose 2*c - 12 = -5*h, -3*c - 2*h = -2*c - 4. Suppose 13*j - 8 = 9*j. Which is smaller: c or j?
c
Let v = 3.1 - 3. Suppose -24847 - 12905 = 148*c + 94*c. Is c at least v?
False
Let i be 4 + (2 - (-3)/(-3)). Suppose 3*p - 94 - 51 = -4*j, p - 47 = -2*j. Suppose -i*o = p - 46. Which is smaller: 1/9 or o?
o
Let y = -64514/131949 - -88/181. Do -2 and y have different values?
True
Suppose -6*r = -15*r + 90. Suppose -r*h = -4*h + 6. Let b be 3/6 + (-30)/16. Is h greater than b?
True
Let p = -834.9 - -744.21. Let k = p - -90. Let a = k - -0.59. Which is bigger: a or -101?
a
Let x = -20.88 + 656.18. Let k = x - 633. Is k at most 4/9?
False
Let o = -0.15 + 0.183. Let j = -54.1 - -53.1. Which is greater: j or o?
o
Suppose 6*m + 86 = -2*c, 0 = 4*c + 4*m - 0*m + 140. Suppose -4 = -3*x - x. Is x <= c?
False
Let c(l) = -452*l**3 - 9*l**2 + 7*l - 1. Let h be c(1). Which is smaller: h or -453?
h
Let l(j) = 2*j**2 - 52*j + 128. Let x be l(20). Which is smaller: -1452/13 or x?
x
Suppose 35*q = 38*q - 6. Let f be (1*q/(-6))/(469/(-21)). Which is greater: f or 0?
f
Let l = 55 - 22. Let i(n) = -3*n + 19. Let p be i(-5). Which is bigger: l or p?
p
Suppose 16*q - 567 = -183. Let u(o) = 4*o - 106. Let r be u(q). Let w(x) = x + 2. Let m be w(-11). Which is greater: r or m?
m
Let s(u) = 37*u - 517. Let r be s(14). Are r and -143 unequal?
True
Let z be 2/8 + (-1763)/(-164). Let h be (-18 - 6)*4/(-6). Suppose -2*f + h = -0*f. Which is bigger: z or f?
z
Let t be ((-1)/(-1022))/((-4)/(1 + -17)). Is 1 at most as big as t?
False
Let n(d) = 16*d**2 + 1037*d + 214. Let k be n(-65). Is k at most 2042/5?
False
Let j be 5/2*(1 - (-110)/(-50)). Let z be -29*j*(-7)/42. Is z != -14?
True
Let p = 2189/2847 - 38/39. Suppose 5*w + 10 - 3 = -2*m, -3 = 3*w. Which is greater: p or m?
p
Suppose -4*r = -3*w + 51, -9552 = 5*r - 9507. Let s be 2/(-1*1/8). Are s and w nonequal?
True
Let s be (3/12 - (-5945)/3116)/(-1). Which is smaller: -2 or s?
s
Let y(v) = -53*v - 1 - 12*v**2 + 0 + 48*v. Let d be y(-1). Which is greater: -16 or d?
d
Let p be -36*(1/(-7) + (-112513)/1652) + 5. Which is bigger: 2464 o