Let s = 551/610 + v. Do s and 2 have different values?
True
Let b = -4274/8755731 + -1/5787. Are 0 and b non-equal?
True
Let i = 91.965 + -92. Which is smaller: 2 or i?
i
Let v be (-17)/(-6)*(4 - (-930)/(-235)). Is -1 > v?
False
Let h = 0.7 - 1.7. Let x = -0.91 - 0.29. Is h greater than or equal to x?
True
Suppose -2*z = -k - 6, -z - k = 2*z - 14. Let o be 5*4*z/8. Let r be 2/o + (-76)/180. Which is bigger: r or 0?
0
Let f be (-26)/(-117) + (-14)/(-18). Is f > 1/3?
True
Let r = 0.354 - -0.016. Let t = r - -0.63. Suppose 37 + 3 = 5*d. Is d less than t?
False
Let b = 99.92 - -1.08. Let s = -2 + b. Which is smaller: 1 or s?
1
Let k(o) be the second derivative of o**5/20 - o**4/4 + 9*o. Let p be k(3). Is p less than or equal to 32?
True
Let p = 45 + -43. Let d be (15/(-20))/(2/(-16)) - p. Which is smaller: 1 or d?
1
Let o(t) = 29*t - 70. Let q be o(5). Is 73 less than or equal to q?
True
Let v(x) = 3*x - 8. Let d(y) = -y + 3. Let z(w) = 8*d(w) + 3*v(w). Let a be z(1). Let t be (1 - 6/(-54)) + 2/(-2). Is t at least a?
False
Let p = -14 + 26. Let k be 1 + (-2)/((-8)/p). Let q = k + 12. Which is greater: 17 or q?
17
Suppose -k - k = -84. Suppose 0 = -y - 482 + 524. Is k less than y?
False
Let d = -5 + 8. Let r(v) = 5*v - 68. Let y be r(14). Suppose y*t - 4*m = -14, d*m + 50 = -5*t - 2*m. Which is smaller: -1 or t?
t
Let r = 5 + -4.29. Let f = r + -0.51. Which is greater: f or -1?
f
Let c = -81.93 + 82. Which is smaller: 0.6 or c?
c
Let a(p) = 12 + 1 + 11*p - 13*p. Let r be a(-3). Is r <= 55/3?
False
Let h = 2947 - 2949. Let x(m) = -m**3 + 7*m**2 - m - 5. Let t be x(6). Which is smaller: h or t?
h
Let m = -0.17 + 0.11. Which is bigger: -4 or m?
m
Let z = -498 - -499. Are z and 2/31 non-equal?
True
Let j be -1 + (-236)/(-6) - 3/9. Let r be 3/(-6) - j/(-28). Let h = 4 + -2. Which is smaller: r or h?
r
Let h be (2/4)/((-3)/30). Let q(o) be the first derivative of -o**4/4 + o**3/3 - o**2/2 - 5*o + 12. Let t be q(0). Is h != t?
False
Let k = 1827 - 65767/36. Is k < 0?
False
Let b be 2 + -45 + 12/4. Let s = b + 38. Which is greater: s or -5/8?
-5/8
Let d = 89/120 - 7/8. Let b = d - 7/60. Which is smaller: 6 or b?
b
Let t be 10 + (-7120)/30 - (-12)/9. Is t smaller than 1/4?
True
Let x be 144/(-108) + (-2156)/(-6). Is 358 >= x?
True
Let c = -84.7 + 79. Let d = -15 - -21. Let b = d + c. Which is greater: b or -1/4?
b
Let q = 2 - -12. Let d be (3/12 - 2)*(-45 + 37). Is d >= q?
True
Let d be 4/(-18) - 183/27. Let r = 24 - d. Suppose 2*k - r = 1. Do 15 and k have different values?
True
Let z(o) = o**3 + o**2 - 4*o - 3. Let t be z(-2). Let k(j) = 9*j**3 - 2*j + 1. Let b be k(t). Suppose 2*i + 2*i + b = 0. Do -0.6 and i have different values?
True
Let y = -11 - 4.9. Let u = y + 1.9. Let f = u - -12. Which is smaller: f or -1?
f
Suppose 0 = 4*y + w - 50, y + 2*w = 43 - 34. Is y <= -0.02?
False
Suppose -3*x + 23 = -t + 5*t, 4*t - 18 = -2*x. Which is greater: t or 1?
t
Let j = -1007 + 1544. Is j > 537?
False
Let j = 1338812 - 899682143/672. Let o = j + 13/21. Which is bigger: 1 or o?
1
Let z(t) = -18*t + 1. Let h be z(0). Which is greater: 10/17 or h?
h
Let z(f) = f**3 - 5*f**2 + 3*f + 12. Let x be z(4). Which is bigger: x or 9?
9
Let c = -1239/2 - -1294751/2090. Is -1 less than c?
True
Let w be (-4532)/(-1680)*2 - 2/(-10). Let i = w - 2/21. Are i and 2/7 unequal?
True
Suppose -4*n + 6*n - 24 = 0. Suppose 5*l = 2*l + n. Let q be l/(-22) - 0/2. Is 1 < q?
False
Let x be (-6)/22*(-72)/(-27). Which is smaller: 0 or x?
x
Let m be (23 + -25)/(2/12). Which is greater: -21 or m?
m
Let r be (0 - -27) + (1 - -1). Let g = -608 - -638. Which is greater: r or g?
g
Let k = -1007 + 938. Are k and -66 equal?
False
Let m = -186 - -414. Which is bigger: 229 or m?
229
Suppose -i = 2*i - 12. Let s be (-300)/72 - i/(-1). Is s at least 4?
False
Let z = -1.076 + 1.136. Which is smaller: z or 16?
z
Let i = 181 - 119. Suppose 0*l = -5*v - l + 58, 5*v - l - i = 0. Let o(y) = 4*y - 10. Let w be o(6). Do v and w have the same value?
False
Let x be (2/(-11))/(630/1965). Let c = -10/21 - x. Let n be (0 - 0)/(1 + -3). Is c <= n?
False
Let z = -36.8 + 22. Let x = -3.1 + 18.1. Let q = x + z. Is -1/8 equal to q?
False
Let w(i) = -24*i + 2. Let h be w(-1). Let u be 4/h - 608/(-104). Let x be (u/279)/(1/3). Which is smaller: 1 or x?
x
Let j = -8.523 - -0.523. Which is bigger: j or 5?
5
Let x be 33/44 + 875/(-20). Which is smaller: -133/3 or x?
-133/3
Let o be (1/3)/(750/(-252) + 3). Suppose 19 = q - 5*h, 4*h = 2*q - o - 0. Is q equal to -3/11?
False
Let o = 1.16 + 157.84. Which is bigger: o or -0.1?
o
Let q = 1146.65 + -1146. Which is bigger: q or 5?
5
Let i = 3 + -2. Let p = 6 + -34. Let b = p + 30. Is b smaller than i?
False
Let k(h) = -h**3 - 13*h**2 - 11*h + 9. Let j be k(-12). Let p = -8 - -5. Is j smaller than p?
False
Suppose 1 = j + 2. Let g = -7 - -7. Let o be (-32)/18 - (4/18 + g). Which is greater: o or j?
j
Let g(l) = 16*l**2 - 3*l - 4. Let o be g(-1). Let y be 27*((-5)/o)/(-1). Which is smaller: 6 or y?
6
Suppose 293*c = 289*c - 3276. Which is smaller: -820 or c?
-820
Let n = 50766/31 + -1638. Let i = n - -115/217. Is i greater than 1?
False
Let m be (-2)/3 - 14/(-3). Let w be m*-3*5/(-12). Let x(k) = -k**2 + 3*k + 4. Let z be x(3). Which is smaller: w or z?
z
Let h = 426 + -3830/9. Let b(x) = x + 4. Let u be b(-5). Is h bigger than u?
True
Let c(w) = w**3 - 23*w**2 + 118*w + 53. Let a be c(19). Is 852 greater than or equal to a?
True
Let t = -13 + 15. Suppose -m + 1 = -t*r, -3*r = -r - 4*m - 8. Let w be (-18)/(-81) + r/9. Which is bigger: w or 2?
2
Let u be (2/(-4))/((-4)/(-8)). Let l be (-4)/3*(-9)/(-2). Let j be u/(-2) - (l + 10). Is j less than -4?
False
Let k(z) = z**3 + 12*z**2 - 9*z + 18. Let a be k(-13). Let u = 24 + a. Let i be 6/u + 6/(-15). Does -0.2 = i?
False
Suppose -1103 = -7*r + 661. Is 251 at most r?
True
Suppose 0 = w - p + 54, -8*p - 156 = 3*w - 13*p. Is w > 0.4?
False
Let n = 3889/33 + -353/3. Which is smaller: n or 31.3?
n
Let b(p) = p**3 - 9*p**2 - 7*p - 33. Let q be b(10). Is q greater than -34/13?
False
Let d = 3.16 - 2.16. Which is smaller: 153 or d?
d
Let s(r) = -r**3 + 5*r**2 - 4*r + 6. Let j be s(3). Let b be (j/(-18))/((-4)/6*-2). Is 93 > b?
True
Let s = 310.76 + -301. Let c = s - -0.24. Let y = c - 10.08. Is -1 equal to y?
False
Let q be 9/12*14/3. Let y = 5.8 + -6. Which is smaller: y or q?
y
Let o = -159 + 730. Is o smaller than 571?
False
Suppose -2*d - 331 = -5*s, 5*s = 6*d - 3*d + 494. Is -164 smaller than d?
True
Let v(n) = -n + 2. Let d(h) = h**3 + 6*h**2 - h - 4. Let q be d(-6). Suppose -2*l = 3*x - 28, 7*x - 3*x - q*l = 14. Let s be v(x). Is s at most as big as -4?
True
Let z = -0.17 + -11.83. Let i = z - -11.9. Are 14 and i unequal?
True
Let n = 0 - 0.3. Let s = 0.1 + n. Suppose 364*j = 367*j - 6. Which is greater: s or j?
j
Let q = -87/19 - -5. Let p = -158/285 + q. Let k(s) = s**3 - 2*s**2 - 3*s - 1. Let g be k(3). Is g at most as big as p?
True
Let n be (96/40)/((-12)/(-30)). Suppose -3*w - 10 = 2. Is w < n?
True
Let h = 3249049/681 - 4771. Which is bigger: h or -1?
h
Let m = 14.53 - 0.53. Let l = -492 - -477.96. Let j = l + m. Do 0.1 and j have different values?
True
Suppose 4*q = 3*j + 18 - 59, 2*j - 32 = 5*q. Suppose -5*t + 62 + 118 = 0. Suppose -12 = 3*u, u = 3*k - 7*k + t. Which is smaller: j or k?
k
Let r be 2 - (3 + (-4 - -2)). Let n be (-10*(-6)/(-345))/(0 - -2). Which is smaller: r or n?
n
Let l be ((-8)/(-20))/((-70)/150). Let p(z) be the first derivative of z**2/2 - 7*z - 1. Let c be p(7). Which is smaller: c or l?
l
Suppose -4*h - 404 = 4*v, -h + 5*v - 109 = 2*v. Let k = -103 - h. Which is smaller: -6 or k?
-6
Suppose -4*k + 5 = k. Let j(x) = x**3 - x**2 - x + 1. Let t be j(k). Let g(m) = m**3 + 2*m + 1. Let h be g(t). Which is smaller: 1/5 or h?
1/5
Let g = 0.07 - -3.93. Let z = 0.18994 - -0.01006. Which is greater: g or z?
g
Let b be -16*(-2)/(-1 - -9). Suppose 0*d + 2*n = 3*d - 13, -11 = -3*d + b*n. Is 4 at least d?
False
Let m = -0.73 + 6.43. Does -1 = m?
False
Let f = -56.6 + 51. Let u = -8.7 - f. Let m = 3.2 + u. Is m at least as big as 0.7?
False
Let f be ((-2 - -1)*-6)/(117/6708). Are 345 and f non-equal?
True
Suppose 0 = 5*p + 111 + 534. Let q = p - -380/3. Is q greater than -3?
True
Let r = 0.397 - 0.65. Let h = r - -0.15