
True
Let j = -20 + 23. Suppose -6*k + j*k = 3. Which is smaller: k or -8/9?
k
Let n be -7 + (-2 - (3 - 2)). Let r be (-12)/42 + n/(-84). Are r and -1 equal?
False
Let f = -65 + 39. Is -27 equal to f?
False
Suppose 4*b + h + 2 = 0, -2*b = -5*h - 0*h + 12. Let q be 2 - ((-2)/(-2) - -1). Which is bigger: b or q?
q
Let y = 24/7 + -86/21. Which is smaller: -1 or y?
-1
Let h = 0 - 1. Let b = -8 - -7. Is h at least as big as b?
True
Suppose -20*q + 19*q = 0. Let v be (8/40)/(q - -1). Is v less than -1?
False
Let g(q) = -q**3 + 8*q**2 - 6*q - 2. Let u be g(7). Suppose -x - 340 = u*d - 6*x, -5*d + x = 332. Let j be ((-9)/d)/((-3)/4). Which is bigger: -1 or j?
j
Suppose 15 - 10 = -5*w. Is -2 greater than w?
False
Let d(n) = -n**2 - 2*n - 7. Let b be d(0). Which is greater: -2 or b?
-2
Let f = 112 - 79. Is 32 at least f?
False
Let o = -11563/990 - -117/10. Which is smaller: 0 or o?
0
Let y be 5 + 9/(18/(-4)). Which is smaller: 6 or y?
y
Let k = -22 + 22.11. Which is smaller: -0.1 or k?
-0.1
Let w be 2 - -7*(-2 - (-36)/21). Is w at least 4/53?
False
Let t = -22/203 - -28/29. Let o = -9/14 - t. Which is greater: -1 or o?
-1
Let q = -7 - -5. Let l(w) = 2*w + 1. Let h be l(-2). Let g be 0/(-2) - (h + 3). Are g and q non-equal?
True
Let x = 40 - 13. Let k be 0 + -2 - (-66)/x. Which is smaller: -1 or k?
-1
Let j be (4/(-8))/((-1)/(-2)). Which is greater: j or 2/9?
2/9
Suppose -4 = 2*b - 4*t, -2*b + 0*b + 3*t = 3. Is 1/2 less than or equal to b?
False
Suppose -3*f + 5*q + 0 - 10 = 0, 5*f - 3*q = -6. Is -2/5 <= f?
True
Suppose 4*j - 13 + 1 = 0. Let h be (j/(-2) - -2)*2. Is 2/9 < h?
True
Suppose -5 = -4*j + 35. Let z be j/8 - 0/2. Which is greater: z or 1?
z
Let q be (2 - 1)/((-2)/(-12)). Let r be (-82)/(-5) - q/15. Suppose 4*o = -r, 4*w + o = 2*o. Which is greater: -1/4 or w?
-1/4
Let y = 11 - -4. Which is smaller: y or 31/2?
y
Let o be -11*(-6)/(-2)*1. Let c = -19 - o. Which is bigger: c or 13?
c
Let d(l) = -l**2 + 3*l - 2. Let q be d(2). Suppose q*g = g - 1. Is -5 smaller than g?
True
Let d be (-5)/2*4/(-5). Suppose 4*v = d*t + t + 9, -3 = 5*v + t. Let a = -140 - -563/4. Are v and a equal?
False
Let y = -0.1 - -0.4. Suppose 3*u + 4 = 7*u. Are y and u equal?
False
Let t be (-34)/(-221) - (-490)/26. Let x = 9 - t. Is -10 less than x?
False
Let b(j) = 5 + 0*j + j + 14*j**2 - 3*j**2 + 9 + j**3. Let h be b(-11). Suppose h*k - 4 = -k. Which is greater: k or 0?
k
Suppose -2*v - 4*t = 4, -3*v + 6*t = t - 5. Suppose m = -5*u - v*m + 42, -4*m = -5*u + 32. Is 7 at least u?
False
Let x(i) = i + 8. Let z be x(-6). Let n = 0 - z. Suppose -2*y - 9 = -f, -3*y - 2*y = f + 5. Is y < n?
False
Let k(i) be the third derivative of i**6/120 - i**5/20 + i**4/24 + i**3/3 - i**2. Let c be k(2). Let y = -29/70 - -1/70. Which is bigger: c or y?
c
Let p = 0 + 0. Let w = 1 + -5. Let j be (-24)/(-18) - w/(-2). Is p at least as big as j?
True
Let d = 2 - -1. Let a = d + -5. Let w = -0.1 + 0. Is w != a?
True
Let f = 96 - 94. Is -1 smaller than f?
True
Let i = -0.3 + -0.2. Let t be (-98)/1029 + 82/(-21) + 1. Is i less than t?
False
Let c(j) be the third derivative of j**6/120 + j**5/15 - 5*j**4/24 - j**3/2 - 3*j**2. Let d be c(-5). Is -4 at most as big as d?
True
Let f be ((-105)/84)/(0 - (-2)/8). Is f at least as big as -6?
True
Let m(q) = -q**2 - 6*q - 5. Let c be m(-5). Let j(z) = z**3 + 2*z**2 - 2 - 1 - 4*z + 2*z. Let d be j(-2). Is d at least c?
True
Let j = 10 - 7. Suppose j = -k + 4. Let i be 2/4 + (-65)/70. Which is greater: i or k?
k
Let s(y) = 8*y**2 - 55*y + 9. Let g be s(7). Which is smaller: g or 18?
g
Let s = 45 - 39. Let r = 0 + 4. Suppose r*j + j = 0, -2*j = -x + 5. Is x less than s?
True
Let j = 1.1 - 1. Let x(i) = i**2 + 4. Let s be x(0). Let p = s - 7. Which is greater: p or j?
j
Let i = -5.3 + 1.3. Is 0 less than i?
False
Let j be 164/(-84) - (-2)/7. Let f = j + 13/6. Let i be 12/(-9)*(-3)/2. Is i <= f?
False
Let c = 22 + -36. Which is smaller: -15 or c?
-15
Suppose -4*u + 5 = -3*k, 0 = 4*u - k + 1. Let d be (-4)/6 - 120/(-207). Which is smaller: d or u?
u
Let y = -255/14 + 37/2. Which is smaller: 1 or y?
y
Let d = 27 + -19. Is d greater than or equal to 8?
True
Let n be -1 + ((-4)/(-2) - -2). Suppose -n*j = -4*x - 35, 2*x + 1 = -3. Which is smaller: -1/3 or j?
-1/3
Let a be 570/(-12) + 3/(-4). Let m = a + 49. Which is smaller: 2 or m?
m
Suppose 3 = -3*u - 0*u. Which is greater: 2/11 or u?
2/11
Suppose 0 = 4*w - 16 - 0. Let i be -1 - 0 - (3 - w). Is 0 equal to i?
True
Let d = -59 + 59. Is d less than 1/117?
True
Let h = 376/5 + -75. Let w(s) = -s. Let n be w(2). Which is smaller: h or n?
n
Suppose 1 = s, j + 3 = -2*s + 7*s. Suppose -j*b = -0*b. Suppose -r + b - 2 = 0. Are -1 and r equal?
False
Let t = 11 - 8. Suppose -t = -2*l - l. Is l at least 1/14?
True
Let d = 2 - 2.1. Let b = -1.7 + 2.8. Let v = d + b. Is 0.1 less than v?
True
Let t = 2 - 0. Suppose t*l = -2*l. Let k be 27/21 - 1 - (-14)/(-49). Is k less than l?
False
Suppose 8*u - 4*u + 4 = 0. Let p(o) = o**3 + 12*o**2 - 12*o + 15. Let g be p(-13). Let v = 2 - g. Which is bigger: v or u?
v
Suppose 4*z - 41 = -2*d - 13, -2*d = 5*z - 32. Let o be (d/(-15))/((-1)/15). Let b be (-14)/60 - o/(-15). Is -1 greater than b?
False
Let s(k) = -k**2 + 7*k + 6. Let x be s(7). Suppose 4*c - g = -2, g - x*g = 5*c - 10. Let q be (-14)/(-4) + 2*(-7 - -5). Which is smaller: c or q?
q
Let p(s) be the second derivative of s**3/3 + 11*s**2/2 - 3*s. Let x be p(-8). Let g be (-1)/(x/((-15)/(-9))). Which is smaller: g or 1?
g
Let a(w) = -w**2 + 4*w - 1. Let t be a(4). Let g = t - 0. Let p be 9*10/15 + -7. Are p and g equal?
True
Suppose -3*i = 4*f - 22, -4*i + 8*i = -5*f + 28. Suppose 3*l - 10 = -i*l. Suppose -l*j + 0 - 2 = 0. Is j smaller than -3?
False
Let o = -2 - -12. Let v be (12/(-20))/(4/o). Let z(k) = -k**3 - 10*k**2 + 12*k + 9. Let g be z(-11). Is v > g?
True
Let s = -123 - -52. Does -70 = s?
False
Suppose 0 = 4*y + d - 12 + 4, 4*y + 4*d = 20. Let z = -1/154 - -773/462. Which is bigger: y or z?
z
Suppose 4*i = 4*t + 48, -4*i + 28 = -i - t. Suppose 0*j - i = 2*j. Let r = 0.04 + -0.24. Which is smaller: r or j?
j
Let m be -3*(-3)/((-9)/(-4)). Let g be (-4)/10 - (-12)/(-20). Is m greater than g?
True
Let i = 3 + -2. Let a = i - 2. Let x be 0/(6/(-2) - -2). Which is smaller: a or x?
a
Suppose -2*b + 5 = -4*g - 9, -2*b = -g - 5. Which is bigger: g or 18?
18
Let a = 12.81 + 1.79. Let n = -16.58 + a. Let u = 0.02 - n. Is -0.1 smaller than u?
True
Let v be (42/28)/(2/(-12)). Let q be ((-15)/(-20))/(v/6). Which is bigger: q or 0.3?
0.3
Suppose -t + 4*u = -10, 2*t + 19 = -0*t - 5*u. Let o = 0 + -1. Which is smaller: o or t?
t
Let s = -0.07 - 0.13. Let l = -0.3 + -0.7. Which is smaller: l or s?
l
Suppose 2*k + 3 = 7. Suppose 5*a - k*o - 15 = 3*o, -4*a = -5*o - 13. Let y be 2/(2 + 2/4). Which is smaller: a or y?
y
Let t = -2 - 5. Let g(h) = -3*h - 10. Let u(a) = a + 3. Let q(d) = t*u(d) - 2*g(d). Let k be q(-2). Is 1 >= k?
True
Let g = -9/11 + 1. Is 0.2 at most g?
False
Let f = 56 + -36. Let s = 21 - f. Is s greater than -0.02?
True
Suppose 0 = y + 2*y - 27. Let n be ((-3)/(-2))/(y/(-5)). Which is bigger: 0 or n?
0
Suppose -5*r + 35 = 2*l + 9, l - 3 = 0. Suppose 4*y = 3*k + 10, -3 = r*y - y + 3*k. Let t be (1 - (2 - y))/(-2). Is t greater than or equal to -1?
True
Let u(q) = q**3 - 17*q**2 + 18*q - 32. Let h be u(16). Is -1/5 > h?
False
Suppose -2*d + 2*f = 18, -3*d - 27 = 2*f - 0*f. Let x = -4 - 6. Do x and d have different values?
True
Let b be (-10)/(2 + -2 + -2). Suppose -383 + 63 = -2*v + b*s, -3*v - 5*s + 505 = 0. Let a be 2/(-5) + 36/v. Which is bigger: -1 or a?
a
Let k be 33/(-2) - 63/42. Which is bigger: -17 or k?
-17
Let q = -25 + 25.17. Let v = -0.03 - q. Are v and 3 unequal?
True
Let c = -4 - 0. Let w = 0.07 - 5.07. Let v = w - c. Which is greater: -2/11 or v?
-2/11
Let j(o) = -2*o + 9. Let z be j(4). Is z at most -7?
False
Let c(u) = 2*u**3 - u**2 - 4*u + 1. Let l be c(3). Which is greater: l or 33?
l
Let k = -1 - -0.9. Is -0.1 at least as big as k?
True
Let p = -91/4 + 23. Is p > 0.05?
True
Let i be (50/505)/(-5)*(1 + 0). Which is greater: 0 or i?
0
Let w be (-5)/((-15)/4)*3. Suppose -35 = 5*s - 10*s. Let j be (42/s)/(4 + -2). Which is bigger: j or w?
w
Suppose -3*t = -4 + 1. Let q = 0 - t. Is q at least 0.8?
False
Let o = 5