 p be 86/8 + (-2)/(-8). Let r be (65/52)/((-2)/(-16)). Do r and p have different values?
True
Suppose -16 = -6*o + 3*o + 5*h, o - 9 = -2*h. Suppose -o*k + 30 = -40. Is k less than 2?
False
Let h be (0 + 2)/((-2)/(-1)). Let o = 75 - 76. Do o and h have the same value?
False
Let l(y) = -y**3 + 10*y**2 + 12*y - 20. Let u be l(10). Suppose -3*v - v = u. Are v and -25 unequal?
False
Let x = -1.91 + -3.09. Let y = -5.3 + 5. Let t = 0.2 + y. Which is smaller: x or t?
x
Let s = 5825/3 + -1973. Which is smaller: -30 or s?
s
Suppose -37*c + 66 = -40*c. Which is greater: -10 or c?
-10
Suppose 2*m + 38 = 4*u, -4*m - 69 = -2*u + u. Let w = -25 - m. Is w bigger than -3?
False
Suppose 299 = -26*z - 117. Is -7 at most z?
False
Let a = -3082 - -3077. Is -323 <= a?
True
Let w = 1234 - 1249. Let g be 2 - (3 + (-9)/6). Is w bigger than g?
False
Let y(n) = n**3 + 2*n**2 - 6*n - 5. Let q be y(2). Is q != 2/237?
True
Suppose -5*t + 6 = -2*t. Let j be (4/t)/(8/84). Is 21 != j?
False
Let x(u) = 6*u**2 - 8*u + 72. Let j be x(6). Is j > 242?
False
Let x be 38/(-12) - (-52)/13. Let w = 41 - 40. Is w at most x?
False
Let f = -0.09 - -0.12. Let s = 0.23 - f. Is s less than -3?
False
Let p be ((-2799)/699 - -4)*2. Let o = p - 227/699. Is o at least as big as 0?
False
Suppose -3*l - 2*l = -220. Let q be (-2)/4 + -6*1/l. Which is smaller: q or 0?
q
Suppose 0*d + 20 = d. Let m be ((-2)/12)/((-5)/d). Let i be 265/(-20) - (-2)/8. Is m > i?
True
Let d = 4 + -6. Let n = -5159/9 + 572. Does d = n?
False
Suppose -2*r + 2 = 3*x - 12, 3*r - 11 = -2*x. Suppose 0 = 2*o + x*o + 6. Let v = -1 - o. Is v at most -1?
False
Let t = -13.2 - -31.2. Let w = -23 - -41. Let j = w - t. Which is greater: 5 or j?
5
Let f(r) = 8*r - 5. Suppose -2*u = -3*u - 5, -5*n + 3*u = -25. Let o be f(n). Suppose v - 2*q - 2*q + o = 0, 0 = -4*v - 3*q + 13. Which is bigger: v or 2?
2
Suppose 0*o = 5*k + o + 11, 0 = -4*o + 16. Let y = -0.04 + -0.86. Let v = 1.1 + y. Do k and v have the same value?
False
Let j = 2051 - 2050.9. Which is smaller: j or 272?
j
Let y(a) = 2*a - 37. Let z be y(15). Is -7 greater than z?
False
Let v = 0.01 - -0.14. Let m = v - 0.05. Let n = 0.629 + -0.029. Which is greater: m or n?
n
Suppose 3*l + 57 = 2*a, 2*a - 14*l + 7*l - 53 = 0. Is a <= -3?
False
Let r(g) = -3*g - 9. Let q be r(-6). Suppose 5*p - 15 = 0, 3*x - 42 = -3*p + q. Let t be (-2)/(4/28*-1). Is x smaller than t?
False
Let j = 0.01 + 0.3. Let s = 0.69 + j. Is s smaller than 7/3?
True
Suppose 3000 = -8*m + 2*m. Is m greater than or equal to -500?
True
Let x = -82 - -80. Let c be -3 + 2*(-25)/x. Is 22 != c?
False
Let f = 31 + -28. Suppose f*q - 15 = -15. Suppose -3 + 18 = -3*k - 3*y, -2*y = -5*k - 11. Is q smaller than k?
False
Let k be (-2)/(-4)*4/(-34). Let u(j) = j. Let b be u(2). Let z be ((-1)/(3/(-6)) + 0)/b. Is z > k?
True
Suppose -3*u + 8*u = -i + 1, -2*i + 2 = 4*u. Are u and 3/46 non-equal?
True
Let p = -44 + 29. Let w = -10 - -10.1. Is p less than or equal to w?
True
Let v = 120/13 - 334/39. Suppose -5*f - 2*c + 4 = 0, f - 4*c = 6*f - 8. Are f and v non-equal?
True
Let i = 7.086 - 0.086. Let v = i + -6. Does v = -0.1?
False
Let x be (-51)/(-68)*(-5 + -1275). Are -960 and x nonequal?
False
Let u(o) = -2*o**2 - 14*o + 17. Let c(b) = b**2 + 15*b - 16. Let i(g) = 5*c(g) + 4*u(g). Let y be i(7). Is -25 != y?
True
Let m = -5.788 + 0.688. Let f = -6 + 1. Let q = f - m. Is -11 != q?
True
Suppose -2*l + 42 = 4*n + 266, 2*n - 2*l + 112 = 0. Let o = n + 86. Which is bigger: o or 31?
31
Suppose 14*z - 18*z = -108. Suppose 0*d + 2*d + 3*c - 52 = 0, d - z = -c. Is 29 greater than or equal to d?
True
Let r = 0.0486 - 16.9486. Are 0 and r non-equal?
True
Let x(h) = 7*h**2 + 61*h - 8. Let f be x(-6). Which is smaller: f or -123?
-123
Let j be (-10 - (-306)/30) + (-354)/1570. Is j != -1?
True
Suppose 0*t = -2*t + 2*y + 26, -3*t + 4*y + 41 = 0. Let q = -37 + t. Which is bigger: -28 or q?
q
Let d(c) = -c**2 - 18*c + 4. Let j(l) = -l**3 - 11*l**2 - 9*l - 1. Let m be j(-10). Let w = -28 - m. Let g be d(w). Is g less than 20?
False
Suppose -510 = -0*g - 5*g. Let h be (14/g)/((-10)/(-42)). Let s = h - -2/85. Which is smaller: -2/7 or s?
-2/7
Let w = -6661 - -3323841/499. Is w bigger than 1?
False
Let f be (2/42)/(128/224). Let h(k) = 2*k - 13. Let y be h(7). Is y >= f?
True
Suppose -2*j = -3*i - 17, 5*j + 8 = i + 31. Suppose j*n + 0 - 4 = 0, 2*v + 2*n = 8. Are 3 and v nonequal?
False
Let l = 33 + -36. Which is smaller: -7 or l?
-7
Let z = -36 - -35.99. Which is smaller: 20 or z?
z
Let s = 0.028 - -23.972. Let r = -29 + s. Let n = -0.3 + 0.4. Which is bigger: n or r?
n
Suppose -5*g + 5*t + 145 = 0, 3*g - 101 = -g - t. Let c = g - 23. Which is smaller: 1 or c?
1
Let g(i) = 62*i - 310. Let j be g(5). Is j at least 3?
False
Suppose -63*t - 374 - 319 = 0. Suppose -7*s - 5 = -3*s - k, 0 = k + 3. Let h(w) = 2*w**3 + 2*w**2 + w - 1. Let v be h(s). Is t greater than or equal to v?
True
Let x be 72650/70 - 2/(-14). Let i = x - 5207/5. Which is smaller: i or -3?
i
Let d = -497.1 + 499. Which is bigger: d or 2/7?
d
Suppose 5 = -v, -5*v - 45 = -2*s - 3*s. Let p be ((-46)/14 + s)*6/5. Are p and 0.2 equal?
False
Suppose 124 + 80 = i. Let c(t) = 2*t**2 + 3*t. Let y be c(-2). Let k be (-824)/i - (-2 - y). Is -1 greater than k?
False
Let q(l) = 2*l**2 - 14*l + 78. Let z be q(22). Are z and 737 nonequal?
True
Let o = 369 - 240. Suppose -2*a + o = 2*a + 3*c, 0 = 5*a - 5*c - 205. Let x be (-1)/a + 8/32. Which is bigger: 0 or x?
x
Let c = -11.7 + -1.3. Let t = c - 10. Let p = 14 + t. Which is smaller: p or -0.1?
p
Let o be 7/((-21)/(-15)) + 5. Let v(z) = 6*z - 61. Let b be v(o). Are b and 2/19 nonequal?
True
Let w(y) = 21*y**3 + y**2 + 2*y - 2. Let t be w(1). Suppose 0 = -7*a + 27 + 8. Suppose -63 = -a*o + 2*o. Is t at most o?
False
Let m = -23 - -27. Suppose 5*p - z = 8 - 78, m*p + 5*z + 27 = 0. Which is smaller: p or -11?
p
Suppose 0 = 5*m - 6 + 31. Let d(g) = 3*g**3 - g**2 + g - 4. Let s be d(2). Suppose 2 = -5*b - s. Which is bigger: m or b?
b
Let c(n) = -5*n**3 - 2*n**2 + 1. Let w be c(-1). Let a be ((-14)/w)/1*-2. Let r = -110 + 116. Which is smaller: r or a?
r
Suppose 4*b + 17 = 1. Let g(l) = -l**3 + 7*l**2 + 6*l + 9. Let p be g(8). Let d = 4 + p. Is d < b?
False
Let u = -1792231647/1375636 - -432646/331. Let v = u + 1/1039. Which is greater: 3 or v?
v
Suppose -3*g = 15, -5*c = -2*g + 3 - 58. Let u = 2 - c. Which is greater: u or -22/3?
u
Suppose d = 2*a + 12 + 9, a - 56 = -3*d. Let s = 20 - d. Let p be 5/(-17)*4/(-5). Which is smaller: s or p?
p
Suppose -2*p - 4*o = 1 - 13, 0 = 3*p + o - 3. Let m = -300 - -528. Let v be -62*(-1)/m + 2/(-12). Is p != v?
True
Let d be (-32)/(-128) - (15/4)/3. Let r = 541 - 29756/55. Is d at most as big as r?
True
Let w(h) = h**3 - 11*h**2 + 18*h + 4. Let f(u) = -u**3 + 8*u**2 + 10*u. Suppose 0 = -4*l - 2 + 38. Let r be f(l). Let c be w(r). Is c > -0.1?
True
Let h be (-1 + -1)*(105/2)/15. Let l be ((-9)/(-12))/(14/(-128) + 0). Is h smaller than l?
True
Let l be (-7854)/55*(-10)/4. Which is bigger: l or 356?
l
Let g = -13 - -13. Suppose 3*p + 168 - 18 = g. Let l be (-28)/30 - 30/p. Is l >= 6?
False
Let w be (-14)/(-4) - (7 + 17)/6. Is 1.8 greater than w?
True
Let o = -1151/6 + 198. Let z = o - 5/3. Which is bigger: z or 5?
5
Suppose 3*z = 3*s + 9, -z + 3 = 2*z + 3*s. Let m be ((-2)/10)/(z/6). Is m smaller than -2?
False
Suppose 5*q - 12 = 3. Suppose -3*m = -12, -6 = -3*r - q*m + 63. Is r less than 20?
True
Let w be -6*(-3 + (-23)/(-3) + -4). Let j be -8 - w - (-3 - (-24)/(-15)). Which is smaller: -3 or j?
-3
Let s be 294366/1917 + 3/(27/(-2)). Which is smaller: s or 154?
s
Suppose -2*c = 3*c. Suppose c = -m - 2*m. Suppose m = 5*b - 4*b + 1. Are -3/7 and b equal?
False
Let m = 158 + -157. Are 28 and m non-equal?
True
Let c(s) = 5*s**2 - 4*s + 3. Let v be c(2). Let z = -13 + v. Let t = z - 3. Which is bigger: 2/3 or t?
2/3
Suppose -2*a = 5*s - 5 - 16, -4*s = a - 15. Suppose 0 = -q, 0 = -4*t + 5*t + s*q. Which is smaller: -2/31 or t?
-2/31
Let w(k) = -k**2 + 16*k - 112. Let h be w(6). Which is bigger: h or -49?
-49
Suppose -2*t - 6 = t. Let c be (4/t)/(4/(-2)). Let f be (-2)/(-49 + -3)*-1. Is f bigger than c?
False
Let h be (-42)/(-8) - (-8)/(-32). Suppose -188 = -2*d - 4*g, 459 = h*d - 2*g + g. Let a = 1103/12 - d. Which is b