-1.04. Which is greater: 1 or n?
1
Let j be (22/(-33))/(2/(-6)). Suppose -j = k - 52. Which is greater: 51 or k?
51
Let h = -345 - -345.3. Is 1/486 bigger than h?
False
Let d = 0.8 - 4.8. Let i = 0.4193 + -0.3193. Is i greater than d?
True
Let k be 1*(4/(-3))/(-2). Suppose 2*g + 104 - 114 = 0. Is k bigger than g?
False
Suppose 4*o + 2 + 10 = 0. Let s = 273/2 - 136. Which is smaller: s or o?
o
Suppose -z + 4*i - 17 = 4, 2*z - 3*i + 22 = 0. Let a = z + 3. Let c be a/(1 - 9/21). Which is greater: -4 or c?
c
Suppose -3*q + 4*p + 799 = 0, p = -3*q - 8 + 802. Which is greater: q or 263?
q
Let r = -2.11 - -2.11. Is r at least 30?
False
Let n = -0.27 + 6.97. Suppose -4*b - 5*p = -9, 0 = -5*b + 627*p - 626*p + 4. Which is bigger: b or n?
n
Let o = 67/180 + -3/20. Let u = -459641 - -158576266/345. Let f = 2/115 - u. Is f less than o?
True
Suppose 3*x - 1185 = 2*x. Let a = -5946/5 + x. Which is greater: -5 or a?
a
Let u(l) = -1 + 6 - l + 4. Let o be u(5). Suppose 8 = 5*z - f, -4*z + 5*f - o + 2 = 0. Which is bigger: -5 or z?
z
Let q = -2.28 - -1.28. Is -0.092 > q?
True
Let f(p) = 9*p - 6. Let x be f(3). Let c be 4 + 7/(x/(-6)). Let k be c + 9/5*-1. Which is smaller: k or 2/7?
k
Let t = 15.19 - 15. Let j = 0.91 + t. Let h = -1.2 + j. Which is bigger: -14 or h?
h
Let y be ((5 - 1) + -1)/(3 + -4). Let i = y + -6. Which is greater: i or -7?
-7
Let z be 4*3/(-4)*2. Let a = -6 - z. Are a and 1/2 equal?
False
Let b = 2/105 + 4/15. Is 6 at most as big as b?
False
Let c = -44 - -16. Let p be 3/12 - c/16. Suppose -p*n + 6*n + 32 = 0. Are n and -8 equal?
True
Let q = 0.73 - 0.08. Let n = 253.1 - 253. Is q bigger than n?
True
Let z = -56 + 48. Let m = z + 8. Let p(d) = 4*d + 1. Let k be p(1). Is m less than or equal to k?
True
Let w(l) = -l**3 - 5*l**2 - 3*l - 12. Let p be w(-5). Let s be -6 + -1 + -2 + p. Let k(a) = 5*a - 1. Let d be k(-1). Is d greater than or equal to s?
True
Let h = -303 - -343. Is 39 bigger than h?
False
Let p(h) be the first derivative of -h**4/4 + 8*h**3/3 - 4*h**2 + 13*h + 9. Let j be p(7). Are j and -2 equal?
False
Suppose 5*b - 52 = 5*s + 88, -5*s + 4*b - 136 = 0. Let l be (3 - 6) + (-88)/s. Is 1 <= l?
False
Let g = -0.1 + 6.1. Let x = 4 - g. Let t(l) = -8*l**3 - 55*l**2 + 9*l + 15. Let s be t(-7). Is s at least x?
True
Let w(t) = 3*t**2 + t - 4. Let p be w(2). Suppose 7*i - 2*i = p. Do i and 2 have the same value?
True
Let h = -384 - -344. Which is greater: h or -35?
-35
Let z = 1.54 + -1.44. Which is bigger: z or 456?
456
Let n = 114 + -118.9. Let a = -2 + 7. Let j = n + a. Which is bigger: j or -7/8?
j
Let n = -334/7 - -48. Let i be (-7)/15 - -2*24/80. Is n greater than or equal to i?
True
Let s(f) = -f**3 + 2*f**2 - 4. Let v be (-4)/14 - 4/(-14). Let a be s(v). Which is greater: -0.07 or a?
-0.07
Let o = 880 - 869. Which is greater: o or 85?
85
Let h be (370/20)/(2/(-4)). Let z = 51 + h. Let m be z/3*(-24)/16. Is m < -1?
True
Let b(f) = 2*f + 19. Suppose -2*i = 0, -2*x - 19 = 5*i + 1. Let p be b(x). Is p greater than 1/4?
False
Let r be (1/3)/((-6)/(-180)). Let i(v) = 2*v - 9. Let m be i(r). Suppose 5*a - 83 = -5*q - 18, 5*a + 4*q - 63 = 0. Is a less than m?
False
Let h = 36 - 27.5. Let l = 8 - h. Let o = l + 0.2. Which is greater: -0.2 or o?
-0.2
Let y be (-24)/32*(-4)/(-3). Is 15/107 equal to y?
False
Suppose -5*x - 55 = 4*k, -16 + 71 = -5*x + 3*k. Let v = -19 - -4. Let a = v - -5. Which is smaller: x or a?
x
Suppose 3*u - 37*u = 714. Let d(b) = 4*b + 10. Let h be d(-8). Is h < u?
True
Suppose -4*n = 2*g - 68, 16*g - 11*g = 0. Which is greater: 0.2 or n?
n
Let h = -11 + -6. Let x = 2 + h. Let l be (20/6)/((-20)/x). Which is greater: 4 or l?
4
Let o be -1*6*(-139)/(-9). Let g = o + 1444/15. Which is smaller: g or 5?
g
Let u = -596 + 596.1. Which is smaller: u or 701?
u
Suppose -3*s - 2 = -2*a - 6*s, -2*a + 4*s + 2 = 0. Let z be 0 + 0 - a/(-6). Which is greater: 1 or z?
1
Let l = -311 + 10571/34. Suppose 0 = -4*b + 3*b. Which is greater: l or b?
b
Let q = 14 - 11. Suppose -q*k + 132 = 12. Let n be 1/(k/(-12) + 1). Is -3/4 < n?
True
Let t = -546 + 581. Which is bigger: -8 or t?
t
Let g(v) = -v + 3. Let c be g(-4). Suppose -11 = c*d - 4. Which is smaller: d or 1/11?
d
Let a(f) = -28*f - f**3 + 1 + 11*f + 6*f**2 + 16*f - 4*f**2. Let v be a(2). Which is bigger: v or -2/27?
-2/27
Let y = -11.1 - -10. Let t = 847 - 2539/3. Which is smaller: y or t?
y
Let x be 7/21 + 466/6. Suppose 0 = h + 2*u + x, -5*h - 2*u - 345 = -u. Let a = h + 202/3. Which is bigger: a or -3?
a
Let q = 2.59 + 0.41. Let c = 3.6 - q. Which is bigger: c or -0.2?
c
Let y = 89 + 247. Let t be y/(-1755) + (-4)/(-18). Do t and -1 have the same value?
False
Let n be (-6987)/30 + (-3)/30. Which is bigger: -237 or n?
n
Let i be (2/6)/(2/6). Let m(d) = 3*d + 3*d**2 - 6*d**2 + 2*d**2 + 10. Let p be m(-2). Which is smaller: i or p?
p
Let p(d) = -2*d - 3. Let v be p(-8). Are 25 and v non-equal?
True
Let p = 0.0072 + 0.9928. Do p and -1 have different values?
True
Let z be (-1)/(-4) - (-208398)/(-248). Let o = -840 - z. Let g(i) = i**2 - 2*i - 7. Let t be g(4). Are t and o unequal?
True
Suppose 3*q + 6 = 0, -5*n - q + 152 = 3*q. Let p be 4/(n/6) + 6/24. Is 5/11 equal to p?
False
Let m = 0.3 + 0.3. Let x = 0.277 + -2.077. Let j = m + x. Is j bigger than -1?
False
Let d = -664 + 630.1. Let z = 34 + d. Which is smaller: -4/9 or z?
-4/9
Let f = 2815 - 5773/2. Let o = f - -70. Suppose 3*i + 21 = -5*r, -3*i + 6 = -3*r - r. Is o not equal to i?
True
Suppose -2*c - 13 = -i, 5*i - 4*c = -3*c + 101. Let g = i + -9. Is g smaller than 12?
False
Let c(w) = 2*w**2 + 5*w + 1. Let p be c(0). Is p not equal to -4?
True
Let j(m) = m**2 - 4. Let x be j(0). Let g be 4*((-16)/x)/16 - 32. Is -32 > g?
False
Let h(x) = -x**2 + 17*x - 28. Let w be (-6 - -1)/(-2 - -7 - 6). Let k be h(w). Which is smaller: 33 or k?
k
Let s = 90 - 2. Let p = s - 38. Let y = -20 + p. Which is smaller: 1 or y?
1
Suppose -5*p - 150 = -2*k - 14, -3*p = -5*k + 74. Let s = p - -17. Let i be -5 + (-8 + -8 - -10). Is i greater than s?
False
Let a = 3837050525441183189189 - 28498335436439215420851207287689/7427146254. Let v = a + -1/20460458. Let r = v - -4/121. Do 9 and r have the same value?
False
Let j be ((-5)/(25/40))/(-2). Suppose j*l = -3*g - 59, -29 = 4*l - 2*g - g. Is -14 at least as big as l?
False
Suppose -136*a + 636 = -1132. Which is greater: 5 or a?
a
Let k = 334 + -279. Do 57 and k have the same value?
False
Let l = 0.0385 - 0.2385. Suppose -5*s = -2*o - 26 + 86, 5*s - 4*o + 60 = 0. Let p be (3/(-2))/(2/s). Which is bigger: l or p?
p
Let p = 1 - -3. Suppose -4*j = 7*a - 3*a - 12, 4*j + 12 = p*a. Let r be (-1 - 22/(-30))/(2/5). Which is bigger: j or r?
j
Suppose 2155 - 235 = -48*y. Suppose -5*p = -0*p + 205. Is y greater than or equal to p?
True
Let z(l) = l + 2. Let a(f) = -6*f - 31. Let u(j) = a(j) + 3*z(j). Suppose -16 = 2*w - 0*r + 4*r, -w - 5*r = 5. Let h be u(w). Is 5 smaller than h?
False
Suppose 6 = -2*a - 4*d, 2*d = -2*a + 6*d + 26. Suppose -2 = -w + 3*q - 8, -a*q - 30 = w. Are -16 and w nonequal?
True
Let q(f) = -f**3 + 6*f**2 - f + 9. Let o be q(6). Let n be 6/(-28)*o/(-9). Which is greater: n or 0?
n
Suppose 2*u = -0*u + 4. Let h be 1 + (-28)/48*u. Let d = -1/15 - h. Is 1 > d?
True
Let w = -362 + 1827/5. Do -5 and w have the same value?
False
Suppose 13*v - 3*v - 590 = 0. Let c = v - 80. Are c and -21 unequal?
False
Let f(a) = -a**3 + 17*a**2 + 17*a + 21. Let w be f(18). Let r(l) = l. Let p be r(6). Suppose 0 = 3*m - m - p, n + 8 = w*m. Which is greater: n or -2?
n
Let a be ((-28)/2)/(15 - 16). Let h = 23 - 8. Do a and h have the same value?
False
Let h = 114 + -113. Let n be h/((-9)/(-2)) - (-10672)/414. Is 29 <= n?
False
Let t = 2374/5 + -473. Let q be (-29)/6 + 1/(-6). Let r = -4 - q. Is r at most t?
True
Let g = 42161/22 - 1916. Which is smaller: 0.05 or g?
0.05
Let r(i) = 5*i**3 - 1. Let v be r(-1). Let q = v + 9. Suppose -4*s = l - 13, 0 = -3*s - q*l + l + 6. Are s and 4 non-equal?
False
Suppose 4*p + 2*f = -156, 83 = -3*p + 2*f - 41. Suppose -31*s - 1599 = 8*s. Is p >= s?
True
Let s be 21/2 - (-3)/6. Let b(d) = -d**2 + 9*d + 14. Let p be b(s). Let c be 0*(2 + 20/p). Which is bigger: c or 2/29?
2/29
Let m be (4/(-376))/(1/(0 + 4)). Let g = 43/94 - m. Which is greater: g or -10?
g
Let j = 35 - 36. Let 