?
w
Let g = 0.14 - 0.24. Which is smaller: g or 15/2?
g
Let i = 10/9 - -214/99. Which is smaller: 2 or i?
2
Suppose -5*m = -3*m - 64. Suppose 2*i + i = -5*q + 37, -4*q = 3*i - m. Let d(h) = -h**3 + 5*h**2 - 4*h + 6. Let j be d(i). Is j at least 5?
True
Let j be (-3)/(1 - -2) - 12. Which is bigger: j or 0?
0
Let z be (1 - 0)/(4/12). Suppose 6*f = -5*o + 2*f - 8, 2*o + 6 = -z*f. Which is smaller: o or -2?
-2
Let v = -16 - 3. Is -19 <= v?
True
Let b = 231 + -235. Let c be 2/(-8) - (-7)/(-4). Is b at least as big as c?
False
Suppose o = -0*o - 1. Does -3 = o?
False
Let t(s) = 2*s - 3. Let u be t(4). Let j = -3 + u. Suppose -j*n = -7*n. Which is smaller: n or -2/7?
-2/7
Let u be (-20)/7 - (-4)/1. Which is greater: u or 2?
2
Let n(l) = 3*l**2 - 31*l + 12. Let z be n(10). Do 16/11 and z have the same value?
False
Let z be (-7)/(-14) + 5/(-2). Do z and -2 have the same value?
True
Suppose 2*k - 10 = 12*k. Which is smaller: -2 or k?
-2
Let x(g) = -g**3 + g**2 + 1. Let n(h) = -3*h**3 + 4*h**2 - 4*h + 4. Let d(t) = n(t) - 2*x(t). Let f be d(2). Is -6 at least as big as f?
True
Let r be (3/18)/(10/687). Let f = -56/5 + r. Which is bigger: 1 or f?
1
Suppose -1 - 9 = -5*w. Let a(s) = s**3 - 5*s**2 + 5*s - 2. Let c be a(4). Suppose -d = -5*q - 1 - w, 3 = d - c*q. Is 1 less than or equal to d?
True
Let t(x) = -x**2 + 5*x + 20. Let r be t(9). Let i = r - -16. Do 1/6 and i have the same value?
False
Let u be ((-4)/16)/((-3)/(48/166)). Which is bigger: 0 or u?
u
Let a be 0 + 2 + (-1 - -13). Let l be -1 + (-4)/((-40)/a). Which is smaller: 3/4 or l?
l
Let j = 0.03 - -0.02. Let z = 1.95 + j. Is z at least as big as 1?
True
Suppose 0 = -4*u - 8. Let i be -1*(0 + u) + 0. Let p be (1/(-2))/((-2)/4). Is p equal to i?
False
Let m be (4 + -1)*6/9. Which is smaller: m or 7/4?
7/4
Let f(d) = -9*d**3 - 25*d**2 - 7*d + 18. Let p(r) = 5*r**3 + 13*r**2 + 3*r - 9. Let o(x) = -6*f(x) - 11*p(x). Let s be o(8). Is -2 bigger than s?
False
Let t(c) = -c + 1. Let b be t(2). Let p = 1385 + -9067/7. Let w = p + -90. Which is smaller: w or b?
b
Let a = 4 + -7. Suppose 2*g - 2*m = -12 - 2, 2*g + 12 = m. Are a and g non-equal?
True
Let d = -9 - -13. Suppose 0 = -4*u, j + d*u + 548 = -3*j. Let y = j - -551/4. Which is greater: 1 or y?
1
Suppose -n - 3 = -5. Is n <= 1?
False
Let s = 605 - 19963/33. Let v(r) = 4*r. Let j be v(1). Suppose i = -j*i. Which is bigger: i or s?
s
Let k(f) = -f - 4. Let u be k(0). Suppose -2 + 14 = -3*c. Is c greater than u?
False
Let x = -3 - -3. Let d = -1 + x. Which is smaller: 3/5 or d?
d
Suppose -2*a + 5*a = -6. Let i be (-995)/(-2)*a/(-20). Let v = -50 + i. Which is bigger: -2 or v?
v
Let o = -383/1064 - 2/133. Which is smaller: -1 or o?
-1
Let l be (-2)/(6/(-9)) - 1. Suppose 2 = -0*u + l*u. Which is greater: u or 3/4?
u
Let g = -20 + 24. Let w(n) = -n**3 + 5*n**2 - 4*n + 3. Let d be w(4). Which is greater: d or g?
g
Suppose 2*h = -8 - 6. Let g be (-96)/(-7) - 2/h. Let p be 3/6*4/g. Is p > 1?
False
Suppose 3*q - 16 = 11. Suppose -7*v = -q*v. Which is bigger: v or -1/3?
v
Let i(w) = -w - 5. Let p be i(-5). Let d = p + 4. Let u = 4 - d. Which is smaller: 2/3 or u?
u
Let j = 0 + -0.8. Let d = 1.2 + j. Is d at most 2/5?
True
Let a(f) be the third derivative of f**5/30 - 5*f**4/12 + 3*f**3/2 - 3*f**2. Let b be a(6). Suppose -2*l = -5*v - b, -v = 4*v + 25. Are -3/4 and l equal?
False
Let k be (2/6)/(21/18). Let p be 2/9 + (-5 - (-190)/36). Which is smaller: k or p?
k
Let o = 209/10 - 21. Let h be 26/6 + (-2)/6. Let r be (h/12)/(1/(-3)). Are r and o nonequal?
True
Let n = -116/923 + -2/71. Suppose y = -4*y. Which is smaller: n or y?
n
Let g = -2 + 2.3. Let h = -194 + 1742/9. Let p = -7/9 - h. Which is bigger: p or g?
g
Let q be 4*((-10)/4 - -2). Let f be 4/10*10/q. Let x be 2/(-18)*(f - 1). Is -3 at least as big as x?
False
Let w(y) = 7*y - 3*y**2 - 3 + 2 + 2*y**2 - 3. Let u be w(6). Let h be (3/u)/((-27)/(-12)). Is h not equal to 2?
True
Let x(k) = k + 12. Let b be x(-5). Let o be -4 + b/((-35)/(-40)). Let i(w) = w**2 - 5*w - 1. Let a be i(6). Is o bigger than a?
False
Suppose h = 3 + 2. Suppose -k = -3*a - h, 0 = -5*k - 4*a - 0*a - 32. Does k = -4?
True
Let z be 3 - (-2 + 2 - 0). Let m(b) = b**2 + 9. Let j be m(0). Suppose -p + z*f = -j, f + 4 = 4*p + 1. Do 0 and p have different values?
False
Suppose r + 2*u = 9, 0 = -4*r - r - 2*u + 29. Let j = -10 - -15. Let b = j - r. Which is bigger: -2/5 or b?
b
Let r(h) = h - 3. Let x be r(4). Does 2 = x?
False
Let m be -1 + (-9)/213*(-74)/3. Which is bigger: m or 1?
1
Suppose -5*n = -5*f - 15, f = 4*f + n + 1. Let g be 94/(-312) - 2/(-8). Which is bigger: f or g?
g
Let y = 52 + -59. Is y at most -2?
True
Suppose j + 12 = 4*j. Let p be j*(1 - (-6)/(-4)). Let s be p/(-5) + 11/35. Which is greater: 2 or s?
2
Suppose -m - 4*d = -0*m - 7, 0 = -m - 2*d + 5. Suppose -o = -m*o. Which is greater: 1/2 or o?
1/2
Suppose 4*z - 98 = -706. Let x be 2/9 - z/(-36). Let b(h) = -h**2 - 3*h + 7. Let f be b(-5). Is x equal to f?
False
Suppose 0 = -5*n + 4*k - 8, 0*n = 5*n + k - 2. Let m = -3 - n. Is -2 not equal to m?
True
Let s = -1 - -3. Suppose -2*g - s*g - 4 = 0. Is g greater than or equal to -5/4?
True
Let w be 6/21 - (-254)/(-7). Let t be 22/77 + w/(-70). Which is bigger: 0 or t?
t
Let z(b) = -b - 1. Let p be z(-4). Suppose 4*c = x - 3, 3*c - 4*x = -3*x - 1. Let v(k) = k**2 - 2. Let a be v(c). Is a >= p?
False
Let p be 6/15 - (-4)/20. Let c(w) = -w**3 - 2*w**2 + 3*w. Let f be c(-3). Let o = f + 0. Which is smaller: o or p?
o
Let i = -47 + 231. Let w be i/(-30) + 14/105. Suppose -13 = 5*j + 12. Is w at most as big as j?
True
Suppose 11 = -y - 0. Which is smaller: -10 or y?
y
Let s be 6/4*38/(-6). Let l = s + 31/3. Which is bigger: l or 2?
2
Let t = -0.1 + 0.2. Let i = 0.6 - t. Let n = 0.3 - i. Which is smaller: -0.1 or n?
n
Let g be 2 - ((-105)/(-22) - -3). Let l = 14/11 + g. Is l <= -4?
True
Let l(y) = -y**2 + 18*y - 1. Let n be l(18). Is -1/4 greater than or equal to n?
True
Suppose -n + 2 = -3. Let p = 8 - n. Let o be 2/8 + (-11)/(-4). Is o greater than or equal to p?
True
Let a = 41 - 42. Are 6/23 and a nonequal?
True
Let y(i) = -i + 5. Let q be y(6). Let f = 217/5 - 1083/25. Which is smaller: q or f?
q
Suppose 5*p + 4*u = 6, -2*u = -5*p + 3*p + 6. Suppose 2*o - p = -0. Do o and 3/2 have the same value?
False
Let r = -7 - -10. Let v be -1*1 - (-1 - 3). Suppose 0 = 3*x + 2*i - 12, v*i + i - 16 = -2*x. Is r > x?
True
Let s = -11 + -4. Let m be 0 + -1*6/s. Let g = -8 - -7. Which is bigger: m or g?
m
Let w = 7/6 + -1. Which is smaller: w or 1?
w
Suppose 3*s - 53 = -5*y + 5*s, -5*y + s = -54. Is y less than or equal to 11?
True
Let x = -761/10 + 76. Which is smaller: 0 or x?
x
Let w = 5 + 2. Let o = -6 + 12. Let s be (-3)/o - (-34)/4. Which is smaller: s or w?
w
Let k = -52081/138 - -1132/3. Let g = k + -59/506. Which is bigger: 1/5 or g?
1/5
Let m = 3/62 + 351/434. Is 0 <= m?
True
Let w = -4 - -4. Suppose -5*s - u = -24, -5*s + w*u + 2*u + 12 = 0. Suppose 0 = -b - 4*z + 6 + 7, -5*b + s*z = 7. Which is bigger: b or 0?
b
Let a = 71 - 75. Is 0 <= a?
False
Let a = -38 + 21. Let h be (-2)/3 + a/(-21). Does -1 = h?
False
Let v be -1 - 3/(6/(-4)). Suppose v + 1 = 2*q. Are 2 and q equal?
False
Let b be 3/1 - (7 - 1). Let c be ((-3)/6)/((-3)/(-6)). Is b greater than c?
False
Let q = -894/925 + 199451/225700. Let z = -2/61 - q. Is z less than or equal to 0?
False
Suppose -t + 0 + 4 = 0. Suppose -5 = -5*j, 0*j + 3*j + 5 = t*r. Let p be ((3/r)/1)/3. Which is greater: p or 0.2?
p
Let z be (-1 - 33/15) + 3. Which is greater: z or -2/13?
-2/13
Let b be (-2)/(-3)*225/(-3). Let m be (-3)/b*4/3. Do m and -1 have the same value?
False
Let w be 0 + -1 + -4 + 3. Let t = 2 - w. Let a be (2 - 0/2)*2. Is a at least t?
True
Let l(s) = 10 + 0*s - 6*s**2 + s**3 + s + 14*s**2. Let c be l(-8). Suppose -1 = 3*k + x + c, -2*x - 4 = 4*k. Which is smaller: k or 0?
k
Let s(x) = -x + 7. Let a be s(6). Let p be (-8)/6 - (-195972)/396. Let m = p - 493. Is a bigger than m?
True
Let y = -403/120 + 1/40. Let z = y + 113/33. Which is bigger: z or -1?
z
Let q = -0.4 - -0.3. Let s = q + 1.1. Let w = -0.05 + 3.05. Do s and w have the same value?
False
Let o = 0.31 + -0.2. Let y = -0.41 + o. Are y and 1/6 nonequal?
True
Suppose -v - 2*v = -33. Let q(r) = r - 9. Let j be q(v). 