ue
Let p = -165.92 + 166. Are p and 3 non-equal?
True
Let l(m) = 2*m**2 - 1. Let r be l(-4). Let u = r - 248. Let g = 3254/15 + u. Is g != 0?
True
Let l be (-2)/(-8) - 115/(-100). Is 2 at most as big as l?
False
Suppose 3*o = 5*l, 5*l - 2*l = 4*o. Is -14/13 at least l?
False
Let i = -4/5 - -2. Are i and 1 nonequal?
True
Suppose 4*o - 2 = 6. Suppose o*a = -0*a + 20. Suppose -7*d + a = -2*d. Is d >= 2?
True
Let d = 10.1 + -10. Let y = -2.3 + 2. Let r = 0.4 + y. Is d less than r?
False
Let s = -8 - -12. Let x = -5 - -8. Which is smaller: s or x?
x
Let b be (2 - 8/3)/(-7). Suppose -5*u - 5 = 0, 9*u = 5*q + 8*u - 1. Is q less than or equal to b?
True
Let k = -1 - 0. Let t = -221403 - -2433652/11. Let u = t - -162. Is u != k?
True
Let w be 6/15 + (-146)/(-10). Suppose u + 4*u - w = 0. Let s = u - 4. Are -1/4 and s non-equal?
True
Let d be 204/(-459)*(-2)/12*-3. Let q = -1 - -1. Suppose q = 3*o + o + 2*x - 14, 0 = 5*o - 5*x + 20. Is o greater than d?
True
Suppose 2*a - w - 4*w - 27 = 0, 2*a = -5*w - 23. Which is bigger: a or -3/10?
a
Let m = 45 + -38.9. Let c = -6 + m. Is 5 equal to c?
False
Let n be ((-28)/5)/(4/(-10)). Let m = n + -14. Which is bigger: m or -3/4?
m
Let b be -2*1/2*1. Let r = -7/3 + 32/15. Which is smaller: b or r?
b
Suppose -5*r + 10*r = 0. Do 2/7 and r have the same value?
False
Suppose -11*s + 6 = -17*s. Suppose -3*u + 40 = -0*z + 2*z, 0 = -u - 4*z. Which is greater: u or s?
u
Let d = 13 - 12.8. Let s = 9 + -21. Let k be 6/(-20)*10/s. Which is smaller: d or k?
d
Suppose -w = 2*g - 15, 0 = -5*w - 2*g - 5 + 40. Suppose 0 = -2*d + 3*p - 11, w*p + 0*p = 3*d + 19. Let r = 45/2 + -22. Is r <= d?
True
Let v = -32871/10 - -3292. Let l = v + -817/130. Is -1 at most l?
False
Suppose 0 = -2*x - 6 - 12. Suppose -5*m = -m + 5*w + 15, -5 = -2*m - 5*w. Is x < m?
False
Let b = -15 - -7. Let d = 8 + b. Let a = 0.4 - 0.3. Is d greater than or equal to a?
False
Let z(f) = -f**2 + 8*f - 4. Let b be z(5). Suppose -k - 2*q + 3*q = 6, 4*k + 3*q = b. Which is bigger: k or -3?
k
Suppose k + 0 + 6 = -4*l, -l - 9 = -k. Let c be (-2 + (-16)/(-6))*k. Which is smaller: 5 or c?
c
Let l = -2.046 - -0.046. Let g = 0.3 + -1.3. Is l equal to g?
False
Let v be (-1 + 10/6)*-3. Let r = 27/220 + -17/20. Is r less than v?
False
Let q be 5/(-1 + 0) + -1. Let x be 0 + -2 - (-2 - 4). Suppose m + 26 = -4*b, x*m + 38 = -4*b - 6. Is m >= q?
True
Let f be -5 + -1 + 4 - -20. Are 18 and f nonequal?
False
Suppose -6*n + n = -25. Let a = n - 8. Is a at least -3?
True
Let c(h) = -h + 3. Let y(l) = l**3 - 5*l**2 + 3*l - 2. Let b be y(4). Let g be c(b). Let i be (-6)/g - (-1)/(-3). Is i less than 0?
True
Let g be (-8)/4 - 1*(-1 + 0). Let q be (-2*1 - -2)/2. Is q < g?
False
Suppose -x + 9 = 2*x. Suppose v = t - x, -v + 3*t = 4*v + 11. Is v at most 1/7?
True
Suppose 0 = -2*w - 3*w + 130. Is w less than or equal to 26?
True
Suppose -3*x - 3*h = -4*h - 19, -2*x + 3*h + 22 = 0. Which is bigger: x or 2?
x
Let p = 412/85 - 26/5. Let o = -52/51 - p. Do o and 0.3 have the same value?
False
Suppose -h = 2*c + 13, 5*h - 2*c + 13 = -28. Let g(n) = 2*n + 9. Let i be g(h). Which is smaller: -10 or i?
-10
Let o(c) = -3*c - 29. Let g be o(-19). Do 27 and g have the same value?
False
Let t = -8.4 + -2.6. Let d = 9 + t. Suppose 6*u - 2*u = 4. Are u and d nonequal?
True
Let c(u) = 3*u - 10. Let p be c(3). Is p less than or equal to -1/30?
True
Let l = -11 - -8. Let s = -9 - -13. Suppose s - 14 = 5*b. Is b > l?
True
Let f = -29253/46 - -636. Are f and 0 nonequal?
True
Suppose -5*h + 2*o + o = 62, 2*o = -h - 2. Is -3 less than h?
False
Suppose -8*s + 6*s = -4*s. Which is smaller: s or 1.1?
s
Suppose 22*t - 126 = t. Does -8 = t?
False
Let f = -2 - -1.7. Which is bigger: 0 or f?
0
Suppose 4*d - 7 = -3. Which is bigger: -1/17 or d?
d
Let z = 39 - 42. Is z greater than -10?
True
Let d = 3/296 - -56527/888. Let w = -2477/39 + d. Is w at most as big as 1?
True
Let v be (4/6)/((-12)/(-18)). Let f be 2/(-9) - 71/(-36). Is v not equal to f?
True
Let o = -65 + 64.8. Which is bigger: o or -0.12?
-0.12
Suppose 6*c = 4*c + 30. Let z = 5 - c. Let y be (4/16)/(z/8). Do y and 0 have different values?
True
Let w(o) = o**2 - 4*o - 5. Let y be w(6). Let x be ((-6)/9)/(1 - y). Let u be ((-30)/60)/((-1)/(-2)). Is u equal to x?
False
Let j(w) = -w**2 + 7*w - 7. Let p be j(6). Let x be p/(-4) + 91/84. Which is bigger: x or 2?
2
Let r = -13 + 13.1. Let l = 3.1 - r. Which is smaller: 0.1 or l?
0.1
Let i be (0 + 3)/(-141)*1. Which is greater: i or -1?
i
Suppose 8*h = -21 + 5. Which is smaller: h or 1?
h
Let z be (0/(-1) - -1)*3. Suppose 4*a - z = 5*a. Is a bigger than 0?
False
Suppose 6*m = 4*m + 18. Let n be (-1)/(m/6 - -2). Let l = 0.1 + -0.1. Which is smaller: l or n?
n
Let g(c) = 4*c - 14. Let t be g(5). Which is smaller: 1 or t?
1
Suppose -203*v = -207*v + 4. Let x be 3/12*2/(-1). Is v < x?
False
Suppose 3*p - 3 = 2*s, -6*p + 4*p - 2 = -2*s. Suppose s*j - 14 = 4*j. Is 5 <= j?
True
Let v(k) be the second derivative of k**3/6 - 7*k**2/2 + 3*k. Let n be v(13). Are 6 and n nonequal?
False
Suppose -4*b + 20 = -5*k, -12 = 2*b - 0*k + 3*k. Suppose -2*n + 2 = -b. Are 7/5 and n unequal?
True
Let n(x) = x**2 + 3*x - 2. Let f be n(-5). Suppose -5*z = -z + f. Suppose 2*m = 6*m + 8. Is z bigger than m?
False
Let u = -7/4481 + 310099/582530. Let k = u - 9/130. Which is greater: k or -1?
k
Suppose -6 = -3*p + 2*j - 20, 3*p + 17 = 5*j. Let l be (-7)/2 + (p - -7). Which is bigger: -2 or l?
l
Let u = -1/450 + 241/450. Are u and 2 nonequal?
True
Let f = 5 + -5. Let i be (-2 + 150/65)/1. Are f and i nonequal?
True
Suppose 5*q = 191 + 289. Let m be (22/7)/(q/(-4676)). Let p = -153 - m. Is 0 greater than or equal to p?
False
Let i(l) = -5*l - 27. Let h(u) = -2*u - 9. Let r(t) = -8*h(t) + 3*i(t). Let c be r(9). Which is bigger: -1/8 or c?
c
Let v(d) = d**3 - 15*d**2 + 13*d + 17. Let g be v(14). Which is bigger: g or 10?
10
Let j(t) = t + 2. Let q be j(3). Suppose m = -2*m + 5*y - 22, -m = q*y - 6. Is m greater than or equal to -3?
False
Let z(h) be the first derivative of -h**3/3 - 9*h**2/2 + 7*h + 2. Let m be z(-10). Let u be (-14)/(-24) - m/(-12). Which is smaller: u or -2/3?
-2/3
Suppose -5*k - a + 51 = 0, -18 = -2*k - a + 3. Suppose -3*y = -8*y - 2*s + 1, -k = y - 3*s. Let o be ((-6)/7 + 1)/(-1). Is o equal to y?
False
Suppose -11 = 3*o - 5*f, -2*o - 3*o = -3*f + 13. Let p be o/(-4)*(-3)/(-6). Which is smaller: -0.2 or p?
-0.2
Let u = 14 + -14. Which is smaller: u or -0.01?
-0.01
Let z be (2 + 2*-1)/(-2). Let v be (6/(1 + 0))/((-3036)/(-88)). Is v less than or equal to z?
False
Let f = -0.72 - -0.72. Does 1/4 = f?
False
Suppose -k - 2*n = 11, 5*k - 7*n + 2*n = 20. Let i be 0/((9/12)/(1/4)). Is k bigger than i?
False
Let d = 24 + -23. Let w = -19 - -6. Which is smaller: w or d?
w
Let s be 4/16*(-8)/28. Is -2 equal to s?
False
Suppose 0*u - 18 = 4*z + u, 2*z + 14 = 2*u. Suppose h = -t - 7, -t - 14 = 4*h - 1. Is t smaller than z?
False
Let c(x) = x**3 - 4*x**2 + 4*x - 1. Let q be c(3). Suppose 0 = -5*l, q*o = -2*o + l - 4. Let d be (-7)/9 + (-4)/18. Is d > o?
False
Let r = -3 + 3. Suppose r = -o + 2*o - 2. Let k = 7 - 7. Which is smaller: k or o?
k
Let d(i) = i - 4. Let f be d(3). Let m = -1 - f. Let a be ((-12)/80)/((-1)/(-4)). Does a = m?
False
Let b be -1 - -2 - (6 - 4). Let y = -16/49 - -2/49. Which is smaller: y or b?
b
Let r = 9 + -5. Suppose -3*d = -5*c - 12 + 2, -r*d + 5*c = -10. Is -1/7 at most d?
True
Let u be 1/5 + (-79)/(-5). Suppose 0*x = -l + 5*x + u, -8 = 4*x. Which is greater: l or 7?
7
Let b = 139 + -133. Is 2 greater than or equal to b?
False
Let n be (-6)/15 + ((-36)/(-15) - 4). Suppose -2*b = b - 6. Suppose -y = -3*t + 11, 3*y + 4 = -y + b*t. Is y != n?
True
Let o(p) = 7*p - 38. Let t be o(6). Let b = 15 - 11. Suppose 0 = b*q - 2*q - 6. Which is bigger: t or q?
t
Let j = -22 - -25. Which is greater: j or 2?
j
Let w(r) = -r**3 - 3*r**2 - r - 2. Let q be w(-3). Do 1 and q have different values?
False
Let m = 11 - 11.6. Let l = 3.6 + m. Is 2/9 at most l?
True
Let i(k) be the second derivative of -k**4/12 + 2*k**3/3 + k**2 - 3*k. Let r be i(5). Is -3 < r?
False
Let l = 1592/3 + -6089/12. Let m = 23 - l. Does m = -0.1?
False
Suppose 20 = -4*g + 5*f, g + 4*f = 5*f - 5. Let x(v) = v**3 + 6*v**2 + 5*v. Let c be x(g). Let m be 1*