 1.93. Do f and x have the same value?
False
Let y = -0.82 + 0.02. Let k = -14/29 - -240/377. Which is smaller: k or y?
y
Let o(v) = 16*v - 21. Let x be o(8). Are x and 1/2 equal?
False
Let l = -12/2341 + 634507/18728. Let u = l + -34. Let k(p) = -p - 5. Let f be k(-5). Which is smaller: u or f?
u
Suppose -8*j + 10*j = 8. Suppose -j*o - o = l - 52, 32 = 3*o + l. Is 5 not equal to o?
True
Let k = 1.2 + -1. Let a = -0.07 + 0.04. Let x = -0.02 + a. Which is smaller: k or x?
x
Let l be 2/((-87)/17 + 5). Is -12 != l?
True
Suppose 0 = 3272*o - 3279*o + 7. Which is bigger: o or 5/241?
o
Let r = 13 - 14. Let q be (-88)/(-66) - (-106)/(-66). Is r greater than q?
False
Suppose 1 = n, -16*v = -18*v + 5*n + 9. Which is bigger: v or 0?
v
Let s be (34/75)/((-6)/20). Let k = 3/887 + 617/79830. Let z = s + k. Which is bigger: -3 or z?
z
Suppose 2*g = b + 22, -2*g = -3*g + b + 13. Let s be 15/g*4/(-10). Let a = 34/161 - -12/161. Is a > s?
True
Suppose -455 = 10*c + 3*c. Let q be (-12 - -2 - -6)*c/(-4). Is -34 less than q?
False
Suppose -3*m - 51 = -2*t, -4*t - 2*m + 3*m + 117 = 0. Let z = t + -18. Let j be (z/2)/(-2) + 2. Is -5 >= j?
False
Let d be (0 + 24/20)/((-8)/(-26)). Which is smaller: 4 or d?
d
Suppose -19 = -n - 4*p + 6, -3*p = -2*n - 5. Which is smaller: n or 0.3?
0.3
Let b = 26.4 - 22. Let x = -5.6 + b. Which is smaller: x or -3?
-3
Let y(x) be the second derivative of x**5/20 + 7*x**4/12 + 7*x**3/6 - 2*x**2 + 8*x. Let q be y(-6). Let i = -9 - q. Which is smaller: 7/5 or i?
i
Suppose -4*d - 3 = -7. Let a(k) = -425*k**3 - k. Let w be a(-1). Let z = w - 3830/9. Is d less than or equal to z?
False
Let w be (126/10)/(-3)*-5. Suppose -102 = -3*s + w. Which is bigger: s or 1/4?
s
Let u = 2 + -1. Let j(z) = z**3 - 3*z + 3. Let a be j(2). Suppose 2*o - 2*f = -2, 2*o + a*f + 22 + u = 0. Which is greater: o or -3?
-3
Let h(i) = i**3 - 7*i**2 + 8*i - 4. Let c be h(6). Let v = c + -42. Which is bigger: -33 or v?
-33
Suppose -266 = 6*m - 9*m - 4*q, -2*m + 139 = -5*q. Which is smaller: m or 84?
m
Let d(q) = -1 + 13*q - 6*q - 6*q. Let w be d(0). Which is smaller: w or 17?
w
Let l(t) be the first derivative of -t**4/4 - 4*t**3/3 - t**2 - 3*t - 14. Let m be (-6)/33 - (-62)/(-22). Let s be l(m). Is s at most as big as -5?
True
Let c be 1*((3 - 0) + 0). Suppose c*u - 2 = -8. Let l be 2/(11 + (-287)/21). Are u and l equal?
False
Let d be -3 - -2*57/42. Let i = 0.006 + -0.086. Is i smaller than d?
False
Suppose 12 + 1711 = 3*v - 2*q, -3*q + 1713 = 3*v. Is v not equal to 573?
False
Let j(q) = -2*q - 193 + 94 + 94. Suppose 0 = -5*o - 16 + 1. Let l be j(o). Is 3/10 greater than l?
False
Let r be (18/(-21))/((-1)/7). Let g = r + -6. Let c = -1402/9 + 156. Is g < c?
True
Let h be (-34)/306 - 736/18. Which is bigger: -47 or h?
h
Suppose 0 = 3*z - z. Is 48 >= z?
True
Let v = -4 + -5. Let q = -2.5 + -6.6. Let y = v - q. Is y less than -16?
False
Let k = -249.7 + 250. Which is smaller: k or 0.05?
0.05
Let r be 4/28 + 1562/(-11130). Let l = -1544/18285 - r. Is l bigger than 1/2?
False
Let g = -177 + 48. Let v be g/(-165) - (-6)/(-33). Let x = -0.17 + 2.17. Which is smaller: x or v?
v
Let z be (497/(-77) - -3)/(2*2). Is -1 at most as big as z?
True
Suppose -4*o + 42 - 10 = 0. Let r be o/12 + (-385)/15. Is -25 at most as big as r?
True
Let a = 428/9 + -2158/45. Is 6/25 less than or equal to a?
False
Let y = -40 + 119/3. Let n = 0.9 + 0.1. Which is smaller: n or y?
y
Let o be (-30)/(-1 + -1) - (-240)/120. Let y = 33 - 17. Which is greater: y or o?
o
Suppose 2*d = -2*k + 3*k - 8, -2 = 2*k + 2*d. Suppose 3*z - 2*u - 11 = 0, -4*z - 2*u = k*u + 12. Is 1 > z?
False
Suppose -861 - 744 = 3*i. Let u be (1/(-47))/((-1)/(-25147)). Let f = u - i. Is f bigger than 0?
False
Let t be (-18)/171 + (-18688)/76. Which is greater: -247 or t?
t
Suppose -5*i = -2*u + 6*u - 9, 0 = -3*i - 4*u + 7. Let x = i - 1. Which is bigger: x or 2/3?
2/3
Let d be 6/8 - (-116)/16. Let k = -13 + d. Let w be -6 + 3 + (-1)/1. Which is smaller: k or w?
k
Let d be ((-1)/(-92))/((-2)/(-173)). Let r = d + -36/23. Suppose 4*m + 12 = 4*i, 11*i + 5 = -4*m + 8*i. Does m = r?
False
Let j be -3*(11/6 + -1). Let v be 0 - 0 - (40/5)/(-1). Suppose m + 3*m = v. Which is bigger: j or m?
m
Let j = -72.4 - -78. Let r = -6 + j. Is 2 > r?
True
Let j be (2 + -6 - 0)*17358/(-264). Which is smaller: 262 or j?
262
Let z = -356 + 725/2. Suppose 3*o + 7 = -2*c, 0 = 3*c + 18 - 3. Which is greater: o or z?
z
Let l = 13.7 - 89.7. Let v = l + 76. Suppose 0 = -0*a + 4*a - 5*j - 9, -4*a = 3*j + 31. Do a and v have different values?
True
Suppose -5*i + 4*i - 5*f = 0, 3*f + 13 = 2*i. Suppose 3*s + s + 19 = -i*k, 4*s + k + 7 = 0. Which is bigger: -2/61 or s?
-2/61
Let u = -9 - -8.86. Let i = u - -0.12. Let f = -0.08 + i. Which is bigger: -0.2 or f?
f
Let p = -1020 + 1019. Which is smaller: p or -618?
-618
Let k(y) = 5*y**2 + 14*y + 4. Let s be k(-3). Which is smaller: -2 or s?
-2
Let s = -138 + 138. Which is smaller: s or 60?
s
Suppose 5 = 2*a - 7*a, 0 = -u + 4*a + 5. Let m = 4.4 + -30.4. Let q = -16 - m. Is u not equal to q?
True
Suppose -7*h + 2*h - 120 = -4*u, 4*u + 2*h = 148. Suppose -g - 11 = -u. Let m be 2/8 + (-6)/g. Is -2/13 greater than m?
False
Let x = -5629/3 + 1804. Do -72 and x have the same value?
False
Let y = -1 - -3. Suppose -h + y - 12 = 0. Let x = h - -21/2. Which is bigger: x or 1?
1
Let i = 469 + -439. Which is bigger: i or 13?
i
Suppose 8*q - 3*q = -15, 4*q - 84 = 4*y. Let g = y + 20. Is -2/3 >= g?
True
Let l(c) = -c**3 - 43*c**2 - 123*c - 112. Let k be l(-40). Is k < 49?
True
Let h(k) = -k**2 + 9*k + 111. Let g be h(15). Is 26 less than or equal to g?
False
Let f = -1736 + 1772. Let c = -2 + 1.9. Which is smaller: c or f?
c
Let n be ((-8)/6)/(1/9). Let v be (-2)/n + 6/(-36). Suppose v = -7*i + 9*i. Which is smaller: i or -2/9?
-2/9
Suppose 7*g = 3*g - 3*w - 6, 3*w = 3*g + 15. Let r be ((-12)/4 - 1) + 8. Suppose -r*s = 2*k - 4*k - 26, -s = -2*k - 11. Do k and g have the same value?
True
Suppose p = -4*n + n - 12, n + 4 = 3*p. Which is bigger: n or -58?
n
Let v(k) = -k**3 + k**2 - 3*k - 5. Let r be v(0). Let p be -3 - r - (5 - 10). Which is smaller: 10 or p?
p
Let q be 0*-1*5/15. Let i = q - -10. Is i at least 10?
True
Let s = -1/778 + -7731/38122. Which is smaller: s or 0?
s
Let y = 0.1 - -8.9. Let c = 0 + y. Let r = c - 5. Which is bigger: r or 0.2?
r
Suppose 0 = 21*q - 24*q - 6. Is q at most 3?
True
Suppose -4*k + 28 = 3*k. Suppose -1 = -n - v + 7, -k*v + 11 = -3*n. Is 1/22 bigger than n?
False
Let u be 8/52 - ((-418)/(-273) + -1). Let f be (4/65)/((-6)/(-5)). Let h = u - f. Which is smaller: h or 0?
h
Suppose 3*x - 7*i = -8*i + 14, -19 = -3*x + 4*i. Is 14/3 > x?
False
Let r(a) = -10*a - 83. Let k be r(-11). Is 2/3 greater than or equal to k?
False
Suppose 2*q = 940 - 202. Let z = -7007/19 + q. Are z and -1 unequal?
True
Let x be 6/((-8652)/(-7231)) - (1 + 4). Which is smaller: x or -1?
-1
Let c(d) = 3*d - 10. Let y(a) = 10*a - 29. Let u(s) = 7*c(s) - 2*y(s). Let v be u(10). Let b = -2 + -1. Are v and b unequal?
True
Let z = -1 + -6. Let j = 6 - z. Let n = j - 12. Is 0 < n?
True
Let k = 23.4 - 49.1. Let r = k - -26. Let j = -0.2 - -0.1. Which is bigger: r or j?
r
Let r = -2 + 2.01. Let z = 0.28 - -0.01. Let c = z + r. Is c greater than or equal to -1?
True
Let i be ((-90)/(-21))/((4/28)/1). Let y = i - 46. Is y != -15?
True
Let m(w) = 33*w**2 - 8*w - 28. Let g be m(3). Which is smaller: 491/2 or g?
g
Suppose -1135 = -4*q - 4823. Do -922 and q have the same value?
True
Let q = -11179/91516 + 21/548. Which is bigger: q or -1?
q
Let z(i) = -18*i + 144. Let d be z(8). Let h = 2/125 + -288/2375. Is d at most h?
False
Let d = -274 - -309. Does d = 4?
False
Let y = 863 + -25029/29. Which is bigger: y or 0?
0
Let v = 15.32 - 15.22. Which is smaller: v or -2/1691?
-2/1691
Let x = -387 + 387. Let y(t) = 3*t - 10. Let q be y(8). Let c be (3/(-12))/(q/(-24)). Is x bigger than c?
False
Suppose 2398*l + 1395 = 2407*l. Is l greater than -4?
True
Let j = -24 + 30. Let w = 8 - j. Let f(y) = y**3 - 3*y**2 + 5*y - 4. Let g be f(w). Are g and 8/9 equal?
False
Let x be (-3)/6 - 460/8. Let p = 247.9 - 248. Is p < x?
False
Suppose a + 2 = -2. Let x be (-1 - a)*8/6. Suppose j = -c + 3, 2*j + 0*j = x*c - 24. Which is smaller: 0 or j?
j
Let z be 0/(12/