ter: d or x?
d
Suppose -5*j - 2*u = 31, -5*j - 4*u - 14 = 23. Let k = 33 + -20. Let p = k + j. Do 8 and p have the same value?
True
Suppose t - 2*f - 9 = 0, -3*t - 5*f - 20 - 8 = 0. Let z be 4/(-60) - (-4)/10. Is t < z?
True
Let m be 6/(105/(-28)*(-4)/2). Are 2 and m equal?
False
Let a = 22 + -39. Let l = -17 - a. Are -0.2 and l non-equal?
True
Let n be 12/(-9)*14/8. Which is smaller: n or -2?
n
Suppose 3*g = -i + g + 1392, -2*g = -i + 1396. Let t = -18107/13 + i. Let f = t - 23/65. Is f less than or equal to 1?
True
Let t be (-8)/(-20) + (-2)/5. Let v = -2 - -3. Suppose 3 = -2*s + v. Is s bigger than t?
False
Suppose -2*s + 22 = 4*y, y - 3*y = 2*s - 16. Which is greater: 4 or s?
s
Let b = 1/1334 - -13303/49358. Let p = b + 71/148. Suppose 2*g - 7 = -3. Is g < p?
False
Suppose -g = -4*h - 11, -24 + 10 = 4*h - 2*g. Which is smaller: -3 or h?
-3
Suppose v = -3*v. Let m = 36/17 - 631/306. Let y = -25/18 + m. Which is bigger: y or v?
v
Let t = -0.8 + 0.66. Let o = 0.07 + t. Which is smaller: o or 1?
o
Let f = -6.6 - -6. Suppose -70*a + 71*a = 0. Which is bigger: a or f?
a
Let g be 2/(-7) + (-2)/(-7). Let o be (39/(-6))/(2/(-4)). Let m = 14 - o. Is m < g?
False
Suppose -h + 10 = -6*h. Is 9/2 < h?
False
Let u be (-8 + 3)/((-6)/18). Suppose 0 = 5*d + 5 - u. Which is greater: d or 11/6?
d
Let h be (-4)/7 + (-150)/(-42). Suppose 0*a = 3*a + h. Is 3/17 less than or equal to a?
False
Let w be -1 + 0 + 0 + 3. Let y = 93 - 42. Let d be y/15 - (-2)/(-5). Which is smaller: d or w?
w
Let a(f) = -f**2 + f + 4. Let k be a(-4). Is -16 >= k?
True
Let y = -5 + 57. Suppose -4*w - y = -w - 5*s, -78 = 5*w - 4*s. Is -14 != w?
False
Let n be (30/9)/((-4)/(-162)). Let l be 4/n*15/6. Let x = l - -77/54. Which is bigger: x or 3?
3
Let u = 7 - 8. Which is smaller: 0 or u?
u
Suppose 5 = 3*b - 4. Let d(g) = 3*g - 3. Let h be d(2). Is b equal to h?
True
Let p be 60/(-112) - 2/(-7). Is p greater than or equal to 2/29?
False
Let a = -5.1 + 0.1. Let p = a - -4. Is p not equal to -2?
True
Let i be (-128)/(-20) - 6 - (-54)/(-10). Is i smaller than -3?
True
Suppose -3*a + 6*a = -5*j + 3, 3*j + 3*a = 3. Is j at most as big as 1?
True
Let v = 14/25 + -52/75. Does v = 0?
False
Suppose -46 = 5*k - 4*x, 0 = -4*k + 4*x - 6*x - 42. Let t be 1/2 + (-5)/k. Is t greater than 1?
False
Let p = 1 - 1. Which is smaller: 1/8 or p?
p
Let j be (-1 + (-3)/(-6))*0. Is j bigger than -3?
True
Suppose -4*o + 7 = -13. Suppose 3*s + 6 = 2*m - o*m, 4*s - m = 12. Which is greater: 3 or s?
3
Suppose 3*l + 2*m + 77 = -2*l, l + 4*m = -19. Is -15 <= l?
True
Let p(k) = -k**3 + 6*k**2 - 3*k - 2. Let u be p(2). Which is smaller: 7 or u?
7
Let i(j) = 23*j**3 + 3 - 9*j**2 + 0 - 22*j**3 + j**2. Let t = -9 + 17. Let m be i(t). Is m less than or equal to 3?
True
Let d = -48 + 191/4. Is -1/7 at least as big as d?
True
Suppose 3*f = -0*f - 36. Let j = f + 12. Is 2 bigger than j?
True
Let x = -1.6 - -2. Let c = -0.3 - -0.6. Let w = c - x. Does w = -2/7?
False
Let j = -8 + 13. Let y(c) be the first derivative of -c**3/3 - c**2 + 4*c - 5. Let n be y(0). Which is greater: n or j?
j
Let s(f) = -f - 11. Let x be s(-10). Is x bigger than 0.01?
False
Let w = -15.4 + 10.5. Let t = w + 5. Do 3 and t have the same value?
False
Let d = -0.3 - -0.3. Let z = -2 - -2. Let p = 0 - z. Is d < p?
False
Let i(f) = -f**2 - 5*f - 3. Let g be i(-4). Let m = 89/198 - 5/22. Which is bigger: g or m?
g
Let y = -36 - -24. Let t be 2/(-5) + y/(-15). Let z be (-1 + 3)*3/(-6). Which is smaller: t or z?
z
Let x(u) = -6*u - 4. Let f be x(4). Let r be (-2)/6*89 - -2. Let l = r - f. Which is smaller: 0.1 or l?
0.1
Let v be (4/(-3))/(1/(-15)). Let h = v - 2. Let t be 32/h - 2/(-9). Which is greater: 3 or t?
3
Let c(k) = -11*k**2 + 4. Let f be c(3). Let d be f/(-50) + (-6)/(-10). Is d >= 3?
False
Let u(w) be the second derivative of w**4/12 + 7*w**3/6 - 7*w**2/2 + 2*w. Let o = -21 + 13. Let g be u(o). Which is smaller: 2 or g?
g
Let z be ((-18)/(-8))/((-264)/64). Which is smaller: z or -1?
-1
Suppose 111 = 4*s - g, 0 = 2*s - 5*g - 10 - 23. Do s and 29 have the same value?
True
Let r = -1668 + 230183/138. Let j = r - 229/138. Let l(q) = 3*q - 33. Let o be l(10). Which is smaller: o or j?
o
Let q be (2/(-4))/((-2)/32). Let b = -1.9 - -2. Is q > b?
True
Let f = 6 + -9. Which is smaller: f or 1?
f
Suppose -12 = 3*n, -4*f - 34 = 4*n + 30. Let q be 28/f - (2 - 4). Is q >= 4?
False
Let n be 0/((-1)/(2/4)). Is 10/27 greater than n?
True
Let y be (-1 + 1)/(1/(-1)). Suppose 0 = 2*k + 7 + 1. Let l(o) = -o**2 - 3*o + 4. Let j be l(k). Is y <= j?
True
Let p = -1204 - -5994/5. Which is smaller: -4 or p?
p
Suppose -2*t + t + 2 = 0. Suppose 8 = t*d - 12. Suppose 5*r = -0*r + d. Which is smaller: 3/2 or r?
3/2
Let p = 825 + -829.99. Let t = p + 5. Let m = 0.31 - t. Which is bigger: m or -2/7?
m
Let q = -68/15 + 26/5. Let y(a) = -a**3 + 4*a**2 + 3*a - 9. Let m be y(4). Which is bigger: q or m?
m
Let h(j) = -j**3 + 13*j**2 + 48*j + 9. Let p be h(16). Is p greater than or equal to 72/7?
False
Let f be 12/(-78) - 84/130. Let n(p) = p**2 + 3*p. Let h be 2/(-2)*6/2. Let d be n(h). Is d at most f?
False
Let v = -19 - -29. Which is smaller: v or 8?
8
Let b(o) = -10*o. Let h be b(-3). Do 31 and h have different values?
True
Suppose -4*r + 2*r = -42. Which is smaller: r or 43/2?
r
Let f = -11 + 13. Is 7 <= f?
False
Suppose 52 = -3*p - o - 1, -o = -2*p - 27. Is -14 > p?
True
Let m = -1.1 - 3.9. Let k = 0.001 - -4.599. Let w = k + m. Is -1/2 <= w?
True
Suppose -o + 9 = -2*m, 2*m = -5*o + 117 - 24. Suppose -4*t - 5 = -o. Suppose 0*q + q - 4*u = -13, 0 = 5*u - 20. Is t != q?
False
Suppose -4*k = -4*k + 3*k. Which is smaller: k or 5/18?
k
Let t = -12542/13 - -964. Is -2 greater than t?
False
Let s = -167 + 2337/14. Which is smaller: 0 or s?
s
Let m = 7.05 - 0.05. Let k = -6 + m. Let g = 77 - 1153/15. Are g and k unequal?
True
Let u = 10.9 - 15.8. Let i = 0.9 + u. Let y = i + 4.2. Are y and -1 equal?
False
Let u be 4/(-6) + 22/6. Suppose -3 = 2*t - d, 7*t + d - u = 2*t. Is 1/9 less than or equal to t?
False
Let n(s) = -11*s - 1. Let i be n(-1). Let y = -7 + i. Is 3/2 less than or equal to y?
True
Suppose b + 5*k - 6 = 0, 5*b + 21 = -2*k - 41. Let v = -6 - b. Let i(w) = w**2 - 7*w - 9. Let x be i(v). Which is smaller: x or -2?
-2
Let g(w) = 54*w**2. Let a be g(-1). Let j be (-75)/a + 4/18. Let k = 2/3 + j. Which is smaller: k or 1/5?
k
Let t be (-3 - -3 - 3)*-1. Suppose 4*x = t*z + 3, x = -z + 4*z + 3. Which is greater: z or 2/7?
2/7
Let l be (-60)/(-12)*(-1)/(-3). Are l and 1 non-equal?
True
Let t be (-1)/3 + 2/(-3). Let f be ((-5)/(-15))/(3/45). Which is bigger: t or f?
f
Suppose 0 = -3*p - 2 - 1. Let t be (3 - 1)*(-3)/(-6). Let j be (-18)/15 + 1/t. Does p = j?
False
Let a be (-4)/(-8) + (-1)/2. Suppose 2*q - 5 - 5 = a. Let k = 83 + -79. Is k bigger than q?
False
Suppose 3*x - 3*n - 2*n = -13, 0 = 5*x - 2*n - 10. Suppose -4*t + 6 = -t. Which is greater: x or t?
x
Suppose 2*r = 3*z - 5, 0 = -3*z - 2*z + r + 6. Let n be 2 + -4 + z + 0. Let d be (n - 1)/(-2) + 1. Is 1 != d?
True
Let n = -0.68 + 0.58. Which is smaller: n or -76?
-76
Let j = -2363/11 - -215. Let r = -67 - -67. Is j != r?
True
Let a = -5 - -6. Is -4/117 <= a?
True
Let g = -18 - -13. Which is smaller: g or -7?
-7
Let s = 22 - 22. Let b = 1.1 - 1. Does b = s?
False
Let p(f) = -2*f**2 + 9. Let r be p(0). Is 7 >= r?
False
Let f = 0.1 - -11.9. Let a = -11.94 + f. Are 0.1 and a equal?
False
Let c = 153928/7 - 21889. Let w = 101 - c. Which is greater: w or -3?
w
Let w be (-3)/15 - 154/(-520). Let o = w + 2/13. Are 1 and o non-equal?
True
Let c be ((-422)/5)/(8/4). Let l(j) = -j**3 + 8*j**2 + 5*j + 2. Let t be l(8). Let u = c + t. Which is smaller: 1 or u?
u
Let x = -3 + 2. Let w = x - -3. Is 3/4 > w?
False
Let q = -0.75 - -3.74. Let v = q - -0.01. Which is smaller: v or 0.2?
0.2
Let j be ((-62)/(-24))/((-5)/20*1). Which is smaller: -9 or j?
j
Let k = -4 + 4.6. Let i = 0.3 - k. Let w = -0.1 - i. Is w > -1/4?
True
Let o(x) = 4*x + 2 + 0 - x - x. Let h be o(2). Let m = -10 + h. Which is greater: m or -3?
-3
Let l = -10 - -17. Let c(k) = k**2 - 6*k + 8. Let g be c(l). Suppose o - y = 4*o + 3, -5*o - 5*y = g. Which is smaller: 2/17 or o?
o
Suppose -92 = 8*l - 6*l. Is l bigger than -47?
True
Let r be -4 + 6 + -5 + (-14)/(-4). Suppose 2