t b be (0 + (-21)/4)/(f/12). Is 0 equal to b?
False
Let j be 8/44 - (-142365)/10450. Let q = j - 1/190. Which is greater: 13 or q?
q
Let b = 121 - 119. Let q = 16.9 + -97.9. Which is smaller: q or b?
q
Let n = -39117/5 + 514121/65. Is n <= 85?
False
Let l = 399 + -397. Suppose -3*k + z + 4 = 0, -l*k + 6*z + 20 = z. Let j = 3 - 7. Is j less than k?
True
Let b be ((-3)/4)/((-1)/(-4)). Let t be b/((-1998)/1995) + -3. Are 0 and t equal?
False
Let q(v) = -1 + 205*v**2 - 100*v**2 - 104*v**2. Let y be q(2). Suppose -5*u + 205 = 5*m, 2*u - u - y*m - 21 = 0. Are 36 and u unequal?
False
Let t(v) = -10*v + 4255. Let n be t(83). Which is greater: 3424 or n?
n
Let r = -1051 + 1050.9. Do 5/23 and r have different values?
True
Suppose q - 5*x + 15 = 48, -3*q + 19 = x. Let y = 6 - q. Let u(n) = 30*n - 508. Let i be u(17). Is i at most as big as y?
False
Let x = 2.51 - -1.49. Let q = 3.7 + -8.7. Is x bigger than q?
True
Let o = 1.5 - 1.646. Let b = o - -0.046. Are 4 and b nonequal?
True
Suppose -18*w - p = -23*w - 451, 3*w + 4*p = -266. Let m be 4/10 - (17 - (-1584)/w). Let y be 2/(-4) + (-14)/(-32). Is y < m?
True
Let a(t) = t - 1. Let n be a(12). Let q(r) = r**2 + r + 9. Let d be q(0). Which is bigger: d or n?
n
Let q be (-17)/102 - (-265)/6. Suppose -180 = -q*l + 14*l. Is 15 <= l?
False
Let w be (-58660)/9777 - (-558)/93. Is w at most 0?
False
Suppose 4*h = 28 + 104. Let f be (-5)/((-110)/4) - (-5)/h. Which is smaller: 3/11 or f?
3/11
Let b = -299 + 310. Suppose 65 + 430 = b*y. Is 44 equal to y?
False
Suppose -4*k - r = 0, 4*k + 2*r - 3*r = 0. Let m = -0.0748 + -0.3252. Is k at most as big as m?
False
Suppose -f = -2*h + 5, 0 + 4 = -2*f + 2*h. Let j = 73/324 + 2/81. Is j < f?
True
Suppose 7*a + 2*a - 2*a = 0. Let s be (a/1)/(-10 - -8). Let o = 45/92 + 6/23. Which is greater: s or o?
o
Let w be 6/4*(-96)/153. Let n be (-2418)/2821*(-14)/(-6). Which is bigger: n or w?
w
Let j be ((-332)/33864)/((-266)/12). Do 1 and j have the same value?
False
Let d = -23 + 23. Suppose 8*c - 204 + 620 = d. Which is smaller: -50 or c?
c
Suppose -r + 6 = 4*v - 3, 0 = 4*r - 5*v - 36. Let b be r + 0 - (-11)/(22/4). Suppose 5*z - 12 = 53. Is b bigger than z?
False
Let p = 181 - 345. Let x = -164.3 - p. Let y = 0.17 - 11.17. Is y greater than x?
False
Let l = -74.9 - -75. Let d = -21/94 + -1691/846. Which is greater: d or l?
l
Let u(r) = -r**3 - 22*r**2 + 18*r - 45. Suppose 19 = -i - 4*k, 3*k - 26 = -6*i + 7*i. Let s be u(i). Is s less than or equal to 72?
True
Suppose -3*a - 5*y - 24 + 93 = 0, 2*a - 4*y = 68. Suppose -15 = a*t - 33*t. Let w be (6 + -1)*-44*t/(-12). Do w and 55 have the same value?
True
Let d be 36/84 + 32/7. Suppose -4*w - 30 = -d*w. Let v(z) = -z + 28. Let j be v(0). Which is bigger: j or w?
w
Let k = 0.6551 + -59.6551. Let s = 137 + -72. Let l = s + k. Which is smaller: -1/5 or l?
-1/5
Let j(r) = -r**2 - 18*r - 77. Let x be j(-9). Suppose -45*p + 49*p + x = 0. Does 2/57 = p?
False
Let r be (12/8)/(92/207). Are r and -9 unequal?
True
Let t = -1016681021/4771 - -213096. Is t at least -1?
True
Suppose -7*v + 66 + 235 = 0. Suppose -b = -45 + 3. Let m = v - b. Which is greater: m or 12/13?
m
Suppose -4*h = -44 - 60. Let p = h - 8. Let m be ((-6)/(-9))/(2*(-2)/p). Which is smaller: m or -19/5?
-19/5
Let v = 66.8 + -65.983. Let h = 0.917 - v. Which is smaller: h or -613?
-613
Let c be (-2)/2 - (12 - 10) - -3. Let q(l) = l**3 + l**2 + 9*l - 37. Let m be q(c). Let b be -37 + (-2 + 1 - 0). Which is smaller: m or b?
b
Let z = 765805 - 96490771/126. Let l = z + -49/9. Let u = -10 - -10. Which is greater: u or l?
u
Let l = 72 + -66. Suppose 10*x - l + 46 = 0. Let v be (x/15)/((-4)/(-130)). Which is bigger: v or -10?
v
Let u(l) = -l**2 + 21*l + 48. Let c be u(23). Suppose 3*v = -2*h + 86, 0 = -0*v - v + c*h + 18. Which is smaller: 0 or v?
0
Let o = 48053 + -48304. Is o at least 2/85?
False
Suppose -2*y + x - 1369 = 2305, -3*x = -6. Is y <= -1836?
True
Let f be 6/(-18)*4*126. Let l = 167 + f. Which is bigger: l or -9/7?
l
Suppose -8*x + 10 = -7*x. Suppose -x*v + 13*v = -3*g + 30, -5*g - 3*v = -44. Are g and 6 non-equal?
True
Suppose 0*x + 5*x + 340 = 0. Let a = x + 339/5. Do a and 8.8 have different values?
True
Let q(v) = v - 5. Let k be q(5). Let n(i) = -84*i + 132. Let y be n(2). Let o be 50 - 31 - y/(-4). Which is smaller: o or k?
k
Let a = 141 + -54. Let s = 84.6 - a. Is s equal to 2/7?
False
Suppose 2570 = 2*v - o, -v + 1595 = -o + 311. Is 1286 < v?
False
Let n = -53 - -53.76. Let p = n - 1.69. Let v = 0.83 + p. Are 0.39 and v non-equal?
True
Let j = -273 + 278. Let h = 75 + j. Is h > 80?
False
Let w be (1 - (-3)/(-5)) + (5 - 7308/1120). Let x = 3 - 3. Which is smaller: w or x?
w
Let z = -79 - -80.06. Let w = z + -4.66. Let c = 7.4 - w. Which is smaller: c or -0.3?
-0.3
Let k = -5795 - -5796.4. Is 21.3 smaller than k?
False
Let q = 13699 - 14030. Is 8 > q?
True
Let j be (-8 + -80 - -8)/((-4)/1330). Let t be (j/(-48))/(-19) + (0 - -5). Which is bigger: 34 or t?
t
Let j(o) = -15*o + 17. Let i(v) = -7*v + 8. Let t(u) = 7*i(u) - 3*j(u). Let d be t(3). Let c be (d + 5)/((-2)/(-20)). Is -19 smaller than c?
False
Let x = -214 + 220. Suppose 8*c - 98 = -x*c. Let b be (4/(-6))/(2/(-15)). Are b and c unequal?
True
Suppose -9*f = -0*f - 206 - 199. Which is smaller: f or 84?
f
Let t = -243.596 + 0.596. Let r = 252 + t. Are r and -13 equal?
False
Let j(v) = -3*v**3 - 39*v**2 - 30*v - 161. Let m be j(-10). Is -3804/5 at most as big as m?
False
Let p be ((-45)/400)/(312/96). Is p greater than or equal to -1?
True
Let l = -29.53576 - 0.26424. Is l less than 2/15?
True
Let l = 95082 - 2440659856/25669. Is -1 >= l?
False
Suppose -16 + 8 = 56*d - 64. Which is smaller: d or -0.1743?
-0.1743
Let f be (-1 - 4) + 14/7. Let m be (-1 + (-29)/f)*30. Let w be 205/m - (-6)/(-8). Are -1/4 and w unequal?
True
Suppose 0 = -4*c + 4*s + 6388, 8*c - 9*c - 3*s = -1593. Which is bigger: c or 6379/4?
c
Let w(o) = o - 17. Suppose 0*b + 3*b = s - 27, 2*b - 38 = -2*s. Let u be w(s). Is u at most 11/4?
False
Let t(q) = -8*q + 10. Let s(j) = -j**3 + 11*j**2 + j - 10. Let y be s(11). Let v be t(y). Which is bigger: 4 or v?
4
Suppose p + 10*g = 8*g - 78, -4*p + 5*g = 247. Let f be (16/56 + p/(-56))*-226. Which is greater: -338 or f?
-338
Let o = 133.8 + -6.8. Let x = 126.9 - o. Do x and 46/3 have the same value?
False
Let h(c) = -c**3 + 4*c**2 + 31*c - 12. Let k be h(7). Which is smaller: 79 or k?
k
Let g be (4/(-51542) - 1) + (1 - (-8 - -8)). Is -1 at least as big as g?
False
Let r be (52/(-32))/((-1)/(-8)). Which is greater: -15 or r?
r
Suppose 5*l + 17 = 3*n - 11, 2*l + 6 = -4*n. Let d be (-1 + l)*(-1)/2. Which is smaller: 11/5 or d?
11/5
Let j be 1 - (-84 + (2 + -3 - -2)). Let z = j + -62. Suppose b - 23 = -z. Is 11/9 greater than or equal to b?
True
Let z(s) = s**3 - 7*s**2 + 7*s - 8. Let y be z(6). Let h(t) = -3*t**2 - 2. Let w(f) = -f**3 - 7*f**2 - 5*f + 6. Let a be w(-6). Let u be h(a). Is u != y?
False
Suppose -4*g - i = -3*g - 43, -g + 37 = -i. Let s = -16 + g. Let t be s - (3 - (0 - -4)). Is t <= 25?
True
Let r(v) = 4*v + 24. Let n(q) = -1. Let m(w) = -5*n(w) - r(w). Let d be m(-3). Let y be (d - -6) + (-133)/(-135). Is y less than or equal to 0?
True
Let o = -24.214 - -1.214. Which is smaller: o or 0.052?
o
Let t be (16/40)/(6 - 240/50). Which is bigger: t or 1287/5?
1287/5
Let l be (-1 + 11 - 1)/(((-8064)/(-320))/42). Suppose 5*x + 2 = -3. Let z be 2 - (13/(-1) + x). Which is greater: l or z?
z
Let b = 0.06 + 0.04. Let c(k) = -4*k - 3. Let y be c(3). Let j be (-10)/y - (3 - 26/6). Which is smaller: b or j?
b
Suppose 2*k - 2*z - 5 = 3*z, -4*z - 4 = -k. Let x be (-23)/1*(3/3 - k). Which is smaller: x or -4?
x
Suppose 893*t = 908*t + 30. Suppose 2822 = 5*b - v - v, -3*b - 3*v = -1689. Let h be b/264 - t/(-4). Is -1 not equal to h?
True
Let u(p) = -132*p - 4229. Let f be u(-32). Are f and -165/29 non-equal?
True
Let v(u) = 4*u**2 + 65*u - 24. Let z(r) = 4*r**2 + 64*r - 23. Let d be -2 - (4 + (-3 - -3)). Let a(h) = d*z(h) + 5*v(h). Let k be a(-15). Is k > 13/5?
True
Let a be 28 + ((-3)/1 + 3)/1. Let j be 14/a - 961/2. Let h be 2/(-5) - j/(-50). Which is greater: -1 or h?
-1
Let a(b) = 104*b**2 - 485*b - 1462. Let f be a(-3). Is 931 greater than f?
True
Suppose -2*z - 11 = a, 3*a - 3*z = -1 + 13. Which