*g = -p + 34. Which is greater: g or y?
g
Let b = 33391/7209 - 350/81. Let f = -2/89 - b. Is 44 smaller than f?
False
Suppose 0 = 3*v - 5*o + 36, -3*o + 16 + 7 = -2*v. Let m(h) = -2*h**3 - 12*h**2 + 6*h - 31. Let j be m(v). Does 26 = j?
False
Let h = 7.3 - 5.3. Let y = h + -1. Let x = y - -1. Is -0.03 at most x?
True
Let y = 4.6 - 5. Suppose -38 + 144 = 5*u + 2*z, -4*z = u - 32. Let o be ((-96)/80)/(8/u). Is y not equal to o?
True
Let l = -250.08 + 250. Let f = -0.18 - -0.2. Let o = l - f. Which is bigger: o or 0.16?
0.16
Suppose -2*q + y = 5*y, -q = 3*y. Let k be (-10)/(-660)*1631/58. Let g = 3/319 - k. Which is bigger: g or q?
q
Let q = 0.277 + -0.212. Let a = q - -0.035. Do a and 9 have different values?
True
Let j = 36.985 + -20.394. Let r = j - 0.591. Which is greater: r or -2?
r
Let c(k) = -k**2 - 10*k - 8. Let z be c(-10). Let l(o) = o**2 + 26*o + 142. Let q be l(z). Is q > -20/9?
True
Let l = -10 + 11. Let u be (1/178)/(l/4). Let k = 394/1691 - u. Which is bigger: 1 or k?
1
Suppose 12 = 175*h - 171*h. Suppose 5*b + 2*t + 328 = h*t, 6 = -3*t. Is b at least as big as -66?
True
Suppose 10*g + 650 = 23*g. Suppose 52*m = g*m + 2. Which is smaller: m or 10/7?
m
Let g = -42 - -43. Let w be (-10)/15*g*-3. Let u be (0/w)/(-34 + 32). Is u equal to -2/193?
False
Suppose 5*c + 410 = 5*g, -230 = 4*c + 3*g + 112. Let k(w) = -w**2 + 4*w + 242. Let l be k(-16). Which is bigger: l or c?
l
Let i = -0.03947 - -0.03547. Which is smaller: i or -7/6?
-7/6
Let r be ((-17)/4*66/77*161)/9. Is r at most as big as -66?
False
Let s = 24974/3 - 171464/21. Let t = 3961/28 - s. Is -18 at least t?
True
Let y = 1147.4 + -1147. Let t = 5 - 5.6. Let s = y + t. Which is greater: s or -5?
s
Let i be ((-13)/32864)/((-619)/679774). Let y = i + -145/619. Let l = -3/16 + y. Which is smaller: 0 or l?
0
Let j = 124 - 116. Suppose j*n = 12*n - 556. Suppose 0 = 4*a - 39 + n. Is -97/4 at least a?
True
Let g = -43 + 78. Let n be 6/15 - (-21)/g. Let o = -96/13 + 929/117. Does n = o?
False
Let l = 414313/146960983 + -2/82147. Is -1 less than l?
True
Suppose 24*m = -0*m - 2*m - 2808. Which is smaller: -24 or m?
m
Let q = -1300 - -1303. Let o(s) be the first derivative of -s**3/3 + 13*s**2/2 - 10*s - 12. Let j be o(12). Which is bigger: q or j?
q
Suppose -p - 19 = -4*g, 6*p = 4*g + 3*p - 9. Let m be (420/50)/(g/20). Is 163/6 bigger than m?
False
Let i(t) = -t**3 - 6*t**2 + 123*t + 508. Let z be i(-4). Which is smaller: z or 65?
z
Let r be (3360/1232)/((-16)/792). Let c = -361 + 225. Which is smaller: c or r?
c
Let m = -44 + 48. Suppose 5*a + 94 = 2*z, m*z - 3*z = 3*a + 45. Let n = z - 64. Which is smaller: -9 or n?
-9
Suppose 0 = -4*w - w. Let g(k) = k**3 + 5*k**2 + 6*k + 11. Let f be g(-4). Suppose -10*x + f*x + 224 = w. Which is smaller: 33 or x?
x
Let s = -152 + 23. Suppose -4*v + 56*o - 517 = 55*o, 2*o + 1654 = -13*v. Which is smaller: v or s?
s
Let a = 53.236 + -0.636. Let r = -47.6 + a. Let v = 3 - 4. Which is smaller: v or r?
v
Let a be 10/(-200) - 2044393/(-260). Which is bigger: 7864 or a?
7864
Suppose 5*o - 5*m + 12 = 3*o, -3*o = 5*m + 43. Let q be o/44 - 1340/(-112). Which is smaller: 12 or q?
q
Let x be (8/10)/(44/(-3410)). Is x < -804/13?
True
Let n(a) = -19*a - 1509. Let r be n(-80). Are r and -171 equal?
False
Let z = -126 + 149. Suppose z*i - 407 = 12*i. Which is smaller: 36 or i?
36
Let t = 5980.1 - 5980. Which is smaller: 0.1282 or t?
t
Let b = -610 + 1233. Which is smaller: 622 or b?
622
Let h(c) = 2*c - 2. Let r(u) = 2*u - 1. Suppose -5*g + 30 = -4*q + q, -4*q = 20. Let v(n) = g*h(n) - 2*r(n). Let x be v(2). Is -1 at most x?
True
Suppose -10*f = 442 - 492. Suppose 0 = 4*d + f*n + 19, 6*d = 3*d - 5*n - 13. Which is bigger: d or -4?
-4
Let k(c) = -22*c - 88. Let t be k(-4). Let l be (8 - t)/(-2) - (-93)/155. Are -2 and l equal?
False
Let j = -13871.2 + 13871. Let k = -0.1 + 0.09. Let z = k - -0.04. Is j less than z?
True
Let s = 12042 - 12030.1. Is s bigger than 13?
False
Suppose -235*c + 241*c = -6. Let r be (24/(-240))/(126/(-124) - c). Is 6 > r?
False
Suppose 10*n + 10*n - 5*n + 14670 = 0. Let i be (254/(-246) + 1)*30075. Let u = i - n. Which is greater: u or -3?
u
Let y be (-15201)/5 - 92/(-575)*15/2. Is y <= -3039?
True
Let x(g) = -g**2 - 1. Let q be x(1). Let a be (5 - (3 - -2))*q/8. Suppose -3*z - m - 3*m + 4 = a, 4*z + 1 = m. Which is greater: 1/27 or z?
1/27
Let u be 6*1/21 + 0. Let m be 44/28 + (-1)/(-7)*-4. Suppose -7 + m = -3*b. Which is smaller: u or b?
u
Suppose 5 = x - 4. Let z be 4/24 - ((-18)/(-4))/x. Let r = 3.95 + -4. Which is bigger: z or r?
r
Let d = -158464/47541 - 2/15847. Which is greater: 1/13 or d?
1/13
Let i(p) = -p**3 + 25*p**2 + 81*p + 96. Let y be i(28). Suppose -3 = -4*f + 9. Do f and y have different values?
True
Let u = -215.3 + 144. Let n = 72.2 + u. Which is smaller: n or -0.22?
-0.22
Let t = 245 - -43. Let f = 288 - t. Is f at most 90?
True
Let j be 3855*((-32)/(-112) - (-54)/105). Which is bigger: j or 3085?
3085
Let v = 594549/13 - 45797. Which is greater: -62 or v?
-62
Suppose 0 = -12*d + 757 - 1945. Let h = -104 - d. Suppose 0 = j - 2*a - a, 0 = 3*a + 9. Is j >= h?
False
Let i be -11*(2 + 0)*(-1372)/(-1960). Is i at most -4?
True
Let v = 173 - 166. Suppose 6*l = -v*l - 208. Is -13 equal to l?
False
Let b(q) = -6*q**3 + 3*q**2 - 4*q - 10. Let n be b(-3). Suppose 4*m + 273 = -n. Let x = m - -105. Which is bigger: -8 or x?
-8
Let l = -22058 - -22014. Is l at least as big as -76?
True
Suppose -432 - 171 = -9*b. Let f = b - 78. Which is bigger: f or -7?
-7
Let l be 120/(-99)*(3276/3290)/13. Is 0 > l?
True
Let q = -279 + 285. Suppose 3*a - 2*j + 15 = q*a, 0 = 5*j. Is 2 equal to a?
False
Suppose -13*k + 57*k = -132. Let l = 5/32 + -511/96. Let c = l - -73/42. Is c smaller than k?
True
Let o = 199/189 + -15/14. Let u(l) = -23*l - 105. Let p(n) = -6*n - 26. Let t(c) = -9*p(c) + 2*u(c). Let z be t(-3). Is z not equal to o?
True
Let x = 220 - 218.89. Let n = x - 1.11. Let b = 0.3 - 0.31. Are b and n equal?
False
Let t = 106 - 136. Let w be (-103 + 1)*t/45. Let h = w + -76. Are h and -6 unequal?
True
Let r = 37 - 34. Suppose -6 = -3*c + r*a, -2*c - c = -a - 10. Suppose -t + 4*q = -1, -4*q + 20 = -c*t - 0*q. Which is smaller: t or -23/3?
-23/3
Suppose -5*o = 5*d + 35, -o + 3*o + 3*d = -16. Let x(n) = -n**3 - 4*n**2 + 5*n + 2. Let u be x(o). Suppose -a + 6 = -u. Do 10 and a have the same value?
False
Let k(z) = -47*z - 2476. Let f be k(-77). Is 1142 not equal to f?
True
Let s be 0/(-7) + 1 + -3 + 724. Let i = -536 + s. Do i and 187 have the same value?
False
Let u = 49/207 + -1/69. Let s = -57.64233 + 1.64233. Which is greater: u or s?
u
Let u = 254.23 + -253. Let s = -191.145 + 191.045. Which is smaller: u or s?
s
Suppose 0 = -0*b - 5*b. Let h be (2 + (-196)/80)/(((-147)/(-56))/(-7)). Is b bigger than h?
False
Let z = -288 - -25582/89. Which is smaller: z or -2?
-2
Let z be (25 - 2701/111)/((-2)/(-20364)). Is 6789 less than or equal to z?
False
Suppose 0 = m + 2*m + 9. Let f be (-234)/(-108) - (m - (1 + 0)). Is 7 less than f?
False
Let h(r) = -106*r - 3313. Let g be h(-31). Which is smaller: -121 or g?
-121
Suppose 3*b + 5*o - 49 = -89, -3*b - 32 = 4*o. Which is smaller: 38047 or b?
b
Let i = -1319 - -1319.1. Are 133/55 and i unequal?
True
Let n be 927374/1575 - (-128)/(-144) - (-4)/50. Which is smaller: 591 or n?
n
Let p = 474 + -250. Let z = p + -363. Is z > -138?
False
Suppose 0 = 3*k + p - 8, 3*p = 14 + 10. Is -2/17235 smaller than k?
True
Let f = 10 + 1. Let z = -51 + 51. Suppose 3*m - 3*h = 6*m - 51, z = -m - 2*h + 22. Is f smaller than m?
True
Suppose 17 - 5 = z - 2*y, 8 = -2*y. Let f be 540/(-14) - z/(-2). Is -38 != f?
True
Let z be 26/(-78) - (2 + 46/6). Let t(i) = i + 14. Let l be t(-20). Let u be 10*((-6)/20)/(l/(-16)). Which is greater: u or z?
u
Let i(u) = u**3 + 59*u**2 + 9*u + 486. Let p be i(-59). Which is smaller: p or -72?
-72
Suppose 7*f + 2*n = 6*f - 27, 5*f - 5*n = -150. Let a(v) = -v**3 - 28*v**2 + 31*v + 58. Let r be a(f). Is r != -5/119?
True
Let r be (-3)/1 - 1/16*22. Which is greater: r or -3?
-3
Let j = -11 + 23. Let u = 6 - j. Let m = 375970/3 + -125324. Which is smaller: u or m?
u
Let w(g) be the second derivative of -g**5/20 - 17*g**4/6 + 11*g**3/2 - 69*g**2/2 - 2*g + 1. Let c be w(-35). Which is bigger: 2/