 be (-104)/(-10)*(-70)/4. Let x = -1279/7 - z. Is x greater than or equal to l?
False
Let g(o) = o**3 + o**2 - 6*o - 9. Let y be g(0). Let a be ((-2)/4)/((-3)/(-78)). Which is smaller: a or y?
a
Let n = -769 + 5384/7. Which is greater: -47/5 or n?
n
Let k(p) = -p**2 - 6*p + 4. Let h be k(-7). Let x = 34 + h. Let v = x - 27. Is 1 at least v?
False
Let r = -86 + 86.194. Which is bigger: r or 1?
1
Let x be (-2 - -5) + -2 + 0 + 871. Does x = 872?
True
Let n be (-15)/(-36) + 1/(-4). Let t = 1241 + -1241.1. Are n and t unequal?
True
Let p(q) = q**2 - 8*q - 3. Suppose -5*c + c + 28 = 0. Let k be p(c). Suppose 13*w - 11 = 14*w. Is w less than k?
True
Let o be 72/(-30)*20/(-6). Suppose 4*q - 60 = o*q. Let z be 4 - (-4 - q - 2). Is -3 < z?
False
Let o be 120/55 + 2/(-11). Suppose -o*b + 4*b - 46 = 0. Let q be 10/25 - b/70. Is -0.1 < q?
True
Suppose -16*p + 10*p = -30. Let u be (-3 - -13)/((-2)/(-2)). Which is greater: u or p?
u
Let l = -28.4 + 28.3. Is 275 at most l?
False
Let d = 39 - 40. Let r = 7 - d. Is r greater than -2/5?
True
Let v be 6/12*(-19 - -9). Do v and -14 have different values?
True
Suppose -4*l = -5*t - 1203, -6*t + 11*t - 25 = 0. Are l and 308 equal?
False
Let u(r) be the first derivative of -r**4/4 - 7*r**3/3 + 2*r - 2. Let b be 2/(-7) + (-13 - (-484)/77). Let v be u(b). Which is greater: 1/2 or v?
v
Suppose 5*w - 9*w = -8, 4*p + 2*w = 0. Which is bigger: p or 1/262?
1/262
Let l(j) = -3*j**2 - 79*j - 57. Let u be l(-25). Which is greater: u or 25?
u
Suppose -2*z + u = -0*z - 9, z + 13 = 4*u. Suppose -q + 10 - z = 0. Let l be (4/18)/((-2)/q). Which is smaller: 1/11 or l?
l
Suppose -q + 2*a + 517 = 0, 0 = -2*a + 10 - 2. Is 526 != q?
True
Suppose -2*v + 2*l = -2, -v - 2*l = l - 13. Let q be -4*10/(-16) - v. Let x = 2 + q. Are x and 2 equal?
False
Let y = 10 + 4. Let h be y/63 - 146/9. Suppose 0 = 2*q - j - 3 + 36, 0 = 4*j - 4. Is q at least as big as h?
True
Let n(c) = -2*c**3 + 9*c**2 - 8*c - 3. Let m be n(3). Let q = 8251 - 99073/12. Let f = q - -15/4. Is m equal to f?
False
Let u = 0.08 - 15.08. Let l = u - -22. Let f = 10 - l. Which is smaller: 0.4 or f?
0.4
Let w = -6 + 9. Suppose 29 + 31 = w*b. Let d be 13/34 - b/(-170). Which is greater: d or -2/9?
d
Let m = 1483 - 1386. Are m and 0.09 equal?
False
Let u(p) = 53*p - 245. Let v be u(6). Are 71 and v unequal?
True
Let y = 32 + -34.2. Let h = y - -2.3. Suppose j + 0 + 9 = -2*s, 0 = s + 2*j. Which is bigger: h or s?
h
Let a be 3/39 + 0/(-3). Suppose 10*s = -5*s. Is a at most s?
False
Let r(u) = -2*u**2 + 67*u + 20. Let y be r(22). Is 525 at least y?
False
Suppose 0 = -4*u + 329 - 325. Is 2/113 at most as big as u?
True
Let s = 285 + -2004/7. Let k = -37/28 - s. Which is smaller: k or -5?
-5
Let u = -23 + 22.74. Let j = u - -0.16. Let k = -0.53 - -0.48. Which is greater: j or k?
k
Let r = -5 - -7. Suppose -5*x = -5*z, 3*z - 2*x + 1 = r. Is -2/7 smaller than z?
True
Let f(j) = 2*j**2 - 19*j - 21. Let n be f(11). Which is bigger: -0.2 or n?
n
Suppose 0 = 3*a + 19 - 10. Let p be a*(3 + 30/(-9)). Do p and 2 have different values?
True
Suppose -660 = 48*q - 44*q. Does -166 = q?
False
Let w = -102 - -60. Let m be w/(-24) + (-2)/(-8). Let t = -8 - -4. Which is greater: t or m?
m
Let x = -2.3 + 2. Let p = -10.772 - -10.782. Which is smaller: x or p?
x
Let a be 1 + (8/14 - (-2473)/(-1547)). Is 1 greater than or equal to a?
True
Let u = 2.186 - 2.1. Which is bigger: 0 or u?
u
Let a = -35 + 44. Suppose a = 3*g, 5*z + 2*g - 5*g = -9. Which is greater: 2 or z?
2
Suppose 7*w + 2245 = 2*w. Let b = 699541/5 - 139461. Let i = b + w. Which is smaller: i or -2?
-2
Suppose 28*f + f - 116 = 0. Which is smaller: 15/4 or f?
15/4
Let r be 7/(245/535) + (-6)/21. Which is bigger: -1 or r?
r
Let y be ((-275)/22)/(-25) - (-19)/2. Suppose -f + 1 = -3*p - 1, 0 = -f + 4*p + 2. Suppose 3*w + f*w = y. Is 7/6 at most w?
True
Let k(p) = -7*p**3 - 3 + 1 - 3*p + 0*p + 8*p**3. Let i be k(3). Let j be i/6*18/12. Is 3 >= j?
False
Suppose -2*a = -4*g + 6, 4*g + 4 + 5 = 5*a. Suppose 3*n + 6 = -3*l - 6, l = -a. Let d(k) = k**2 - k. Let y be d(1). Which is bigger: y or n?
n
Let h be (0 - -2) + 4038/(-90). Let l = -43 - h. Is l at least as big as -1?
True
Let v = -70343/55 + 1279. Let d(r) = -4*r**2 - 4*r - 1. Let p be d(-1). Which is smaller: v or p?
p
Let d = -7.4 + 6. Let m = d + -10.6. Let c be ((-1)/(-3))/((-4)/(-12)). Which is smaller: c or m?
m
Let z = -5.24 - -33.24. Which is smaller: -5 or z?
-5
Suppose -2*a + 42 = b + 8, -4*b = 4*a - 152. Let p be (-12)/b - (-2)/(-7). Is p at most as big as -1?
False
Let q = -757 - -1477. Is 720 < q?
False
Suppose 3*q + 171 = -4*x + 1097, 1562 = 5*q + 2*x. Which is bigger: q or 315?
315
Let r = -652 - -654. Which is bigger: r or 42/71?
r
Let v = -491482/91 - -5401. Do v and -1 have the same value?
False
Let k = 449/1247 + -14/43. Let o(p) = -1113*p + 7792. Let z be o(7). Which is greater: z or k?
z
Let a(k) = -11*k - 1. Let n be a(0). Is 1/620 at most as big as n?
False
Let a be (-7)/3 + (-6)/(-18). Let t be ((-5)/(-15))/((-1)/(-12)). Suppose t*j = -x + 16, 3*j + j - 16 = 3*x. Which is smaller: x or a?
a
Let x = 751 - 2273/3. Is x equal to 0?
False
Let w = 112 - 126. Is w <= -2?
True
Let p be -4 - 3/(-3) - -5 - -2. Let u be (-15 - -20) + p + 1. Is 1 greater than or equal to u?
False
Let r be 14/35 - (-122)/(-30). Let x(g) = g**3 - 2*g**2 + 3*g + 1. Let i be x(3). Suppose 2*s + 2*s - 3 = -l, -3*l - i = -2*s. Which is greater: r or l?
r
Let k = 4463/9 + -497. Let o be (-94)/(-90) + 4/10. Let w = o + k. Is 1 equal to w?
False
Suppose -80 = 21*r - 1550. Let l be -2 + (0 - -74) + -2. Is l at least as big as r?
True
Let i be 1510/(20/(-4)) - 8/4. Is i greater than or equal to -305?
True
Let z = 1 - -2. Suppose -g - 2*g + z = 0. Which is smaller: g or 5/19?
5/19
Let f = -43801/7667 + -10/697. Which is greater: f or -6?
f
Let a be 5*(72/(-20))/(-3). Let l be -4 - (1/1 + -1). Let s = a + l. Is 3 greater than s?
True
Let k = 82 - 82. Suppose 0 = o - 0*o + 1. Is o < k?
True
Let m(d) = d**2 + 28*d + 154. Let w be m(-21). Is w < 64/11?
False
Let m be 52 - (1 - (18/(-6) + -1)). Which is smaller: 49 or m?
m
Let p = 1156122742/1233 + -937650. Let x = -691/37949 + 1/277. Let c = x + p. Is c greater than or equal to 1?
False
Let i = -26825/3123 + -15/694. Is -10 smaller than i?
True
Suppose -2*d - 8 = 236. Which is smaller: -123 or d?
-123
Let r be -3*(-4)/36*(-2)/6. Let k = r + -2/9. Are -0.9 and k nonequal?
True
Suppose -2*c = 4*n + 208, 0*n + 4*n = 5*c - 208. Suppose 3*a + 150 = 3*z, 2*z + 334 = 5*a + 587. Are n and a nonequal?
True
Let a = 1377.108 - 1377. Which is greater: a or 1/11?
a
Let l = 89.9 + -9.9. Let o = l - 82. Which is greater: 0.01 or o?
0.01
Let b = -122 + 119. Which is smaller: b or 0.58?
b
Let y = -307 + 1229/4. Is 4 equal to y?
False
Let u be ((-1)/4*-6)/((-60)/50523). Let f = -1263 - u. Is f < 1?
True
Let l = -151/6 + 1843/78. Is l not equal to -1?
True
Suppose 34 = -12*q - 38. Let a(g) = 2*g**3 + 13*g**2 + 12*g + 21. Let b be a(q). Let v = -14 + 0. Which is smaller: b or v?
b
Let f = 2/741 + 9617/5928. Let n = -2 + 3. Is f < n?
False
Let n be (1/17*-1)/(3/15). Let i(a) = a**2 + 10*a + 24. Let y be i(-5). Which is bigger: n or y?
n
Let u be 16 - (48/(-6) - -5). Let j = 56 - 33. Which is smaller: j or u?
u
Let j = -11 + 42. Let d = 32 - j. Is d > 2/81?
True
Let v(c) = c - 15. Let f be v(-7). Let g(d) = -6*d + 20. Let h be g(7). Are h and f nonequal?
False
Let q be 1/2*(-6 - 0). Let c be (5 - (-64)/(-12))*5. Which is smaller: q or c?
q
Suppose 3*w + 3*u - 348 = 0, 12*u = 14*u - 2. Is w at most 113?
False
Let t be (3/(6/1))/((-3)/(-66)). Which is bigger: 9 or t?
t
Let a(j) = 3*j**2 + 9*j + 12. Let r be a(-4). Is r > 177/7?
False
Let p be 6/(-4)*(160/6)/(-5). Let y be (p/(-6))/((-6)/36). Which is smaller: 7 or y?
7
Let v(y) = -5*y - 4. Let i be v(2). Let j be 9/7 + 4/i. Which is bigger: j or 7?
7
Suppose -x + 2*u - u - 1 = 0, u - 4 = 0. Which is bigger: 45/14 or x?
45/14
Let t = 411 - 473. Is t less than 2?
True
Let u = 597 + -598. Which is smaller: 1/738 or u?
u
Let j = -716/35 - -88/5. Is j at most as big as 0.3?
True
Let l = 3 + -13. Let f = l - -8. Is f at most -6?
False
Let h be 0/(8 + -1 - 4). Are -1/71 and h equal?
False
Let d be (3/(-9))/((-1)/(-3)). Let h be 2/1*(-1)/2153