er: x or 0.1?
x
Let m be 30/(-26) + (-2)/(-2). Let u be (-2 - -1) + (9 - 3). Suppose -2*x = -d + 3 - 0, u*x + 3 = d. Which is bigger: x or m?
x
Let a = 0.1 - 3.1. Which is smaller: 0 or a?
a
Suppose -18 + 9 = -3*f. Which is greater: 21/5 or f?
21/5
Suppose -3*l - k = l + 7, 3*l - k = 0. Let g be (1 - 1) + -2 - l. Is g at most 1/5?
True
Let m be (0 - -2)/((-4)/(-6)). Suppose j = -2*p + 1 + m, 2*j - 2 = -p. Let f(i) = i - 8. Let g be f(9). Which is smaller: g or p?
g
Let p be -4*(-4)/24*-1. Is -29 bigger than p?
False
Let o = -20 - -13. Let r be 1/(-1) + -4 - (5 - 4). Is r less than o?
False
Let y be (3/(-2))/((-6)/(-8)). Let i = -13.3 - -1.3. Let k = i + 13. Is y at most as big as k?
True
Let l = -425/6 + 71. Let k(s) be the first derivative of s**2/2 - 4*s - 3. Let b be k(5). Which is smaller: b or l?
l
Let f = -4 + -2. Let c = 5 + f. Which is smaller: c or 2?
c
Suppose 19 + 25 = 4*j. Let h = -6 + j. Is h equal to 5?
True
Suppose -z + 5*z - 23 = q, 2*q = 2. Which is smaller: z or 5?
5
Let a = -3.1 + 4.1. Which is greater: a or -6?
a
Let o = -11 - -6. Let f(a) = a**3 + 4*a**2 - 6*a - 5. Let g be f(o). Does -4/7 = g?
False
Let m be (-18)/(-1) + -1 - 2. Let r = -218 + 232. Are r and m unequal?
True
Let x be 1/((-23)/(-633)) + -1. Let s = x + -26. Let h = -106/115 + s. Which is smaller: 0 or h?
h
Let r = -1/2 + 1/6. Is r at least -0.6?
True
Let h(s) = -s + 1. Let k be h(1). Suppose -5*b = -20, k = -o + 5*b - 21 - 7. Is o != -7?
True
Let r(b) = b**2 - 1. Let f be r(-3). Let q(l) = -9 - 6*l + 17*l - 10*l. Let m be q(f). Which is smaller: -0.1 or m?
m
Let k = -16.4 + 15. Let g = k - -0.4. Is g greater than or equal to -8?
True
Let l be (-2)/7 + 132/21. Let j(q) = -q**3 + 7*q**2 - 6*q + 3. Let p be j(l). Let i be -5 + p + (4 - 0). Which is greater: 1 or i?
i
Let i = -33/2 + 17. Is i at least as big as -0.9?
True
Let g(z) = z**2 + 8*z. Let w be g(-8). Is w less than 2/117?
True
Let f = -71/3 - -253/9. Which is smaller: f or 4?
4
Let c(j) = j**2. Let k(z) = 4*z**2 - z + 2. Let l(v) = -3*c(v) + k(v). Let g be l(0). Let d be (3/g)/(6/(-8)). Is -3 <= d?
True
Let d = 11 - 3. Which is smaller: d or 10?
d
Let c = -9 - -9.2. Is c less than or equal to 16?
True
Let t = 107 + -108. Which is greater: t or 0.54?
0.54
Suppose 0 = s - 3 - 1. Suppose 5*r = -0*r - 2*g + 13, -2*g = 3*r - 7. Are s and r equal?
False
Let g(i) = -i**3 - 7*i**2 - 6*i + 4. Let h be g(-6). Suppose -5*s = w + 13, -3*s = -h*w + s + 20. Is w != 2?
False
Let c be (0 - (-3006)/(-189)) + 4/(-6). Is -17 < c?
True
Let c be (140/49)/(2/7). Suppose 4*x + c - 2 = 0. Which is greater: x or 0?
0
Suppose -s + 4 = s - 2*l, -10 = 3*s + 5*l. Let v = 1 + s. Let z be (4 + (-1 - v))*-1. Is z at least as big as -3?
True
Let q be (4 - (-20)/(-6))/2. Which is smaller: q or 0.24?
0.24
Let t(n) = -n**2 + 9*n + 11. Suppose -q + 3 = -b, 4*b + 2*q - 5 = 7. Let l = 11 - b. Let i be t(l). Which is greater: -2/11 or i?
i
Let w = 22 - 16. Let m be w/8 - 139/196. Which is bigger: 0 or m?
m
Let x(t) = 4*t**2 - 3*t - 1. Let i be x(-2). Let k be (-1)/(-2) + i/(-18). Which is greater: -2/7 or k?
-2/7
Let p(t) = -t**2 + 1. Let k be p(1). Suppose k = 2*v + 1 + 5. Let q be 33/(-12) - (-3)/(-12). Is v less than q?
False
Let p be (1/(-11))/((-2)/(-4)). Suppose 4*f - 40 = 3*l, l - 8 = -l. Let w(r) = -r**2 + 14*r - 13. Let h be w(f). Is h at least as big as p?
True
Let h be (-4 - -1)*4/9. Let a(f) = -f**3 + 2*f. Let r be a(-2). Suppose 3*l + r*j = -18, 0*l - 5*l - 5*j - 25 = 0. Is l at least h?
False
Let g(j) = j - 4. Let s be g(14). Which is smaller: 9 or s?
9
Let v = 6 - 1. Suppose v*u = c + 30 - 4, 34 = -2*c + 4*u. Let i be -2*-1*(-1)/c. Which is greater: 0 or i?
i
Let c = 4 - 4.1. Is 19 at most c?
False
Suppose -2*a + 85 = 3*a. Let u = a - 17. Which is smaller: u or 1/11?
u
Let f be (29/14 - 2)*-18. Is f < 0?
True
Suppose 909 = 2*j + 269. Let w = -6078/19 + j. Is 0 less than or equal to w?
True
Let p = -12.7 - -13. Is -3 < p?
True
Let j be 4/(-14) + 64/28. Let c be 37/(-5)*j/8. Let h = 8/5 + c. Is 0.1 > h?
True
Let x(a) = -a. Let h be x(4). Let k be h*(-4)/(-8)*-1. Is 1 > k?
False
Let b(a) be the second derivative of 0 - 1/2*a**2 + 1/2*a**3 + 4*a - 1/12*a**4. Let x be b(3). Do x and -2/3 have the same value?
False
Suppose -4*b = 2 + 2. Let v(j) = -j - 4. Let y be v(-4). Let q be (0 - (-3)/(-9)) + y. Which is smaller: b or q?
b
Suppose 0 = -3*a + p + 11, -2*a - 7 - 9 = 4*p. Suppose 2 = -a*x + 4. Let r = 1/321 + 1601/1284. Which is smaller: x or r?
x
Let t be ((-4)/3)/(14/21). Let i be t - (-1 + 0)*1. Which is smaller: -2/19 or i?
i
Let f = 3667/6 + -616. Which is bigger: f or -5?
f
Suppose -8*f + 0*f + 400 = 0. Is f less than 50?
False
Let o(q) = q**2 + 1. Let k be o(3). Let i be 2/k + 6/(-30). Which is smaller: i or 2/13?
i
Let g = 11.9 + -12. Let b = 0.3 + 4.7. Is g <= b?
True
Let q(u) = -2*u**3 - 3*u**2. Let m = -2 + 0. Let r(j) = -j**2 - j. Let k be r(m). Let w be q(k). Which is smaller: 5 or w?
w
Let u be -3 + 20/8 - 0. Is -2 < u?
True
Let z = -0.17 + 3.17. Is 0 greater than z?
False
Let a = 40 + -43. Is 0 not equal to a?
True
Let t(m) = -4*m**3 - m**2 + 1. Suppose -4*c - 5*i = -6*c - 13, c - 3*i = -8. Let o be t(c). Suppose -n = 1 + 1. Which is bigger: o or n?
n
Let h = 128 - 127.23. Which is bigger: h or -1/3?
h
Let i = -1.6 - -1.7. Which is greater: i or -1/4?
i
Let h(p) = 7*p**2 - 4*p + 5 - 1 - 2*p - 1 - p**3. Let d be h(6). Suppose c + 0*o = d*o - 2, 0 = 5*c + o + 10. Which is greater: c or 0.1?
0.1
Let t = -5 + 4.91. Let n = -0.06 - t. Which is greater: n or -2/3?
n
Suppose 4*u - 19 = -o, 8 = 3*u + 2*o - 0. Suppose n + 3*n - 8 = 0. Suppose 3*x = -2*m + 3*m - u, m + n = -5*x. Is 3 != m?
False
Let q(u) = u - 8. Let h be q(10). Suppose -h*z + 4*z = 2. Which is greater: z or -3/11?
z
Let q be ((-42)/8)/(60/16 - 4). Do 20 and q have different values?
True
Let o = 1/16 + 29/48. Let f(s) = s**3 - s. Let y be f(0). Suppose 5*j - 2 - 3 = y. Which is bigger: o or j?
j
Let g = 46.9 - 24. Let m = 23 - g. Which is bigger: 1 or m?
1
Let i = -95514227/318 - -1794703/6. Let v = i - -1242. Which is smaller: 1 or v?
v
Let o = 53/9 - 7358/1251. Let u = 563/973 - o. Does 1 = u?
False
Let y = 1.02 - 0.02. Let n = -1 + y. Which is smaller: -4 or n?
-4
Let n = 9 - 10. Is 2/7 at least as big as n?
True
Let f = -17 + 15. Let b be (-5)/4 + f/(-8). Is b bigger than -3?
True
Let w be 2/5 + 6/10. Let z = -23 - -13. Let l = 51/5 + z. Which is greater: l or w?
w
Let s be ((-2)/4)/((-7)/(-84)). Which is greater: -22/3 or s?
s
Let s = 3 - 2. Let q = 1 + -1.1. Which is bigger: s or q?
s
Suppose -33*u = -29*u - 64. Which is greater: 12 or u?
u
Let y be 1/(13/(-4) - -3). Let d be 2/y - (-21)/2. Let l = -11 + d. Is l equal to 0?
False
Let g(s) = s**2 + 7*s - 12. Let p be g(-9). Let o be ((-8)/24)/(2/p). Let k be 4/(-6)*3/(-5). Do k and o have the same value?
False
Let s(w) = -w**3 - 10*w**2 + 12*w + 12. Let a be s(-11). Let k = 9 - 8. Is k greater than or equal to a?
True
Let o = 0.1 - 0. Let n = 0.4 - -0.2. Are n and o equal?
False
Let t be (-36)/(-9)*(-10)/(-8). Let c = t - 2. Is c equal to 5?
False
Let r = -7.6 - -7.5. Let f = 0.06 - 0.86. Which is smaller: r or f?
f
Let n be 6/(-4) - (-1955)/1310. Let a = -120/1441 + n. Which is greater: a or 0?
0
Let t be 11 - 2*(-2)/(-4). Let a be (2 - t/4)*2. Let i(g) = 4*g**2 - g. Let z be i(a). Which is bigger: -0.1 or z?
z
Let o = -174308/71 - -2455. Is o less than -1?
False
Let w be 2/4*4/2. Let c be (20/(-7) + 3)*1026. Let r = 147 - c. Is w greater than r?
True
Let d = -16.3 + 16. Is d at most -0.4?
False
Let s = -2 + 2. Suppose s = a - 2*a - 3. Let k be 2/(-4)*(3 + a). Is 1 bigger than k?
True
Suppose 0 = 2*k - 1 - 9. Suppose 0 = -0*s - k*s. Let y = -96/5 - -19. Which is smaller: s or y?
y
Suppose 4*l = 5*v + 2, 0 = -2*v + 4*l - 0*l + 4. Suppose -2*c - 3 = -5*c. Which is smaller: v or c?
v
Let j = -15.97 - 0.03. Let u = 15.9 + j. Is 0.03 at least as big as u?
True
Let u be 2 + -1 + (-146)/(-22). Let g = 778/99 - u. Is g at least as big as -1?
True
Suppose -6 = -l - 0*l. Let c be 26/l + 2/(-6). Suppose 4*o + 20 = 4*a, -c*o - 19 = o - 3*a. Is -1 != o?
True
Suppose -45*h = -42*h - 12. Is 4 bigger than h?
False
Let f = 3 - 6. Let m be 1/f*(-6)/1. Let t(x) = 3*x**2 - x - 1. Let s be t(-1). Which is smaller: s o