 - 2*g, 10 = 2*h - 3*h - 3*g. Let n(f) = 4*f + 39. Let c be n(h). Let y be 3*(-4)/12 - c. Is y equal to 1/49?
False
Let l be (-1)/(-14)*-3098 - (-24)/84. Let y be (-747)/(-5916) + 26/l. Do 0 and y have the same value?
False
Let p = 1.7 - 8.7. Let c(n) = -n**2 + 30*n - 53. Let w be ((-16)/(-12))/((-1)/(-21)). Let k be c(w). Is k bigger than p?
True
Suppose -105*r - 270 = -33*r + 63*r. Suppose 7 = -a + y, 0 = 6*a - a + 3*y + 11. Is r equal to a?
False
Let v = -42173 - -42172.615. Which is smaller: -3 or v?
-3
Let p be ((-81)/(-9) - 12)*(-11061)/(-27). Is p > -1229?
False
Let p be (-5)/(-6)*116/145. Is p >= -170/3?
True
Let y(a) = 2 - 12*a**2 - 5*a - 2*a**2 + 15*a**2. Let r be y(0). Suppose -2*d = -3*g + 59 - r, 3*g + 4*d - 75 = 0. Is g at least as big as 24?
False
Let o be (-2 + (-36549)/(-54))/(15/180). Which is smaller: o or 8097?
8097
Suppose 0 = -4*c - 12, -2*b + 4*c = 2*c - 1104. Let v = b - 550. Which is smaller: v or -10/263?
v
Let i = 110 - 217. Let k = i + 106.88. Is 1 at least k?
True
Suppose 8*o = 1347 - 203. Suppose 0 = -4*p - 5*u + 188, 3*p = -3*u + o - 5. Which is smaller: p or 41?
41
Suppose 1693 = 171*g + 10585. Suppose 3*i - p = 3*p - 157, -253 = 5*i + 2*p. Is i equal to g?
False
Suppose -545 = 131*k - 136*k. Let y = -180 + k. Is y at most -70?
True
Let n be 210/(-195)*-1*((-162)/(-24) + -7). Suppose f + 7 = -3*t, 0*t + 3*f = -5*t - 13. Let x be t/7 - 4/(-14). Are n and x nonequal?
True
Let x be 4/3*3/(-2) + 22954/11339. Is x <= 0?
False
Let n = -41 + 0. Let o = -123009 + 122968. Is o bigger than n?
False
Suppose q = b, -187*b - 3*q = -183*b. Is b at least as big as 1/1535?
False
Let n = -268/215 - -2/43. Let a(c) = -14*c + 358. Let w be a(25). Suppose -4*h - 8 = -4, -2*l - w = 4*h. Is l at most as big as n?
True
Let x(j) = -100*j**2 + 21*j - 146. Let p be x(6). Is -3620 smaller than p?
False
Suppose 5*f = 4*w + 399, f - 3*f + 2*w = -160. Let a = f + -70. Let h be (a/(-204))/(12/48). Is h bigger than 1?
False
Let x(t) = 3*t**2 + 5*t + 28. Let o be x(7). Let d = -228 + o. Which is smaller: d or -14?
d
Suppose -15*d + 305 = 95. Suppose 30 = -19*v + d*v. Let l be ((-8)/v - 2)/(26/(-39)). Is -2/35 equal to l?
False
Let g = -25.7 + 27. Let h = -0.3 + g. Let i = 228489 + -228489. Which is smaller: i or h?
i
Let s(q) = q**3 - 20*q**2 + 16*q + 60. Let w be s(19). Suppose -245 = w*u - 242. Which is smaller: u or 1/26?
u
Suppose -2*u + 4*c - 16 - 10 = 0, 8 = 2*c. Which is smaller: u or -12?
-12
Suppose -4 = 5*h + 22*y - 19*y, 2*h - 5 = y. Is h not equal to -4/2953?
True
Let t = -8810 - -8708. Is t at most as big as -72?
True
Let b = -510 + 514. Suppose b*y - 12*l = -9*l - 70, 2*y + 24 = -4*l. Is -17 at least y?
False
Suppose 6*q = 5*o + q - 35, 0 = -5*q - 25. Suppose 9*u = 10*u - 4. Let i be (-230)/(-35) - u - 2. Does o = i?
False
Suppose -7*v = 2*v. Suppose 3*z = 4*s - 2*z - 15, -2*s - 5*z + 45 = v. Let k be s/(-6) - 6*1/3. Which is smaller: k or -5?
-5
Suppose 71*v - 64*v - 28 = 0. Suppose 4*w + v*h - 8 = -0*w, w + 2 = 3*h. Is -1/1080 not equal to w?
True
Let s be (2 + -1)/((-292)/(-84)). Let x = s + -1/511. Let i be 9/5 + 5/25. Is x at most i?
True
Let y be (6/(-27))/((-249)/36 - (-10 - -3)). Suppose 2*x + 28 = 3*i, 0*x - 28 = -4*i - 2*x. Suppose 2*j + 3*f - i = -26, 2*f = -8. Which is greater: j or y?
y
Let l(v) = -5*v**2 + 18*v + 35. Let z be l(-20). Is z greater than -2325?
False
Let f be ((-1)/(-28))/(7/42724). Let h = f - 218. Let b(i) = -2*i + 8. Let t be b(4). Is h not equal to t?
True
Let p = 3529 + -7751. Which is smaller: p or -4221?
p
Let h = 41.1 + 7.9. Let t = -0.00404 + 2.00404. Are t and h equal?
False
Let h be 54/10 - ((-16)/10 + 2). Suppose -h*d + 25 = 5*p, 2*d = 6*d - 5*p - 2. Suppose 1 = -5*z - u, -z + 2*z + u = d. Is z at least as big as -15/8?
True
Let j = -5.609 - 37.521. Let y = j - 0.87. Let g = 53 + y. Which is bigger: g or 2?
g
Suppose -59*z - 203 = -675. Is -13 at least as big as z?
False
Let v(b) = 5*b**2 - 13*b - 1. Suppose -5*t - 3*z + 8 = z, 5*t + 5*z = 5. Let j be v(t). Is j not equal to 27?
False
Let f(b) = 3*b + 15. Suppose -233*d + 12 = -235*d. Let y be f(d). Let z be (-2)/4*0/y. Do -98 and z have the same value?
False
Let c = -1369904 + 17819522/13. Is c smaller than 829?
True
Let x(o) = -5*o + 85. Let p be x(16). Suppose -p*g = -31*g + 78. Which is bigger: -18 or g?
g
Let p = 293671/11 - 26716. Let c = p + 23608/1265. Is 1 > c?
True
Let i(n) = 11*n - 83. Let m be i(8). Suppose 403 = m*f + 408. Which is smaller: f or 3/64?
f
Let g be (-2)/12 - (12/9 + -2). Let v = 173.7 + 106.3. Which is bigger: v or g?
v
Let h be 18/49339822*91/21. Let m = -51835239997/147205358937 + h. Let x = -2/2457 + m. Which is bigger: x or 0?
0
Suppose 3*j + 47200 - 47037 = 2*j. Which is bigger: j or -108?
-108
Let o = 4232.1 - 4232. Which is smaller: 1/2047 or o?
1/2047
Suppose 5*r - 3*c - 286 = 0, -5*c + 65 = r - 9. Let l = -18 + 10. Let g be l/(-48) + 706/12. Is r smaller than g?
False
Let u = -83.69 + 81. Let s = 3.31 - u. Suppose 0 = -2*c - 2*c. Is c greater than s?
False
Let r = -42 + 42.8. Let z = 0.6 - r. Let f = 0.14 + z. Which is smaller: -0.1 or f?
-0.1
Let m = 841 + -160. Let r be (-101736)/(-152) - -10 - -2. Let v = r - m. Which is greater: v or 0?
v
Let l be (-4)/6 - 320/15. Let d = -14 - l. Suppose -3 = 5*q - d. Is q bigger than 2?
False
Let d = 22 + -15. Let g = d - -12. Let j = g + -22. Do -3 and j have the same value?
True
Suppose -i - 62 = -32*i. Let n be (i - 2/(-1)) + -5. Is n bigger than 2?
False
Let s = 131.9 - 2.9. Let v = -128.98 + s. Let k = -3.99 - 0.01. Which is bigger: k or v?
v
Let w = 33371 - 15057. Let a = 164636/9 - w. Is a > -21?
False
Let x(w) = 4*w**2 + 13*w - 7. Let l = -32 - -26. Let p be x(l). Is 60 > p?
True
Let n = -2/310291 - -1554307/442474966. Is 0 bigger than n?
False
Let p = -149945.63 + 150583. Let r = -637 + p. Which is bigger: r or -3?
r
Let z be (292 - 279)*(-4)/(-39). Which is smaller: z or -2742?
-2742
Let r(v) = -2*v**2 + 14*v - 13. Let a be r(1). Let y be (a - (-64)/54)*8/20. Which is smaller: y or 0?
0
Let k(p) = p**3 - 15*p**2 - 169*p + 2542. Let a be k(15). Is a != 33?
True
Suppose 0 = 6*r - 38*r - 416. Let v = 146 + -160. Is r bigger than v?
True
Suppose -3*w + 999 = -3*f, -2*f - w = -6*f - 1335. Let o = f - -337. Let v be (-13)/(-4) + 1/4. Which is smaller: v or o?
o
Let d be 0*(-12)/504*-14. Which is bigger: d or -6/4595?
d
Let x = 155 - 152. Let w = 8.6 - -0.4. Let d = 9 - w. Which is bigger: d or x?
x
Let i = 36/7 + 289/35. Is -2 bigger than i?
False
Let v be 2 + -2 + -18 + 15. Let k be v/4 - 1436/(-16). Do 89 and k have the same value?
True
Let i = -4.972 + 3.972. Is i not equal to -1/388?
True
Let x(i) = -i**3 + 19*i**2 - 10*i + 23. Let r be x(5). Which is greater: r or -0.9?
r
Let v(p) = -85*p + 55. Let l be v(-7). Suppose -47 = -y + 5*g + 71, -5*g = 5*y - l. Do 129 and y have the same value?
False
Let a = 32934 - 24953. Which is bigger: a or 0?
a
Suppose 4*a - 7*l = -9*l - 10, 5*a + 4*l = -17. Which is bigger: 24/191 or a?
24/191
Let m(u) = u**3 - 10*u**2 + 11*u - 103. Let i be m(10). Let y be 6/1*((-42)/36)/i. Which is greater: y or 109?
109
Let g = 207 - 165.8. Let f = g - 29.2. Is f >= 3/2?
True
Suppose 3*r - 29*x + 5 = -31*x, 0 = -4*r + 4*x. Which is smaller: 9/533 or r?
r
Suppose -21*f + 19*f - 5*a = 2387, 5*f = -2*a - 6020. Do f and -1208 have different values?
True
Let z = -1257 - -108101/86. Let w(u) = 3*u + 6*u + 4*u**2 - u**2 + 0*u**2 - 8*u. Let j be w(0). Is j > z?
True
Suppose -320 = -2*l + 16*i, l - 114 - 20 = -5*i. Is l less than -14?
False
Let d = 52665424/1145 - 45996. Is d bigger than -1?
True
Let n = 5 + 0. Let c be (-2)/8 - (-65)/20. Suppose -y = -c*h + 38, -n*y + 5*h - 31 = 179. Does y = -44?
True
Let m = 2.286 + -2.386. Which is bigger: -429/4 or m?
m
Suppose 2*y + 4*h - 138 = -1002, 2*y = -5*h - 857. Is y greater than or equal to -449?
True
Let y be (-7 - -18 - 13 - 15859)/(1*-1). Is y equal to 15861?
True
Let n = -9308 - -9295. Is 1/2 >= n?
True
Let d be (-40845)/2415 - 4/46. Which is greater: d or -333/19?
d
Let k be (-2 + -25)/(1/(-2)). Let l be k/300*(-4)/(-2). Is 0 at most l?
True
Let q(h) = -143*h + 2742. Let o be q(15). Which is smaller: 600 or o?
o
Let k be 0 - -2*3*3/333. Suppose -2*m - 6 = -4*l + 2*l, 0 = -2*m + 4*l - 12. Whi