g?
g
Let n(t) = -t**3 + 25*t**2 + 59*t - 19. Suppose 0 = 7*z - 86 - 103. Let w be n(z). Let f be 1 + (-2 - (w/36 - 4)). Which is greater: -3/8 or f?
f
Let q be 160*(-10)/(-50) + (-9 - -28). Let i be 88/1*(-8)/(-14). Do i and q have the same value?
False
Let g be ((-16)/6)/(8/12) - -10. Suppose d = -2*n + g*d + 258, 5*n + 5*d = 575. Let z = 119 - n. Are -3/5 and z non-equal?
True
Let r = -482 - -494. Let g = 4.93 - -0.07. Let j = g + r. Which is smaller: j or -1/5?
-1/5
Let x = -58.07 + -119.93. Is x >= 0.2?
False
Let q = -382 - -359.1. Let u = q - -23.8. Do 1 and u have different values?
True
Let y(f) = f**2 - 4*f + 6. Let o be y(3). Suppose -o = -21*p + 18*p. Which is smaller: p or 7/37?
7/37
Let l = -2 - 12. Suppose 0 = -22*g + 12 + 76. Which is smaller: l or g?
l
Let m be ((-198)/(-27))/((-2)/228). Let j = -308 - m. Do j and 529 have the same value?
False
Suppose -162*v - 474909 = 908377 - 80644. Does v = -8041?
True
Suppose -5*v + 24*v + 171 = 0. Let w be v/(-36) + 1014/8. Is w at most as big as 127?
True
Let q(z) = z**2 + 131*z + 629. Let g be q(-5). Which is bigger: g or -70/177?
-70/177
Let h = -116.62298 - 0.22702. Which is smaller: 1 or h?
h
Let w = -2809 - -30891/11. Is w != -0.05?
True
Suppose -2*k - 3*d + 31 = 0, -5*k = -4*d - 39 - 4. Suppose 5 + 2 = -5*m + c, 3*m - 4*c = -k. Let h = 49/55 + -1/11. Are h and m equal?
False
Let q be 88/1496 + 60254/(-10506) - (1 - 7). Is 0 >= q?
False
Let z be (4/14)/((-15)/210)*4/40. Does 0.054 = z?
False
Suppose s + 42 + 31 = 5*m, 2*s - 3*m = -146. Which is smaller: s or -667/9?
-667/9
Let i = -350 - -350. Suppose i = 224*q - 221*q. Which is smaller: 3/112 or q?
q
Let d be 1/(1*(-2)/(-4)). Let w(n) = n**3 - 9*n**2 + 16*n - 5. Let c be w(7). Suppose -c*z = 15*z. Which is bigger: d or z?
d
Suppose 12*u - 18 = 6. Suppose u*g - s = -23, 2*g + 25 = -24*s + 27*s. Do -22 and g have the same value?
False
Suppose -45 = 2*x - 5*y, 72*x - 74*x = 2*y + 94. Suppose f + 2*o + 2*o + 54 = 0, -2*f - 98 = 3*o. Let b = 6 + f. Is b at least x?
True
Let n be -1 - ((-90)/(-134))/((-55)/15 + 3). Is n not equal to -1?
True
Let b(i) = -i**3 - 17*i**2 + 136*i - 52. Let q be b(-23). Is -40 greater than or equal to q?
False
Suppose f - 30 = -5*q, -14 - 36 = -3*f - 5*q. Let k = f - 14. Let m = k + 11. Are 7 and m nonequal?
False
Let g(k) be the first derivative of k**3/3 + 10*k**2 - 70*k - 69. Let q be g(-23). Is q > -5/6?
False
Let d be (-31620)/(-544) - (-1)/((-8)/1). Suppose -4*l + 224 = 3*y, -5*l + y + 200 = -80. Which is bigger: l or d?
d
Let n = -926 + 928. Suppose n*i = 2*j - 4, -3*i + 6 - 15 = -2*j. Is 5 less than i?
False
Let w = -5 - 120. Let k = 158 + -283. Is w > k?
False
Suppose 1569*s + 175 = 1564*s. Let d be 2 + 7/(21/(-120)). Is s >= d?
True
Let m be ((-88)/22)/(4/6). Let c be -3356*(m + 284/48)*3. Is c <= 839?
True
Let m = -1003 - -905. Which is smaller: m or -125?
-125
Let c be (1719/5)/(9/30). Suppose n - 2*w = -371, c = -3*n - 5*w + 66. Is n less than -365?
False
Let u = -970 - -969. Do u and -24/431 have the same value?
False
Suppose -2*z - 117 - 2319 = 19*z. Which is bigger: -0.08 or z?
-0.08
Let w(j) = 21*j**2 - 222*j - 9. Let d be w(10). Does d = -122?
False
Let p be (-188)/378 + ((-40)/(-14))/5. Let s(z) = z**3 + 36*z**2 - 3*z - 109. Let n be s(-36). Is n at least p?
False
Let k = -8 - -11. Let d be 718/17232 + 551/24. Suppose 2*f + 11 = -k*p + 119, p = -5*f + d. Which is smaller: p or 39?
p
Let c(o) = -o**2 + o + 10. Let n(y) = -y**2 + y + 9. Let v(m) = -2*c(m) + 3*n(m). Let w be v(3). Let q be w - (99/206 + (-10)/(-20)). Is 0 > q?
False
Suppose -14*z + 17*z - 20599 = 2*i, 4*z = -5*i + 27427. Is z < 6864?
True
Let s(l) = -904*l + 906. Let b be s(1). Let a = 3421 - 10435/3. Let n = 58 + a. Is n less than b?
True
Let u be 0/(-1) - 8/190. Let p be 5/(-25)*(5 - (3 + 2)). Do u and p have the same value?
False
Suppose 4*m - 3 + 11 = 0. Let j be 840/(-323) - (0 + -2). Let f = j + 4/323. Which is smaller: m or f?
m
Suppose 0 = -16*t + 24*t - 86760. Let m be 1/(-8 - t/(-1356)). Is m at least as big as -453?
True
Suppose -11*g - 98*g + 856714 = -20*g. Do 9626 and g have the same value?
True
Let t = 24761 - 1213231/49. Which is bigger: t or 1?
t
Let j = 622044793/1106560 + 1/158080. Let k = -561 + j. Let s = -2 - 0. Is k at most s?
False
Let i = 571 + -9423/17. Is 16 at most as big as i?
True
Let y be 3*5/(-30) + 22/4. Let r = 22 - 7. Let v be y*r/125 + -1. Is v greater than 0?
False
Let l be (0 - -1) + 31 + 0. Suppose -5*u + 3*k - k = -1661, u - k = 334. Let p = -300 + u. Is p at least l?
False
Let h be (0 - 1)*(1 + -2). Let u be 655/9170*((-3)/(-11))/((-9)/12). Which is greater: h or u?
h
Let o = 4378 + -2036. Which is smaller: o or 2343?
o
Let m = -0.19313 + -905.70687. Let j = m + 906. Is -214 less than j?
True
Let n(l) = 7*l**3 + 6*l - 1. Let b(g) = -g**3. Let a(d) = 2*b(d) - n(d). Let j be a(2). Which is smaller: -85 or j?
-85
Let c be 40/(-55) + (-36)/132. Is -4/3429 at least c?
True
Let w be (95631/(-1143))/((1/6)/((-3)/6)). Which is smaller: 256 or w?
w
Let v = 48 + -254. Let f be (-108)/270 + 1/((-465)/v). Which is smaller: 1 or f?
f
Let h be 4*((-107)/36 - 20/(-90)). Are -0.22 and h nonequal?
True
Let f be ((-3 + 1)/(-2))/((-2 - -3)/(-1)). Are -1/74 and f unequal?
True
Suppose 600 = 16*p - 11*p. Let y be 19/95 + (-19)/p. Suppose 0 = 8*k - 7*k + 1. Is y greater than or equal to k?
True
Suppose -2*i = -5*k + 31, 0 = 42*i - 43*i + 3*k - 16. Which is smaller: -1.26 or i?
i
Let i be 8/(-16)*(-4)/6*63/21. Is -2/16659 less than or equal to i?
True
Let a = -390500625/497 + 785716. Let q = a + -2/71. Suppose -3*c = -y + 16, y + 2*c = c - 4. Do y and q have different values?
True
Let i = -6659 + 6658.7. Which is smaller: -684 or i?
-684
Suppose -330 = -6*q - 4*q. Suppose -q = -4*h - 29. Which is smaller: h or 101/4?
h
Let x = 16.16 + 0.84. Let h = 52 - x. Which is smaller: h or 0.2?
0.2
Suppose -4 = 3*z + 2. Let r(f) = -7*f**3 - f**2 + 4*f - 2. Let i be r(1). Let y be (9/i)/((-18)/(-24)). Is y smaller than z?
False
Let q(v) = v**3 + 5*v**2 + v - 4. Let d be q(-4). Let a = 9 - d. Let y = 0.24325 - -0.02675. Which is smaller: a or y?
y
Let n be 6 - 1836/(-3213)*(46/(-4) - -1). Is -20/267 > n?
False
Suppose -390 = 2*n + u, -n = 4*u - 12452 + 12675. Let s be (-1)/(-3) - 1142/6. Is s at least n?
True
Let t = 246.4 - 245.3. Let h = 0.75 + 0.15. Let r = t + h. Which is smaller: 1/7 or r?
1/7
Let v = -2884.72 - -2909.72. Let p = 0 + -4. Which is bigger: v or p?
v
Let p be (145/10)/1*2. Suppose -125 = -12*m - p. Suppose 0*c = -5*c + 2*n - 11, m = -5*c + n. Are 2/199 and c equal?
False
Let o be -2 - 27*(-6)/9. Suppose -l = -4*u + 485, -o*l + 20*l + 20 = 0. Which is smaller: 121 or u?
u
Suppose -2*k + 92 = j, -178 = -11*j + 9*j - k. Suppose 3*o - 262 = -h, -5*o - 3*h = -2*o - 270. Which is greater: o or j?
j
Suppose -3*p = -3*g - 72, p - 6*p + 4*g = -119. Suppose 667 = -33*s + 62*s. Is p less than s?
False
Let d = -21.371 - -22.254. Is 2/3 <= d?
True
Suppose 42 = 11*r + 3*r. Suppose 4*j - r = -h, 3*j + 3 = -h + 5. Which is smaller: -2/73 or j?
-2/73
Let s be -1*(-5)/(-10)*-8 - 2. Suppose -s*w - 1 = -23. Is w != 1?
True
Let x(g) = g**2 - 24*g - 124. Let j be x(28). Let q be 0 + -1 + (-52)/j. Which is smaller: q or -3/4?
-3/4
Let u = 197/8 - 395/16. Let i be 9/(-3)*-1 - 1. Suppose -p - 2 = -3*d, 0*d = -d - p + i. Is d equal to u?
False
Let q be (-40)/(-6) - 6/9. Suppose u = q*u. Let i be (17/(-850))/(0 - 3/36). Which is greater: i or u?
i
Suppose 65*c - 67*c + 180 = 0. Suppose -20*j + c = -19*j. Suppose 9*b + 63 + j = 0. Is -17 > b?
False
Suppose 0 = 44*q - 15*q - 115*q - 19264. Which is smaller: -225 or q?
-225
Let h be (-1720)/12 - 5/3. Is -149 >= h?
False
Let m be 6*1448/36*(-36)/60. Which is smaller: -145 or m?
-145
Let y(o) = -3*o**2 + 9*o - 1. Let x(z) = z**2 + z. Let b(s) = 2*x(s) + y(s). Let m be b(0). Is -1/971 < m?
False
Let l = 53623/7 - 7695. Which is bigger: l or -34?
-34
Suppose 86 = -5*a - 34. Let j be (-72)/(-126) - a/7. Suppose 2*k - 34 = -2*g + 24, 0 = 3*g - j*k - 101. Is g != 29?
True
Suppose 6*d - 33390 = 36*d. Let x = d + 5582/5. Which is bigger: x or 3?
x
Suppose -3*q = -3*x + 9, -9 = -0*q - q + 5*x. Let l be ((-812)/(-42))/(4/q). Are 2 and l nonequal?
True
Suppose 0 = -2*r + 4 - 2. Suppose -i = 