: t or m?
t
Let b = -9/643 + 3000/76517. Let y = b - -2/17. Which is greater: 1 or y?
1
Let t(d) = 3*d - 37. Let s be t(19). Which is greater: 21 or s?
21
Let a = -345483/4004 - 5/4004. Let p(h) = 4*h**2 + 2*h - 4. Let x be p(-5). Let g = x + a. Is g smaller than -1?
False
Let w be (-26)/(-10) - -2 - 12/20. Which is greater: w or -0.3?
w
Let c = -52.9 + 52. Which is bigger: c or 1/5?
1/5
Suppose 2 - 11 = -3*g. Suppose g*p = 2*p. Let v = 4 - p. Is v bigger than 5?
False
Let d = 2 + -3. Let r(b) = b**3 + 9*b**2 - 9*b + 13. Let y be r(-10). Let k be y - 2/(12/27). Which is greater: k or d?
d
Let h = -1 + 1.21. Let o = 0.11 - h. Are 24 and o non-equal?
True
Let c = 235/18 + -85/6. Let b be 4 + 13/((-52)/24). Is c less than b?
False
Let m = 2426/9 + -270. Which is bigger: m or 0?
0
Let o be -4 + ((-1470)/55)/(-7). Is o smaller than -1?
False
Let x = 24 + -166/7. Is -2/7 greater than or equal to x?
False
Suppose -c = 1 + 1. Let a be 2/(1/(c + 4)). Suppose h = -a*h. Is h at least as big as 0?
True
Let p(c) = -c**3 + 4*c**2 + 9*c - 6. Let d be p(6). Let w = -47/2 - d. Let b be (-1 - -2)*2 + 0. Is b at most w?
False
Let t = -0.1 + 0.1. Let x = 0.1 - t. Let w be (-1 - 12/(-20))*-1. Which is smaller: x or w?
x
Suppose -x = 2*k + 20, -4*k = -4*x - 0*x + 40. Which is smaller: -0.1 or k?
k
Let z be (-1 - 2) + (-72)/(-54). Is z less than or equal to -2?
False
Let s = -6 - -19. Let t = s - 14. Which is smaller: 1/3 or t?
t
Let m = 32 + -90. Let t = m + 408/7. Suppose 2*y - f = 5, 2*f + 6 + 2 = 2*y. Which is smaller: y or t?
t
Let x = -2.31 + 2.3. Let l = x - -0.21. Which is smaller: 1/16 or l?
1/16
Let g = 32 + -257/8. Let f = g - 3/8. Does f = 5?
False
Let k = 1/227 + -1139/908. Let u = k - -3/4. Is u less than or equal to 0?
True
Let x be (-1 - -2)*(-2 - -1). Let u be (x + 0)*(1 - 0). Which is smaller: u or -4/11?
u
Let v = -6 - -8. Suppose m = 5*s + 1, 0 = s + v*m + 1 - 3. Suppose -3 = -3*t - 6. Is t <= s?
True
Let l be 6*2*(-1)/(-4). Suppose 0 = -l*g + 2 - 8. Let a be (-1)/(4/10)*g. Which is bigger: a or 4?
a
Let m = -1 + 0. Let p = -189/323 - -10/19. Is p smaller than m?
False
Let g be (-3)/9*(-6)/(-29). Which is bigger: g or -1?
g
Let i be ((-1)/(-2))/(5/(-60)). Suppose -b = k + 3 + 2, 0 = 2*b. Which is smaller: k or i?
i
Let v be 27/(-30) + 13/26. Let i(l) = l**3 + l**2. Let w be i(-1). Suppose 0 = 3*d - w*d. Which is smaller: v or d?
v
Let j(w) = -w**3 - 2*w**2 + 2*w - 4. Let q be j(-3). Is q < 2?
True
Let q = -0.7 + 5.7. Let h = q - 3. Which is smaller: h or -0.1?
-0.1
Let m(t) = t + 3. Let i be m(-3). Suppose -2*x - 16 = -i*x. Let l be (-3)/(-6) - (-2)/x. Is -4 > l?
False
Suppose -4*a = -0 - 4. Let i be 34*-1*a/1. Let b = i + 172/5. Does 0.1 = b?
False
Suppose 5*o + 2*h - 44 = h, -2*o + 4*h = -22. Let l be 8 - (1*-5 + (-20)/(-5)). Is l >= o?
True
Let g(a) be the first derivative of a**2/2 + 2*a + 2. Let c be g(-3). Which is smaller: c or 2?
c
Let z(h) = -h**2 - 6*h - 8. Let g be z(-6). Let d be 1202/(-40) - 2/g. Let j = d + 30. Which is smaller: j or 1?
j
Let b = -4/129 - 214/1419. Let h be ((-2)/4)/(2/(-112)). Suppose -3*p - 5*y + h = 0, 5*p = 2*y + 3*y - 20. Do b and p have different values?
True
Let w = -5.1 - -5. Let k = -1188/1435 + -6/205. Is k at least w?
False
Let h = -29 + 41. Is 8 less than or equal to h?
True
Let z be (((-8)/(-198))/2)/(36/54). Which is bigger: 1 or z?
1
Let a = -1.6 - -0.1. Let w = a - -10.5. Let j = 7 - w. Is j > 0.1?
False
Let b be 2/(-3)*((-5)/2 + 1). Which is greater: 13/7 or b?
13/7
Suppose -3*j = 0, 6*w = 3*w - 3*j. Is w at least -2/19?
True
Let c = -10 + 9. Is c >= 0?
False
Let t be (1/2)/(2/12). Let m(i) = -i**3 + 4*i**2 - i + 5. Let q be m(4). Is t less than q?
False
Suppose 2*c - 4*n + 8 = -2*c, n = 4*c - 7. Suppose -9 - c = 4*w. Suppose -s + 4*x + 1 - 13 = 0, 2*x = -4*s - 12. Which is smaller: s or w?
s
Let i = 1 - 3. Let g = -7.8 - -8. Is g greater than i?
True
Let b be 0 - (4 - (2 + 0)). Let r be ((-8)/56)/(b/(-6)). Is 1 less than or equal to r?
False
Let x be (-24)/(-36)*3/(-2). Is x greater than -2?
True
Suppose 11 - 2 = 3*x. Suppose -4*t + t = -6. Let g be 2/(x/t - 1). Is g at most as big as 3?
False
Let t = 3/14 - 65/42. Which is bigger: 0 or t?
0
Suppose -14 + 4 = -5*c. Suppose -c*w = -0*w. Suppose -3*o + 2*o - 2 = w. Which is smaller: o or -3?
-3
Let i = 125 - 113.8. Let l = 0.26 - 11.26. Let j = l + i. Are j and 0.1 non-equal?
True
Let h = -608 + 7911/13. Are 0 and h equal?
False
Let l(s) = -2*s - 1. Let r be l(-1). Is 3/11 at least r?
False
Let b = -3 + 6. Suppose 5*j + x + 18 - b = 0, 2*x = -5*j - 20. Which is smaller: j or 0?
j
Let x be (-2)/(-11) - 16470/(-165). Let h be 6/51 + x/884. Is h greater than 1?
False
Let p = 0.2 - -2.8. Let u = p - 2. Is u at most as big as 0.1?
False
Let z be -2 + 3 + -1 - -6. Let x(k) = -k**2 + 7*k - 9. Let d be x(z). Let u be (d/6*-4)/(-2). Which is smaller: -2/3 or u?
u
Let x = -3 - -2. Is 2/21 at least x?
True
Suppose -2*n = -2*w + n - 5, -2*w + n - 3 = 0. Suppose 0 = 2*a + 2 + 2. Which is smaller: w or a?
a
Suppose 0 = -4*c + v, 2*c + v = -v - 10. Is c greater than or equal to -2/5?
False
Let s = -1057/104 - -81/8. Which is greater: s or -1?
s
Let j be 90/(-27)*3/(-2). Suppose 0*l = -j*q + 2*l - 34, -14 = q + 2*l. Is q > -8?
False
Let y = -0.28 + -0.02. Let t be -5 + ((-17)/12)/(8/(-32)). Which is smaller: t or y?
y
Suppose 2*b + 9 = -5*k, -2*k = 3*b + 2 + 6. Let a = -136/627 - -2/57. Let h = 7/99 + a. Which is smaller: h or k?
k
Let b be 2/4*(10 - 10). Suppose 4*t = 3*q - 21, -4*q = -2*q + t - 3. Let p be (-12)/(-9) - 2/q. Which is smaller: b or p?
b
Let m(c) = c**2 + c. Let h be m(-1). Suppose h = -w + 3*w - 6. Suppose 3*t - w*g - 6 = 0, -4*t - 2 = g - 0. Is 0 at most as big as t?
True
Suppose 19 = -b - 4*k, 2*b + 62 = -3*k + k. Is b != -34?
True
Let m be ((32/14)/(-4))/2. Let q = m + 76/21. Is 2 at least as big as q?
False
Suppose -s - 4*x + 1 = 0, 0*x + 4*x = 4*s + 16. Let u = 6 - 4. Suppose 0*y + 4*c = -u*y - 20, -3*c = -2*y + 8. Is y < s?
False
Let o(l) = 2*l + 12. Let w be o(-6). Is w bigger than -9/7?
True
Let i(u) = -u**2 + 9*u - 3. Let x be i(8). Suppose -x = 4*j - 1. Let d = 18/7 - 248/91. Which is smaller: j or d?
j
Let f = 7 - 6. Suppose -z = r + z - 2, z + f = -r. Suppose 2*n + 3 = o, 0 = -3*o - 2*n - 23. Is r smaller than o?
False
Let p be (6 - 6)*2/4. Suppose 3*i + 0*i + 3 = p. Which is bigger: i or 0?
0
Let u = -29/4 - -83/12. Let z = -46 - -139/3. Is z greater than or equal to u?
True
Let o be (-2)/(-21)*(2 - -1). Suppose 2*r - 3*r + 4*t = 19, -2*t = r - 5. Which is bigger: r or o?
o
Let h be 7*3 - (-4 + 2). Suppose 0*t + 4*t + 5*u = h, 0 = -2*t - 4*u + 16. Suppose 3*y - t*y = 0. Is 0 != y?
False
Let k be (24/(-15))/(6/(-15)). Suppose -o + w = -9, -o = k*o - 2*w - 42. Which is smaller: o or 9?
o
Let w = 27 + -25. Let x = 2 - 1.6. Let a = -0.3 + x. Which is bigger: w or a?
w
Let w be (4/3)/((-2)/15). Let k be (-4)/6*6/w. Suppose 13 - 15 = d - b, -2*d = 5*b - 17. Which is bigger: d or k?
d
Let x = -9/13 - -58/65. Suppose -3*k - 5*h + 12 = -1, k - 7 = -3*h. Which is smaller: k or x?
x
Let l(g) = g**3 + g**2 - 3*g - 3. Let w be l(-2). Which is greater: w or -18?
w
Suppose -r + 4*p + 5 = 6*p, -3*p = 5*r - 11. Let d = r - -19. Let y be 8/d - 1/15. Which is greater: y or -0.1?
y
Suppose 0 = 3*s - 2*k - 38, 0 = -4*s - 3*k + 2*k + 58. Suppose 0 = -5*p + 4 - s. Is p at least -1?
False
Let u(o) = -o**2 - 8*o - 18. Let s be u(-6). Which is smaller: s or -17?
-17
Suppose 7*q = 6*q + 21. Let k = 22 - q. Which is smaller: k or 2/5?
2/5
Let m = -21.885 - 0.115. Is m greater than 2/7?
False
Let n(i) = -3*i**2 + 12*i - 3. Let t be n(5). Is -19 at least as big as t?
False
Let z = 5.7 - 6. Let p = -0.2 - -0.4. Let n = z + p. Which is smaller: -0.2 or n?
-0.2
Suppose 0 = p + p. Suppose 0 = n - 3*c + 14, n + p*n = -2*c + 11. Is 0 bigger than n?
False
Let d(m) = m**2 + 2*m + 1. Let j be d(-1). Suppose -h + 4 = 15. Let n be (-2)/h + 368/(-88). Which is bigger: n or j?
j
Let y = -12 - -11. Which is smaller: y or 33?
y
Suppose 3*s + 10 = 5*n - 9, 0 = -3*s - 4*n - 1. Let z be (2/6)/(-2 - -3). Is s at most z?
True
Let v = 2 - 1. Let m be (36/(-3))/3*v. Is -4 at most as big as m?
True
Suppose -3*u + 26 = 8. Let p = 19/3 - u. Which is greater: p or -2?
p
Suppose 0 = -2*z