ch is smaller: j or 0.2?
j
Let u = 25/68 + -2/17. Let j = 2.5 - -0.5. Which is greater: u or j?
j
Suppose 0 = 5*o + 30 + 30. Which is smaller: o or -2/5?
o
Let p = -0.1 - 0.2. Let o = 6 - 5.91. Let u = -0.01 - o. Which is smaller: u or p?
p
Let m be (-12)/18*-3*3/(-18). Which is bigger: m or -6?
m
Let t = 4 + -4. Is -2/23 < t?
True
Suppose -4*f + 139 = 3*s - 222, 278 = 3*f - 5*s. Which is bigger: f or 92?
92
Let x be 1/((7 - 4)/3). Are x and 3 unequal?
True
Let o = -12.17 - -0.17. Let d = o + 12.1. Which is smaller: -1/3 or d?
-1/3
Let l = -0.35 - -0.25. Is l greater than 2?
False
Let l(g) = -2*g**2 - 2*g + 1. Let i be l(0). Which is bigger: i or 2?
2
Let b = -53 + 635/12. Is 0 at least b?
True
Let p be (-105)/33 + 4/22. Let k be -7 + 5 - 7/p. Which is smaller: 0.1 or k?
0.1
Let c be (-6)/(-2) + -7 + -2. Let l = 6 + c. Is l at most -1/11?
False
Let n be (1 + -1)*18/(-36). Which is bigger: n or -1?
n
Let n(c) = c**2 + 6*c + 8. Let z be n(-6). Let b(j) = j**3 - 9*j**2 + 8*j + 4. Let w be b(z). Let q be (2/5)/(2/10). Is q != w?
True
Let s(o) = -o**3 + 13*o**2 + 14*o + 2. Let f be s(14). Let c be -2 + (f - -4) - 3. Suppose 2*p - 4 = 2. Which is bigger: c or p?
p
Let h be (-1 + -2)/(36/(-96)). Is h greater than 12?
False
Suppose 0 = -9*y - 22 + 4. Which is greater: y or -5/7?
-5/7
Let s = -475/6 - -79. Let t(p) be the first derivative of p**4/4 - p**3/3 - p**2/2 + p + 3. Let u be t(1). Do u and s have the same value?
False
Let f be 1*2 + 576/(-270). Is f at most as big as 1?
True
Let r(p) = -p**3 + 3*p**2 + 3*p - 2. Let v(h) = -h**3 + 3*h**2 + 4*h - 1. Let n(a) = 3*r(a) - 2*v(a). Let x be n(3). Is x != -2?
True
Suppose 5*s + 7 = -38. Let z = s - -9. Which is smaller: z or 1?
z
Let x = -15 + 7. Let j(z) = z**3 + 9*z**2 + 9*z + 9. Let l be j(x). Suppose -2 = -2*a + 2*y - 6, -5*a = 4*y - 8. Is a at least l?
False
Let s = -12.1 - 2.9. Let t = s + 8. Let l = -7.2 - t. Is l less than or equal to 2/11?
True
Let d be -2 - -5 - (0 + -1). Suppose -d = -3*j + b, 0 = 2*j - 0*j + 2*b. Which is greater: 2 or j?
2
Let f be 7940/5320 + 6/(-4). Which is bigger: f or 0?
0
Let m = 3 - 11. Let h = 8 + m. Suppose h = 2*x - 4*x. Which is smaller: -3/4 or x?
-3/4
Suppose 5*i + 2*y + 2*y = 51, 3*y + 36 = 3*i. Are 68/7 and i nonequal?
True
Suppose 1 = 2*v - 3. Suppose 2*j - j - 3 = 0, -2*j = 5*g - 31. Suppose -3*w + a + 4 = v, 3*a = -g*w + 8. Which is smaller: w or 2/3?
2/3
Suppose 4 = -5*y + 2*z - 5, 5*y + 3*z + 24 = 0. Let r be 0 - (0/(-3) - -1). Which is bigger: y or r?
r
Let k = -3.08 + 0.08. Let t = k - -3.2. Let g = -12.1 + 12.1. Is g > t?
False
Let r = -0.1 - 0. Let v = 0.09 - 0.09. Let n = r - v. Is n >= -2/9?
True
Let c be 3/1 - (-12 + 9). Let l(r) = r**3 - 4*r**2 + 2*r - 2. Let v be l(4). Are v and c non-equal?
False
Let c be (-3*2)/(18/(-24)). Which is smaller: 15/2 or c?
15/2
Let t = 11.3 + -11.4. Is 43 < t?
False
Suppose -3*o = -2*j - 4, 8 = o - 6*o - 4*j. Suppose 0 = -5*y - o*y. Is y bigger than -4/9?
True
Let j(l) be the second derivative of l**3/6 + 7*l**2/2 - l. Let v be (-4 - -3)/((-2)/(-12)). Let z be j(v). Which is greater: 0 or z?
z
Let r = -2.2 - -2. Let n be -2 + (5 + -7 - -6). Is n at most r?
False
Let w be (-37)/(-2) - (-19)/38. Which is greater: w or 20?
20
Suppose 5*c + 0*n - 12 = -n, -2*n = 3*c - 10. Let d = 2.5 + -2. Is d < c?
True
Let u(z) = -z + 7. Let m be u(5). Suppose m = 2*i - i. Let x be (3 + -4)*(0 - 1). Does i = x?
False
Let n = -8 + 8. Which is greater: n or 1/5?
1/5
Let x = 12 - 58/5. Is x greater than -5?
True
Suppose d - 3*d = 434. Let k = d + 2173/10. Let t be (3/(-6))/(1/(-2)). Which is greater: k or t?
t
Let m be (-4)/(-26) + 399/(-819). Is 0 less than or equal to m?
False
Suppose c + 0*c = 0. Which is smaller: c or -1/10?
-1/10
Suppose 7*m = 5*m. Which is smaller: 1/13 or m?
m
Let z be ((-2)/(-348))/((-20)/80). Which is smaller: z or 0?
z
Let c(x) = -x**3 - 3*x**2 - 3*x - 1. Let i be c(-3). Are 8 and i equal?
True
Suppose 0 = -4*t - 5*k + 34, 3*k = -k + 8. Let m be (4/(-9))/(t/(-9)). Let l be (-2)/(-6)*6/(-8). Is m greater than l?
True
Let j = -5.8 - -11. Let c = j - 5. Suppose 5*w = -2*y - 12, 5*w - 3*y + 4 + 3 = 0. Which is greater: c or w?
c
Let b be -4*(4 + (-23)/6). Which is smaller: b or -2?
-2
Suppose 2*q + 7 = q. Which is greater: -17/3 or q?
-17/3
Let h = 32/39 + -2/13. Let z(m) = m**2 - 5*m + 2. Let v be 3*2/2 + 2. Let c be z(v). Which is greater: h or c?
c
Suppose -n - 4 = 3*n. Which is bigger: -5/3 or n?
n
Let i be 29/(-2) + ((-18)/12)/(-3). Which is greater: i or -13?
-13
Let c = 3.01 - 3. Let q = c + -0.01. Is q bigger than -1?
True
Let p = -16.019 + 0.019. Do -3 and p have different values?
True
Suppose -l - 3*r + 3 = 0, -r + 2 = -0. Let f be ((-3)/(-2))/((-6)/8). Which is smaller: f or l?
l
Let a = 0.13 - 3.73. Which is smaller: a or 0.1?
a
Let u(w) = 6*w**3 + w**2 - w. Let k be u(1). Suppose 0 = -5*n - 1 + k. Let y be (2/3)/(2/6). Which is bigger: y or n?
y
Let b(t) = t - 21. Let n be b(0). Let h be (-58)/14 - 3/n. Is h greater than or equal to -4?
True
Let a be (9 - 5)*5/(-4). Let z = a - 6. Let y = z - -8. Which is smaller: y or -4?
-4
Suppose -2*a = -17 + 7, -4*h - 4*a = -20. Suppose -l - 1 = -h. Let k(i) = i**3 - 3*i**2 - 1. Let v be k(3). Is l at most v?
True
Let b be 13 - 12 - 54/(-2). Is 28 smaller than b?
False
Let g = -12 + 7. Let c be ((-2)/(-12))/(g/(-20)). Is c greater than 0.1?
True
Let h = 14 + -10. Suppose -h*l - 2*y = -16 - 2, 5*y = -l - 9. Let j(k) = k**3 - 7*k**2 + 8*k - 9. Let r be j(l). Are r and 2 non-equal?
True
Let i(c) = 9*c. Let h(n) = 5*n. Let p(d) = -7*h(d) + 4*i(d). Let g be p(-4). Do g and -1 have different values?
True
Let a = -0.5 - 0.1. Let j = a + 0.1. Let o = j + 0.6. Which is smaller: o or -1/7?
-1/7
Let h = 6.9 - 8.97. Let u = h - -0.07. Which is greater: 1 or u?
1
Let s = -2579 - -10399/4. Is -0.1 > s?
False
Let t(c) = c**2 + 4*c - 2. Let a be t(-6). Let r = -15 + a. Which is smaller: -4 or r?
r
Let f = 5 - 3. Let a be ((-12)/5 + f)*-5. Are 2 and a unequal?
False
Let i be 2/8 + 42/56. Which is bigger: -7 or i?
i
Let x = -635/198 - -51/22. Is -1 >= x?
False
Let u = -36 + 171. Let q be -1 - (-546)/u - 3. Is q bigger than -1?
True
Let x(c) = 3*c**3 - c**2 + c. Let p be x(1). Suppose 2*f - 4 = -0*f. Is f not equal to p?
True
Suppose 5*g + 4 = -1. Let p = g + 1. Let y(d) = -d**2 + d + 2. Let q be y(p). Which is smaller: -0.1 or q?
-0.1
Let m be (-1)/1 - -4 - -4. Is 7 at most as big as m?
True
Let c = -34 + 30. Are c and -1/2 nonequal?
True
Suppose 2*t + 0*t + 3*x = 19, -5*t = -2*x. Is 7/3 < t?
False
Let y = -1 - -4. Let a = y - 2. Let n be 1 + -3 - 24/(-15). Is a less than n?
False
Let n = -2.3 + 0.3. Let h = 3.95 + 0.05. Let y = h + n. Which is smaller: 0.1 or y?
0.1
Let l be (607/5 + -2)/1. Let o = -119 + l. Let a = -0.14 - -2.14. Is o at least a?
False
Suppose 0 = 5*c + 1 - 11. Which is greater: 30/13 or c?
30/13
Let i = 1 + 2. Suppose 2 = i*r - 28. Let v be r/15 + (-1)/(-3). Are v and 6/7 non-equal?
True
Let o(s) be the second derivative of -s**5/20 + 5*s**4/12 + s**3 + s. Let v be o(6). Let b be (-7)/22 + 2/(-11). Which is bigger: v or b?
v
Suppose -q - 122 = q. Is -61 at least q?
True
Let r = 8 - 6. Is r less than or equal to -15?
False
Let p be ((-2)/4)/((-4)/(-4)). Let c = 1035 + -23798/23. Let s = 3/161 - c. Which is bigger: p or s?
s
Let j = 9 + -6. Let d = -9 + 7. Let g be d/(-8) - (-60)/16. Which is smaller: g or j?
j
Suppose 2*a + 13 = 3*j, 2*a - j + 6 = 3*a. Let z be a - 1 - (-4 - -4). Which is greater: -2 or z?
z
Suppose -5*r + 5*d = 20, -6 = -3*d + 6. Which is smaller: 1 or r?
r
Suppose -5*d - 4*o = o + 15, 5*d + 13 = -4*o. Let f be (-1)/2*(1 + d). Is f at least as big as -4/3?
True
Suppose 0 = -8*t + 11*t + 60. Are -20 and t unequal?
False
Let t = -9.14 + 1.14. Which is bigger: t or 1?
1
Let t(n) = 15*n**2. Let q(l) = 7*l**2. Let j(k) = -9*q(k) + 4*t(k). Let r be j(2). Let h = 10 + r. Which is greater: 1 or h?
1
Suppose 56 = 2*q - 6*q. Which is greater: q or -11?
-11
Let v be 4/14 - (10/7)/5. Does v = -3/17?
False
Let d = -86 + 76. Which is bigger: -47/5 or d?
-47/5
Let k = 2 + -7. Suppose -4*t - 18 = -3*n - 2*n, 0 = -2*n + 5*t + 14. Suppose 5*x + 21 = -q, 5*x = -3*q - n*q - 45. Which is smaller: k or q?
q
Let x = 11.95 + -17.02. Let g = x - -5. Let s = g + 