 or equal to z?
False
Let g = 24 - -29. Let n = -54 + g. Which is greater: n or 3/10?
3/10
Suppose -13 = -0*l + l + 4*o, -13 = l - 3*o. Let w = 2 + l. Let p be (-8)/44 - 90/w. Which is greater: 7 or p?
p
Let q = 250 - 251. Suppose 0 = -4*b - 35 + 115. Let p be (q/4)/(b/24). Which is smaller: 1 or p?
p
Let k be ((-14)/(-8))/((-3)/724). Let f = k - -343351/813. Which is smaller: f or 0?
f
Suppose -5*y = -3*n - 23, -4*y - 5*n = -5*y + 9. Let h be (-2)/(-3) + y/(-4). Let x = -181/2 + 367/4. Is x at least h?
True
Let z = -3.65 - -3.75. Let r = -58 + 106. Which is bigger: z or r?
r
Let t = -14.5 + 3.5. Let s = -19 + t. Let o = s + 30. Is o not equal to 0?
False
Let z = -476 + 475. Suppose -304 = 3*i - 8*i + 4*u, -125 = -2*i + 5*u. Which is bigger: i or z?
i
Let i = 8 - 0. Let t = -4 + i. Let q = t + -4. Are q and 1 unequal?
True
Let x be 15/4 + (-30)/(-24). Suppose -f - 12 = -3*b, x*f - 5*b = -41 - 29. Which is smaller: 3 or f?
f
Let v(c) = -3*c + 4. Let g be v(0). Let j be g/(-6) - 48/(-36). Is j at least as big as 1/8?
True
Suppose 6*d = 4*i + d + 21, -2*i - d + 7 = 0. Let c be i*(9/(-6))/(18/60). Is c greater than -50/11?
False
Let w = -64.4 - -64.3. Is -21/13 at least as big as w?
False
Let r = -45 + 46.9. Let h = 2.1 - r. Suppose -o - 3 = 2*o. Which is bigger: o or h?
h
Let t(n) = -n**3 - 4*n**2 + 7*n + 6. Let o be t(-5). Let x = 43 + -39. Suppose 3*l - 3 = 3*w, -2*l + x*w = -3 - 1. Which is bigger: l or o?
l
Let z(d) = -5*d - 9. Let a be z(-4). Let c(f) be the first derivative of -f**3/3 - 4*f**2 + 2. Let k be c(-6). Is k equal to a?
False
Suppose i + 3*s - 4 = 0, -3*s = 4*i - 7*s. Suppose -2*q - i = 4*h + 1, h = -3*q - 3. Is 1/29 less than or equal to h?
False
Let j = 10 - 5. Suppose -4*u + 20 = j*g, 5*u = u + 2*g + 20. Suppose -2*h = -5*r - 4, -15 = -u*h - 2*r - 5. Is h <= 1?
False
Suppose 43974 = 97*x - 139*x. Which is bigger: -1048 or x?
x
Let q(m) = -4*m**2 + 12*m - 30. Let o be q(7). Let z be (8/(-32) - o/56) + -2. Is z smaller than 6/5?
True
Let a = 18 + -14. Let x be (-17)/a + (21 - 17). Let j = -2 - -3. Is j bigger than x?
True
Let m = 7.036 + 0.964. Which is greater: m or 7?
m
Let v(d) = -d**2 - 6*d - 3. Let c be v(-3). Let x(r) = 2*r**2 + 53*r - 81. Let b be x(-28). Suppose c = -b*a - 0. Is -2/3 <= a?
False
Suppose h - 38 = 5*j, 2*j - 54 = -3*h + 5*j. Suppose 0 = -4*u - 0*u - o + 11, 0 = -5*u - o + 14. Let p be u/(-6)*14*-2. Which is smaller: p or h?
h
Let a be ((-8)/(-34))/(2/(-10)). Let v(w) = -6*w**3 + 127*w**2 - 27*w + 124. Let s be v(21). Which is smaller: s or a?
s
Suppose -88*n + 55*n = 66. Is n bigger than -18/7?
True
Suppose 0 = -2*i + 5*j - 8, 3*i + 10*j = 5*j + 13. Let h be i/(-4 - -3)*2. Let d be ((-3)/2)/(6/4). Which is smaller: d or h?
h
Let h(c) = -c**3 + 7*c**2 - 7*c - 5. Let i be h(7). Let u = i - -487/9. Suppose -2*r + 4 = 2. Is u at most as big as r?
True
Let p(b) = b**3 + 3 + 2*b**2 - 9*b**2 - 6*b**2 + 10*b**2 - 5*b. Let h be p(5). Is 27 != h?
True
Let x = 866.8 - 867. Which is smaller: x or 17.3?
x
Suppose -5*u + 4 = -9*u. Let q be (-1)/u + -7 + 11. Let h be (1 + q)/3 - 2. Which is smaller: h or -1/5?
-1/5
Let k be 1*-3*2/(-2). Let s be -3 + 2*(-24)/(-16). Which is smaller: k or s?
s
Suppose 0 = -18*k + 25 - 7. Which is smaller: -4/393 or k?
-4/393
Let s be (-13533)/(-90) + 3/(-18). Let p = s - 9693/65. Are 2 and p unequal?
True
Let j = 0.48 - 11.48. Let f = j - -10. Is f > 26/5?
False
Suppose 1896*d = 1889*d + 77. Suppose 0 = -3*l - 0*l + 6. Suppose -g + 2*g + 5 = -3*x, -l*x = g + 5. Which is bigger: x or d?
d
Suppose -5*a = -11 + 11. Let x = -9 - -119/13. Which is smaller: a or x?
a
Suppose -3*a + 30 = -0. Suppose 9*i - 4*i = a. Is i >= 1?
True
Let b = -344627 + 13096875/38. Let z = 55/2 - b. Which is smaller: -1 or z?
-1
Let n = 0.56 + -0.76. Are n and 1 nonequal?
True
Let m = 22 + -25.4. Let j = 17.6 - m. Let q = 20.7 - j. Is q greater than 2/19?
False
Suppose b - 17 = m, -5*b - 5*m + 50 = -b. Let r be 12/b*(-30)/4. Let v be (-3)/(-2)*r/(-9). Which is bigger: v or -1?
v
Let q = 0.002 - 6.02. Let l = 0.018 + q. Let y be (-2)/5 - (-8)/10. Which is smaller: y or l?
l
Suppose 1 = i - 4*p, 6*i - 2*i + 2*p + 14 = 0. Let c be i/(-12) - 21/24. Is c > -1?
True
Let m = 932 + -913. Are m and 13 unequal?
True
Let t(i) = 2*i**3 + 6*i**2 - i - 14. Let d be t(-4). Is -25 smaller than d?
False
Let w be 67/(-2)*(-152)/19. Let h be (-3 + w/92)/(1/(-5)). Which is smaller: h or 0?
0
Let l = -0.1 + 0.1. Let a = 0.161 - 0.441. Let b = a + 0.35. Is b smaller than l?
False
Let q = -1205 - -1258. Let m be (4/3)/(2/81). Are q and m equal?
False
Suppose i = -19 + 22. Suppose -2*g - 10 + 3 = 3*h, i*h = -5*g + 5. Suppose -3*c + 11 = -g. Are c and 2 nonequal?
True
Let w be (0/(15/3))/(2*1). Suppose -13 = -2*g + 3*x, -5*x + 6 = -4*g + 31. Suppose -c + n = g*n + 17, 2*c - 4*n = 14. Is c >= w?
False
Let v = 726 + -660. Which is smaller: 3 or v?
3
Let p = -0.08 + 0.07. Let s = -1.01 - p. Let h be 4 - -15*30/(-108). Is s greater than h?
False
Suppose -t = -4*z - 3, 0 = 3*t + 3*z - 0 - 9. Let l be 3 + -1*(-3)/(t/(-11)). Suppose -13 = 4*y + 15. Is y at least as big as l?
True
Suppose l - 10 = -8. Suppose -5*i = l*s + 4, -i + 6 = -s - 2*s. Which is bigger: -7/11 or s?
-7/11
Let k be 6/10 + (-6)/10. Suppose 16 = -2*m - k. Is -7 > m?
True
Let q = 124 - 58. Let f = 66.3 - q. Let v = -1.9 + 2. Which is greater: f or v?
f
Let o = -5/1678 + -100525/52018. Which is greater: -1 or o?
-1
Let l = -0.318 + 0.418. Is l >= 40/3?
False
Let s(o) = 122*o + 1026. Let z be s(-14). Does -682 = z?
True
Let t be ((-1)/(-3))/(62/186). Which is smaller: t or 13/19?
13/19
Suppose t - 14 = 8*t. Is -12/5 != t?
True
Let m(g) = -3*g**3 - g**2. Let o be m(-1). Suppose -o*l = 3*l. Suppose -5*r - 14 = x, 5*r + l*x + 2*x + 13 = 0. Which is greater: r or -2?
-2
Let r(x) = 6*x**2 + 4*x - 4. Let d be r(2). Suppose -5*y + 3 = i - 5, -d = -2*i - 4*y. Let j be (-12)/i*(-1)/2. Is j not equal to 0.4?
True
Let m = 117612857177/5061637962 - 294107/12654. Let j = 2/1487 - m. Let b = -5105/807 - j. Which is smaller: -5 or b?
b
Let i be (3/2)/(3/4). Suppose 3 = i*a - 5*g + 2, 5*a - 2*g = -8. Let c be 3/(-12)*a*6. Is 4 greater than c?
True
Suppose 7*o + 5*m = 2*o + 40, 0 = 5*o - 3*m - 40. Let g be (-1)/((636/o)/3). Suppose c - 2*y = -6, -4*y + 15 = -5*c + y. Which is smaller: c or g?
g
Let o be (-3838)/4*1596/(-738). Let r = o + -2075. Is 1 < r?
False
Let d = 1463/4 + -364. Let n(h) = h**3 + 5*h**2 - h - 6. Let l be n(-5). Is l bigger than d?
False
Let s(z) = -2*z + 12. Let p be s(6). Let x = -17/21 + 5/3. Which is smaller: p or x?
p
Let t be 5/(60/14) - (-12)/(-24). Is t >= 89/8?
False
Suppose 5*n - 5*h = -20, -2*n + 4*h = h + 10. Let g be 3 - (1 + (-87)/(-2)). Let a = g + 122/3. Which is smaller: n or a?
n
Suppose -5 - 17 = -11*d. Is d smaller than 13/9?
False
Let v(s) = -136*s - 9. Let i be v(-2). Is i at least 264?
False
Suppose 32*k - 18 + 50 = 0. Which is smaller: k or 0.68?
k
Let r = -46.63 + 45. Which is smaller: r or 1?
r
Let l be -2*(-2)/(-4)*-1. Suppose 2*v - v = -l. Let a(i) = 3*i**3 - i**2 - i. Let g be a(v). Which is smaller: -1 or g?
g
Let r = -10.4806 - 0.1894. Which is smaller: 2/3 or r?
r
Suppose -22811368 = -3*p + y, 5*y = 4*p - 0*y - 30415172. Let l = 1573990906/207 - p. Let o = 296/9 - l. Is o greater than 1?
False
Let c(x) = x**3 + x**2 + 1. Let f be c(0). Let o = 8198/25 - 328. Is f equal to o?
False
Let v be (-12 + 9 - 10) + 4. Which is smaller: -19 or v?
-19
Let d be (-1 - 1)/((-4)/(-10)). Let l be ((-21)/7 + 4)*-4. Which is bigger: d or l?
l
Let a(j) = 10*j + 45. Let s be a(-8). Which is greater: -37 or s?
s
Let q(h) = h**3 - 6*h**2 - 9*h + 11. Let y(t) = -2*t - 7. Let l be y(-7). Let n be q(l). Is -4 at most as big as n?
True
Suppose -5*t - 4*w = -3*w - 12, -4*w - 2 = -5*t. Let g = t + 0. Suppose 5*h - 28 = -g*h. Does h = 5/2?
False
Let y = -842 - -29472/35. Let d = 15 + -9. Suppose 4*f + 2*q = -8, -q = -2 + d. Which is smaller: f or y?
f
Let g be 2*4*(-8)/(-16). Suppose 5*c - 5*j + 45 = 0, -g = c + 4*j - 0. Let s be 1/2 + (-44)/c. Is s smaller than 6?
False
Let w = 27 - 27.34. Let z = -0.66 + w. Let a = z - -0.96. Which is smaller: a or 0.1?
a
Let i = 335 + -335. Is -8/91 at most as big as i?
True
Let m = 527 + -517. Are m and -3 equal?
False
Let x be 15/(-1