*g + 15. Which is greater: g or -9?
g
Suppose 0 = 44*q + 2*q - 4232. Which is bigger: q or 90?
q
Suppose -264*s + 3262 = -271*s. Is s less than -466?
False
Suppose -4*f - 3*t - 1 = -17, -3*f + 5*t - 17 = 0. Let o be 30/(-72) - f/(-6). Let m be -20*(-2 - 20/(-16)). Is o greater than m?
False
Let f = -0.75 + -55.25. Let r = f + 34. Let y = -20 - r. Do y and -1/5 have the same value?
False
Let w = -138 - -139. Which is bigger: w or -2/337?
w
Let p(c) = -c**2 - c + 64. Let l be p(-8). Let o(y) = -4 + 3 - 2 - 4*y. Let x be o(-3). Which is greater: x or l?
x
Let n be (119/2)/((-3)/(-2) - 1). Let d be n/34 - 1*-1. Is 6 != d?
True
Let b be (-79)/5 + (1 - (3 + -2)). Which is bigger: -16 or b?
b
Suppose 8*h - 3*h = -4*o + 39, -2*h - 3*o = -17. Let z = 42 - 43. Let v be 4*z/((-5)/10). Is h bigger than v?
False
Let m = -39 + 70. Let p = m - 30.99. Is 0.3 not equal to p?
True
Let m(x) = x**3 - 20*x**2 - 22*x - 27. Let t be m(21). Which is greater: -45 or t?
-45
Let i be 0 + 0 + 0 - -2. Suppose -2*q = i - 4. Let r be (-2)/(-1) + q + -2. Is r < 1/5?
False
Suppose 11*r + 9 + 2 = 0. Which is bigger: r or 1/273?
1/273
Let m = 727/30 + -143/6. Is -2/507 at least m?
False
Let p(y) = y**2 + 7*y + 6. Let m be p(-6). Let k be (65/35)/13 - (-1)/(-5). Which is greater: m or k?
m
Let m be 5 - 47*(-6)/(-54). Which is smaller: -1 or m?
-1
Suppose 23 = 3*h + v - 2*v, 0 = -v + 1. Let r(d) = d**3 - 8*d**2 - 2*d + 5. Let a be r(h). Is -11 smaller than a?
False
Let a(u) = 14*u - 1. Let o be a(1). Let i = 34 - 31. Suppose -4*d + 0*d + 5*h = -32, i*h + 53 = 5*d. Are o and d equal?
True
Suppose b = 2*a + 1, -b + 26 = 4*b - 3*a. Let x = b - 2. Are 2 and x non-equal?
True
Suppose -13*c - 1934 = 3682. Which is bigger: c or -433?
c
Let g be (-3 + 5)/((-24)/(-12)). Which is bigger: g or -12/67?
g
Let l be (-10 - (-7 - -1)) + 11. Is 8 equal to l?
False
Suppose -61 = 3*x - k, -x - 2 = -4*k + 11. Which is greater: -19 or x?
-19
Let v be 2/3 - (-3)/(36/88). Suppose 14 = -2*q + 7*q - b, q + 2*b - 5 = 0. Which is bigger: q or v?
v
Let n be (-1)/4 + 1/(32/168). Let a = 139/34 - 10/17. Is n at most a?
False
Let r = -3 + -2. Let h(t) = -t**3 - 5*t**2 - 2*t - 4. Let n be h(r). Let l be (-18)/n - (-236)/78. Which is greater: -1 or l?
l
Let w = -1139 + 972. Is -505/3 equal to w?
False
Let o = -14669/6 - -2451. Do 6 and o have different values?
True
Let n be (-54)/513 - 177/(-57). Suppose -5*o + 6 = -14. Suppose o*r - 2 = 3*r. Is n not equal to r?
True
Let q = 15.81 - 15.81. Is -10/3 <= q?
True
Let z = -546 + 398. Is z bigger than -0.3?
False
Let t(h) = -26*h + 10. Let j be t(-5). Let y be ((-21)/j)/(1/(-4)). Is 4 at least y?
True
Suppose -2*i - 62 = -2*j, 3*j - 48 = -3*i + 15. Let m be 238/10 + -5 + 7. Let a = m - j. Which is bigger: 4/3 or a?
4/3
Let l = -323/2 + 469/6. Let q = l - -84. Does q = 7?
False
Let z = 0.276 + -0.006. Let d = 0.07 - z. Which is bigger: 2/5 or d?
2/5
Let v = -7.74 - 0.26. Let j = 7.97 + v. Which is greater: j or -2?
j
Let s = -60 + 42. Let c = 11 + s. Let b = 8 + c. Is b at most as big as 0?
False
Let y(q) = -7*q + 1 - 2*q + q**2 + 8*q. Let k be y(0). Which is smaller: -4/15 or k?
-4/15
Let m(r) = -2*r**2 + 18*r + 18. Let u be m(10). Let p be -4 + (-1 - ((-2 - u) + -3)). Which is greater: -3/5 or p?
-3/5
Suppose 6*i = 3*i - 108. Is -32 at most i?
False
Let i = -0.39 - 0.57. Let p = -0.04 + i. Let v = p - -1.1. Which is smaller: v or -0.04?
-0.04
Let m be ((-24)/(-18))/((-172)/(-6)). Let g(z) = z**2 - z. Let j = -8 + 9. Let i be g(j). Which is smaller: m or i?
i
Suppose -3*c = 2*c - 25. Suppose -c*z = a + 6, 3*a + 0*z + 3*z = 6. Suppose -5*s + 2*m + 85 = 0, -5*s + a*m - 3*m + 80 = 0. Is 15 at most as big as s?
True
Let z = 193/1730 - 2/173. Let p be (70/(-245))/(1*(-1)/7). Which is smaller: z or p?
z
Let p = -14 - -25. Let j = p + -27. Let k = j - -16.2. Which is greater: k or 3?
3
Let x = 1178 - 707. Let s = -22045/9 - -35633/18. Let y = x + s. Are y and 0 non-equal?
True
Let s(c) = -c**2 + 14*c - 42. Let u be s(6). Suppose 10 = u*q + 4. Does 1/23 = q?
False
Let u(r) be the third derivative of 0 + 1/24*r**4 - 8*r**2 + 0*r - 1/2*r**3. Let s be u(-7). Is s greater than -11?
True
Suppose 75 + 15 = 9*p. Suppose 0 = 10*t + 40 - 160. Which is smaller: p or t?
p
Let x = 66 + -52. Let w be 3/(-2) + x/28. Which is smaller: w or -1/50?
w
Let m = 42 - 19. Suppose 0 = -8*j - m - 121. Is -18 not equal to j?
False
Let x = -0.586 - 1.414. Which is smaller: x or -198?
-198
Let n = 43 - 41. Let s be n/(-8) - (-54)/(-24). Which is bigger: s or -0.2?
-0.2
Let f = 9816/1591 - 230/37. Suppose 3 = -3*p - 0. Which is greater: p or f?
f
Let z(w) = 16*w**2 - w. Let r be z(1). Suppose r = 3*f - 0*f. Is 0 less than f?
True
Let s be 11/33 - 548/(-3). Are s and 183 equal?
True
Let d = 85 - 89. Let i be 2 + 0/2 - -9. Let l be d/10 - i/(-15). Which is smaller: -1 or l?
-1
Let f be -4*(300/(-8))/(-3). Is -51 > f?
False
Let b be (9/723606)/(5/2). Let q = 384837809/3618030 - b. Let o = -320/3 + q. Is o equal to -1?
False
Let w be (9*(-25)/(-720))/(2/(-8)). Is 17/5 >= w?
True
Let m = -7.6 - -7.3. Is m bigger than -55?
True
Let x(h) = 4*h + 31. Let j be x(-9). Let q be (-2 - -6) + 1*2. Suppose -p + 0*p = q. Are p and j equal?
False
Let d = -0.09 + 0.09. Let r = d - -1. Suppose 3*i - 1 = -4. Which is smaller: i or r?
i
Let a(x) = 3*x - 9. Let d be a(-3). Let r be (-4)/18 - 22/d. Let i be r/(3/54*-3). Which is smaller: i or -7?
-7
Suppose -3*j - 11 = -5. Suppose 12 = 3*u - s, -7*s = -2*u - 10*s + 8. Let t = u + j. Which is greater: 7 or t?
7
Let p be -2*(1 - 19/(-6)). Let k be (1 + 5)*15/(-10). Let o = p - k. Which is greater: 1/3 or o?
o
Suppose 20 = -5*d - 0. Let c be (-370)/40 + (-1)/d. Let x = c + 8. Is -1/7 at least as big as x?
True
Suppose 2*b = -3*b - 10. Let m = 3/21736 - 326061/152152. Which is smaller: b or m?
m
Let q = -0.8 - -5.8. Let o = q - 6. Which is greater: -46 or o?
o
Let u be -2*1*(-203)/48*-38. Let y = -322 - u. Which is greater: 0 or y?
0
Suppose 1908 = 7*o - 3*o. Let d = o + -20035/42. Let g = d - 19/84. Which is smaller: 0 or g?
g
Suppose 1 = 2*t - 3. Suppose 0 = -t*u + 12 - 0. Let c be 70/u + 7/21. Are 12 and c equal?
True
Let l = -2344 - -5038. Is 2695 <= l?
False
Let n(s) = 3*s**3 - s**2. Let u be n(-1). Let t be u + 35 + (8 - 4). Is t at most 69/2?
False
Let g = 6.44 - 6.5. Is g equal to 0.5?
False
Let s(p) = -3*p + 12. Let k be s(4). Suppose k = -3*g + 6*g. Suppose 3*i = -g*i + 6. Is 2 <= i?
True
Let d(t) = -t + 3. Suppose -2*f - 1 - 9 = 0. Let y be d(f). Suppose -j - y = -3*i, -3*j - 4*i + 4 = -j. Is j greater than -1?
False
Let q be -22*((-745)/10 - 3). Let g be (2/(-15)*-6)/((-558)/q). Which is greater: g or -1?
-1
Let h be 738/(-14) + 9/((-252)/8). Let g = 211/4 + h. Which is smaller: g or -13/4?
-13/4
Let z be 18/24 + (-4)/(62064/11661). Is z at most as big as 1?
True
Let t = -2689 - -2644. Let u(n) = -45*n**3 + 2*n - 1. Let w be u(1). Which is smaller: w or t?
t
Let k be 80/(-15)*3/(-2). Let t be 92/(-48) + 2/k. Let j = 34 - 33.9. Is t greater than or equal to j?
False
Let p = -3.09 + 5.09. Are 152/11 and p equal?
False
Let g = -2/1777 - 1571/183031. Which is smaller: 1 or g?
g
Let m be ((-40)/50)/(4/(-30)). Let v be ((-3)/30)/(m/15). Which is smaller: v or 7?
v
Let t = 1.8062 - -0.1938. Which is smaller: -58 or t?
-58
Suppose -14*r = -2*r - 324. Suppose 2*n = -n + 75. Let y = r - n. Which is smaller: y or 10/7?
10/7
Let n(k) = k**2 + 10*k + 24. Let v be n(-4). Is v greater than 325?
False
Let n = -15.29 - -0.29. Let v = 78 + -63. Let i = n + v. Which is greater: 1 or i?
1
Let g(o) = 51*o**3 + 9*o**2 - 2*o - 4. Let f be g(-2). Is f > -371?
False
Let q be ((-2)/5)/(2/40). Suppose -f - 3*h + 14 = 0, 2*f = 2*h + 18 + 10. Suppose d - 2*z = -f, -11 = -5*z - 1. Which is greater: d or q?
q
Suppose -33*k + 28*k - 305 = 0. Which is bigger: -59 or k?
-59
Let s = -162 + 1305. Which is greater: s or 1142?
s
Let r = -71 + 72. Which is greater: r or -1.77?
r
Let a be (0 + 3)*(0 - (-10)/45). Is 5/2 less than a?
False
Let b(u) = u**3 + 3. Let y be b(0). Let v(c) = -c**2 + 15*c - 16. Let m be v(15). Let j = -12 - m. Which is greater: y or j?
j
Suppose -21 - 6 = 3*p. Suppose 0 = -d - 4, -3*n - 4*d = 10. Let k be -1 - (n + p/3). Which is greater: k or 1/10?
1/10
Suppose -2*p - 5*p = -