 7 = 97. Which is greater: 75/8 or g?
g
Let c be ((-12 - -15)/(-9))/(1 - 21/18). Is c greater than or equal to 152/149?
True
Let s be (-116)/(-12) + 60/48*-8. Is s < 36/17?
True
Suppose 2*m + 347 = -5*n, 4*m + 19*n = 24*n - 799. Let h be -188 + 0 - 3/3. Is m less than or equal to h?
True
Let h(n) = 2*n**2 - 54*n + 101. Let p be h(36). Let f = 8241/11 - p. Is f bigger than -29?
True
Let g be (1 - 0)*(50 + -17). Let b = 44 + -39. Is g at least as big as b?
True
Suppose 108*q = 105*q - 648. Let h be 2*217*(-7)/14. Which is greater: q or h?
q
Suppose 10 - 49 = 13*y. Let r be 55*((-9)/(-15) + y). Is r not equal to -130?
True
Let x(h) = h**2 - 5*h + 4. Let u be x(4). Suppose u*i = i + 55. Let m be 11/i - ((-381)/105 - -2). Is m at least as big as 0?
True
Let i = -750 + 508. Let h = 243 + i. Which is smaller: h or -1/62?
-1/62
Let j be (0 - 4 - 0) + (54 - 49). Which is smaller: j or 3/5131?
3/5131
Suppose 2*h - 42 = -2*z, -90*z + 2*h = -95*z + 120. Are -15 and z non-equal?
True
Let z be ((-6)/(-82))/(3 - 1). Let l(k) = -13*k - 53. Let g be (-2550)/663 - 2/13. Let i be l(g). Which is smaller: i or z?
i
Let r(b) = b**3 + 9*b**2 - 11*b + 8. Let t be r(-10). Let s be 1/(-3)*1*(65 + t). Which is smaller: s or -27?
s
Suppose -88*q + 417*q - 914934 = 300392. Do q and 3694 have different values?
False
Let j = 59483 + -59466. Suppose -7*q + 10 = -2*q. Suppose 3*u + 9 - 34 = 5*r, 10 = -u - q*r. Which is greater: u or j?
j
Suppose -l = 8*l + 180. Let n be 1*5/(l/(-4)). Is -3 equal to n?
False
Suppose 0 = 2*s + 10. Let v = s + 10. Suppose 0 = 5*l - v. Which is greater: l or -2?
l
Let b(o) = -13*o - 6. Let v be b(11). Let z = v + 152. Suppose -4*x + 2*u + 204 = 0, -z*x = 2*u - 200 + 40. Is x < 52?
False
Suppose 11 + 7 = 9*d + 90. Which is greater: d or -243?
d
Let b = -2/1169 + 23474/54943. Are 1 and b nonequal?
True
Let s be (-9)/(-21) + (-1830)/(-42) + 0. Suppose 5*n = -4*c + 19, 3*c = 4*n - c - 44. Suppose a + 258 = n*a. Are s and a non-equal?
True
Let r = 0.00454 + 0.98546. Which is smaller: 0.03 or r?
0.03
Let u = 0.7 + 0.3. Let p(t) = 54*t**2 + 4*t - 6. Let j be p(2). Let b = 180 - j. Which is smaller: b or u?
b
Let k be ((-3)/44)/(((-783111)/(-56))/89). Which is bigger: -1 or k?
k
Let x = -0.407 + -1.893. Is 65 equal to x?
False
Suppose -3*k + t = -24, -3*t - t = 4*k - 16. Suppose -4*m = -2*u - 14, 0 = -9*u + k*u - 2. Are m and 15 unequal?
True
Suppose 4*s = 28 + 20. Let m be (-1 - -4)/((-4)/(-64)*s). Let b(d) = -d + 9. Let w be b(6). Which is greater: m or w?
m
Suppose 15 = -62*b + 59*b, -3*c - 16365 = 3*b. Is c bigger than -5446?
False
Let m = -11834 + 11855. Which is bigger: 593/28 or m?
593/28
Let o = 3 + 3. Let a = o - 2. Let g = 0.3 - -0.7. Do g and a have the same value?
False
Suppose 6*f - 5*f - 1 = 0, -2*s + 4*f - 136 = 0. Suppose -3*u = -g + 198, -3*u - 210 = -4*g + 7*g. Is u >= s?
False
Let g be -2*(-1)/(-7) + (-4402)/(-217). Let j be 25/g*4 + 1. Let z(n) = -n**3 + 3*n**2 + 16*n + 14. Let c be z(j). Which is greater: c or 3/5?
c
Suppose -5*i = 2*l - 4*l + 148, l = -3*i + 52. Let g = -69 + l. Let j be (-5 + (g - -10))*1/2. Is -1 less than j?
True
Suppose -110 = -4*j - 18. Let v = -1902 + 1914. Which is smaller: v or j?
v
Let s = 376351271/510 + -737946. Let c = s + 22/51. Is c at most -2?
False
Let w(l) = l**3 + 10*l**2 - 2*l - 2. Let r be w(-10). Suppose 0*g + r = -9*g. Let h = -31/13 - -24/13. Is h != g?
True
Suppose 36*p + 480 = 48*p. Let j be 292/p*(-60)/(-8). Which is greater: 56 or j?
56
Let s(k) = -17*k**2 - 4*k. Let r be s(-3). Let h be 2 + -1 - -3*6/(-12). Are h and r unequal?
True
Suppose 0 = -2*b - 4*y - 18, -4*b - 18 = -3*y + 2*y. Suppose -212 = -14*d + 180. Let z(u) = u**3 - 28*u**2 - 7. Let i be z(d). Is i at least as big as b?
False
Let k = 215 + -447. Let a be (-6)/(-21) + k/(-168). Let b(j) = j**2 - 8*j + 17. Let v be b(5). Is v at most as big as a?
False
Suppose -14*y + 18*y - 12 = -2*l, 2*y = -5*l + 6. Which is smaller: -3/1724 or l?
-3/1724
Suppose 5*b - 5*c + 335 = 0, 8*b + 199 = 5*b + c. Which is smaller: b or -55?
b
Suppose -1484 = 7*k - 1624. Suppose -3815 = -15*c - k*c. Which is greater: 107 or c?
c
Suppose 36 = 7*c + 8. Let b be (2/c)/(2/4). Let u be (3 - 3) + (13 - b). Which is bigger: u or 10?
u
Let f = -0.07 + -0.13. Let n(m) = -144*m - 1063. Let i be n(-7). Which is bigger: i or f?
f
Let w be (-19 + 0 - -3)*4. Let k be (-122)/((-105)/(-30) - (-6)/(-4)). Let c = k - w. Which is smaller: c or 8?
c
Let m = -124405/1518 + -433/138. Let h = -3975/44 - m. Let j = -11 + 6. Which is smaller: j or h?
h
Suppose -2*p - 5*j + 332 = 0, -j = 5*p - 4*j - 861. Let a be (5/(-30) + 24/p)*42. Which is smaller: a or -1?
a
Suppose -7 = -p - 4. Suppose -5*o = 5, -p*m - 2*o - 8 = -4*m. Suppose -m = -3*j - 3. Which is bigger: 0.14 or j?
j
Suppose 2*k - 26*w + 22 = -21*w, w + 6 = 3*k. Do 69/14 and k have different values?
True
Let h = 27 - -143. Let v = -11970 + 12140. Do h and v have different values?
False
Let s be (-14)/(-147)*21*5/2*-1. Is s at most as big as -156/25?
False
Suppose 36*t - 970 = 21*t + 770. Which is greater: 34 or t?
t
Suppose -15 = -4*x + 4*u + 1, -u = 2*x + 4. Which is smaller: 2/5893 or x?
x
Let n(g) = -g**3 - 194*g**2 - 332*g - 612. Let d be n(-192). Do d and -10596 have the same value?
True
Let q = 0.1079 + 7.8921. Let i = -9 + 3. Let a = q + i. Which is smaller: a or 10?
a
Let m = 11916 - 11807. Which is bigger: m or 29?
m
Let t be ((-2)/6)/(((-4)/54)/2). Suppose 48 = t*w - 12*w. Which is greater: -8 or w?
-8
Let u = 640/29 - 7952/87. Is -69 equal to u?
False
Let l = -0.199 - 233.801. Let b = l - -234. Is b smaller than -25?
False
Let f be (2/(-4))/((-674)/(-8)). Let r(v) = -v**3 + 14*v**2 + 73*v - 1023. Let h be r(14). Which is bigger: f or h?
f
Let n(y) be the third derivative of 44*y**2 + 23/24*y**4 + 0 + 0*y + 1/120*y**6 - 1/6*y**5 - 5/2*y**3. Let m be n(7). Is -3/79 smaller than m?
False
Let z(j) = 10*j**3 - j**2 + 2*j - 8. Let y be z(-4). Let k be (-3)/(-15) + y/3110. Let n = k + -237/23947. Is n > 0?
False
Let p = -3700 + 3701.9. Let u = -7 - -8. Is u < p?
True
Let k = -40 - -56. Suppose 308 = 6*s - 2*s. Suppose -5*b + o = 3*o - s, 2*o + 8 = 0. Which is smaller: k or b?
k
Let o be ((-2)/(-6))/(1/5). Let l(x) = 25*x - 226. Let s be l(10). Suppose -3*j - s = -102*g + 99*g, -4*j = 2*g + 14. Which is smaller: o or g?
o
Let g = -19 + 37. Suppose g*r - 14*r = 16. Suppose -r*n - 2 = -10. Which is greater: 8 or n?
8
Suppose -t + 7 = -24. Let l = 250 - 242. Suppose 305 + t = l*y. Which is smaller: 43 or y?
y
Let s = -144.6 + 161. Let h = s - 18.4. Which is bigger: -4/19 or h?
-4/19
Let g = 12.55 - 18.4. Let o = -7.85 - g. Is 66/13 greater than or equal to o?
True
Let c(v) = -187*v + 230. Let d be c(-1). Are 423 and d non-equal?
True
Let m = -1498 - -1497.902. Is -10 at least m?
False
Let d(s) = 2*s**2 + 10*s - 28. Let w be d(-10). Let z = w - 66. Let n = 27 - 85/4. Are n and z unequal?
True
Suppose -5*u = l - 3*u - 144, -3*l - 3*u = -420. Let f be ((-4)/42)/(l/12 + -12). Which is bigger: 55 or f?
55
Let m be ((-690)/184)/(5/(-260)). Is 1374/7 at most as big as m?
False
Suppose 9*v + i - 691 = 13*v, -5*v = -i + 864. Is -515/3 smaller than v?
False
Let v = 193 - 114. Let l = v - 126. Let j = -23 - l. Is j at least as big as 0.2?
True
Let s = 41 - 41. Which is bigger: -2/26397 or s?
s
Let i = 4511 - 4510. Is i greater than -3/548?
True
Let t(p) = 2*p**3 + p**2 - 9*p - 12. Let y be t(-2). Let q be ((-1)/(-2))/(y/(-6 - 30)). Which is smaller: q or 7/2?
q
Suppose 0 = -4*l - 3 - 1. Let a = 0.722 - 15.422. Which is greater: a or l?
l
Let g be ((-12)/318)/((-2)/(-18498)). Let s = g - -349. Let v be (1/(-2))/(5/10). Is v at least s?
False
Let l = -2987 + 2976. Which is bigger: -145 or l?
l
Let h = -3.311 + -1.689. Which is smaller: h or -1.18?
h
Let u = -11.68 + 0.68. Let m(k) = 2*k - 1. Let a be m(0). Let l be 1 - ((-4 - a) + 3). Which is greater: l or u?
l
Let c = 10553 + -749254/71. Is c != 0?
True
Let v = -13.79 - -10. Let c = -4 - v. Let i = c + 0.21. Is 0.09 at least as big as i?
True
Let t be -3 + 50255/(-525) - 2/(-12). Let s = t + 491/5. Is 1 at most as big as s?
False
Let g be 8/20*-5 - (-4007 - -1). Is g at least as big as 4004?
True
Let f = -5539/6 + 2686439/2910. Do f and 1 have different values?
True
Let g be