. Is v at most as big as -7/2?
False
Suppose 5*b = 142 + 18. Suppose 3*k + b = 8. Let v be ((-2)/6)/(k/246). Is 10 less than or equal to v?
True
Suppose -6*r = -24 + 42. Let v(k) = -6*k**3 - 2*k**2 - 18*k - 29. Let u be v(r). Is u < 170?
True
Suppose -57 = -6*t - 33. Let p be (-769948)/1680 + t/14. Let i = p + 458. Which is smaller: i or -1?
-1
Let g = 355 - 307. Suppose -g*o = -50*o + 254. Are 126 and o unequal?
True
Let w = -5397 + 5409. Let g = 4 - -2. Let n be 1*g*(0 + 2). Are w and n nonequal?
False
Suppose 466 - 6 = 20*d. Let j = -13 + 9. Is j smaller than d?
True
Let l be (3/820)/(3 - 6). Let i = -2667/1640 - l. Is -2 less than or equal to i?
True
Let n = -22 - -16. Let y(q) = 5*q - 7. Let c be y(2). Let i(u) = -2*u**2 + 10*u - 17. Let v be i(c). Which is bigger: n or v?
v
Let c(p) = p**2 + 5*p - 6. Let v be c(-6). Suppose 3*t + 19 - 763 = 3*k, 2*t = 5*k + 505. Let f be t/(-280) - 3/(-8). Which is smaller: f or v?
f
Let y(h) = h**3 + 34*h**2 + 3*h + 152. Let s be y(-34). Suppose c + 3*p = s, 0 = -12*c + 14*c - 2*p - 132. Is c bigger than 2/9?
True
Let s = -50 + 141. Suppose -r = 3*p - 79, -286 = -5*r + 3*p + s. Let u(t) = 13*t - 2. Let o be u(6). Is o < r?
False
Suppose w - 5*m + 1 = -19, -5*m + 20 = 5*w. Suppose -4*c + 24 = 4*k, -5*c - 3*k + k = -24. Suppose -t = w, 4*r + 3*t - c*t = 16. Which is smaller: 39/8 or r?
r
Let s(z) = z**2 + 3*z - 2. Let h be s(1). Let i = -683.836 + 684. Which is smaller: h or i?
i
Let x(u) = -u**2 + 6*u - 6. Let w be x(4). Let o be (-8)/48*((-28)/10 + w). Suppose 2*t = 3*t + 1. Which is smaller: t or o?
t
Let g = 2875 + -3000. Is g smaller than -123?
True
Let p = -1685 + -6907. Which is smaller: p or -8593?
-8593
Suppose -171591 = -49*s + 70*s. Let i = s - -1070406/131. Does i = 1?
False
Let w be (-38)/(-57) - 4/6. Suppose w = u - 4*h - 12, 2*h = 6*h + 8. Let o be (5/(-15))/(2 - u)*2. Is -15 at most o?
True
Let k(w) = -w**2 - 20*w - 3. Let s(t) = 21*t. Let d be s(-1). Let v be k(d). Let i = v + 38. Is i bigger than 12?
True
Let p = 273 + -262. Let s = 10.12 - -0.78. Let q = p - s. Which is greater: -2/15 or q?
q
Suppose -2*v = y + 2*v - 670, -5*v = -3*y + 2095. Let w = -779 + y. Let p = 3 - 2.9. Which is smaller: w or p?
w
Suppose 336 = -31*i + 10*i. Let v be 18/i + (-1078)/84 + 13. Which is smaller: -1 or v?
-1
Let o = 3372.2 - 3383. Do o and 1 have different values?
True
Suppose 0 = 2*g - 2*j - 16, 3*g - 2*j + j - 18 = 0. Suppose 0*m = 3*m - 2*b + 2, -g*m + 2 = 2*b. Which is smaller: -2/735 or m?
-2/735
Let d be (20/75)/((10/(-3))/(-5)). Which is smaller: -1687 or d?
-1687
Let z(x) = x**3 - 4*x**2 + 2*x + 1. Let m be z(2). Let n be ((-2 + 1)*m)/((-8)/(-56)). Let c be (n/(-14) - (0 - -1))*2. Which is greater: c or -37/7?
c
Let d = -2787 - -3001. Is 206 smaller than d?
True
Let x = -6180 + 6192. Which is smaller: x or -0.6?
-0.6
Let t = -5/1191 + -6739/2382. Which is smaller: t or -0.31?
t
Suppose 0 = -7*r + 3*c + 370, -3*c - 291 = -5*r - 19. Which is smaller: r or 115?
r
Suppose 5*s = d - 29, 5*s + 20 = 4*d + s. Is d < -3/865?
True
Let s be -4 + 3 - (-1)/2. Let j(f) = -9*f + 81. Let h be j(9). Let m be -4 - (h/(-1) - (-42 + 9)). Is s > m?
True
Suppose -34*k + 37*k - 5*r = -472, 2*k = 4*r - 318. Suppose p - 464 = 3*w - 4*p, -4*w = -p + 596. Does w = k?
False
Let m = 484.09 - 481.7. Is m equal to 8?
False
Let s(v) = -v**2 + 40*v - 201. Let k be s(6). Suppose 3*a - r = k, -a - 4*r - 12 = -0*a. Which is greater: 9/35 or a?
9/35
Suppose 4*a + 4*n = 5 - 41, 0 = 3*a + n + 15. Which is bigger: -144/37 or a?
a
Suppose 5*m = -t + 16834, -2 = 3*t - 14. Which is smaller: 3367 or m?
m
Let v = 36 - 47. Let j = 277/25 + v. Which is smaller: 1 or j?
j
Let t = 0.47 + -0.46. Let s = -502 + 524. Which is bigger: s or t?
s
Let p(d) = 3*d**3 - 354*d**2 - 3*d + 354. Let n be p(118). Is n > 12/6149?
False
Let f = -593/6 + 4133/42. Is 4292 not equal to f?
True
Let r(q) be the second derivative of -25*q**3/6 + 59*q**2/2 + 12*q. Let t be r(5). Which is smaller: -67 or t?
-67
Let m be 12/(-2)*(-33)/6050. Let h = m + 7/55. Is -1 != h?
True
Let c = 160 - 82. Let x(i) = -i**2 - 13*i + 24. Let v be x(-18). Let o be c/v + 8/44. Do o and -4/17 have different values?
True
Let u = 105.7 + -123. Let y = -32.4 - u. Let g = 15 + y. Which is greater: -4.1 or g?
g
Let q(r) = -3*r + 33. Let l be q(13). Let f be (-266)/84 + (-7)/l + -1. Which is greater: -11/4 or f?
-11/4
Let b = 5703 + -4367. Is 0.1 >= b?
False
Let y(a) = 3*a + 4. Suppose -2*p - p + 12 = 0. Suppose p*w + 1 = 3*w. Let i be y(w). Which is bigger: i or 2/19?
i
Let x = -10610 + 10423.43. Let n = x + -4.43. Which is smaller: n or 1/5?
n
Let b be (-938)/(-804) + (-13)/6. Is 2/2021 at least as big as b?
True
Let s = 1613/6 + -2669/10. Which is smaller: 0.1 or s?
0.1
Suppose 3*n = -5*a + 23, 0 = -5*n + 4*a + 2 - 13. Let f be (5 + (320/(-12))/5)/n. Is 2/57 at least f?
True
Let s(k) = -6*k - 3. Let d be s(-1). Suppose 13 = -q + t - d*t, -5*t - 45 = 5*q. Let m be (q - -7) + (-2 - 0). Is m > -4/45?
True
Let y = -9663 + 7883. Is y greater than or equal to -2/19?
False
Let l = 1083 - 108. Let w = 28047/437 + -21344608/20539. Let z = l + w. Which is smaller: 1 or z?
z
Suppose -4*d + 5*k = 36, -4*k + 642 - 714 = 4*d. Does 96 = d?
False
Let z = 712 - 1705. Are z and -993 non-equal?
False
Let s be (-11 + 20/(-24))*(1 + -4). Is -1 != s?
True
Let x = 6.2168 + -5.8968. Let n = 0.2 + 0.2. Is n at least as big as x?
True
Suppose 0 = -2*g - 19*g - 2562. Let q be (-14)/(-4) + 9/6 + g. Do -117 and q have different values?
False
Let q(h) = -6*h**2 + 48*h + 10. Let o be q(8). Let m be 2 - 2 - o/((-1050)/45). Suppose -3*l - 2 = -5. Which is smaller: m or l?
m
Let w = 7.023 + -7. Let q = -73.314 - -73. Let m = -0.214 - q. Is w smaller than m?
True
Let a be 132/(-1122) - 137/(-34)*4. Suppose a*r + 5*r = -441. Do -20 and r have the same value?
False
Let g(o) = 6*o**2 + 471*o + 1574. Let t be g(-75). Suppose 0 = r - 0*r - 214. Is t not equal to r?
True
Let b(i) = -13*i - 62. Let o be b(-5). Suppose -4*h - 2*l = 34, -o*h + 2*l + 2 = -2*l. Which is smaller: h or -27/5?
h
Suppose 268*u = 292*u - 6240. Which is greater: -4 or u?
u
Let x = 10502.93 + -10294. Let i = 209 - x. Is i not equal to 4?
True
Let o(b) = -36*b**2 + 48*b + 351. Let j be o(-8). Is -2337 >= j?
True
Let v = 3799.96208 - 3800. Which is smaller: 0.1 or v?
v
Let q(z) = -105*z - 13441. Let k be q(-128). Let t be 1/101*(0 + 3). Does t = k?
False
Let g be -1 + 1 - -2 - (-1 + -3). Suppose 2*q + 4*t + 194 = 0, -4*t + 186 = -2*q - g*t. Is -90 at most as big as q?
True
Suppose -723*l - 1411592 = -169*l. Is -2549 at least as big as l?
False
Let d = -67 + 69. Suppose -58 + 12 = -d*k. Suppose 0*y - 22 = -y. Which is smaller: y or k?
y
Let u be ((-2)/5)/(784/(-1811012)). Let f = u + -924. Is f < -1?
False
Let i = -70/74533 + 8468004/9175086833. Which is smaller: 1 or i?
i
Suppose -4*p + 29 + 3 = -v, 0 = 3*p - v - 25. Suppose 3*n = -4*i - 99, p*i - 4*n + 68 = 4*i. Is i <= -24?
True
Suppose 0 = 5*z - 4*w - 108, -3*z = 4*w - 0*w - 52. Let v = -1.621 + 1.721. Which is greater: z or v?
z
Let s(b) = -2*b**2 - 2*b + 3. Let v be ((-2)/(-12))/((-3)/(-18)). Let l be s(v). Let a be 4 - ((-729)/(-105) - 3). Which is bigger: l or a?
a
Let l = -84 - -84.046. Let b = l - 0.146. Let u = -111 + 92. Is u > b?
False
Let s = -1463 + 1496. Are s and 58 unequal?
True
Suppose 11*b = -1085 - 1368. Let j = -279 - b. Is j equal to -57?
False
Suppose -5*c - 10 = -5*b, -4*b - b = -2*c + 2. Let w be ((-1)/3)/((-3)/54*b). Let s = w - -4. Is s bigger than 5/13?
True
Let a be 122/854*3/2. Suppose 0 - 1 = u. Which is greater: a or u?
a
Let c be 2028/(-564) + 154/42. Is c >= -1?
True
Let j(z) = -2*z**3 - 5*z**2 + 6*z + 13. Let d be j(-4). Suppose 3*p + 5*t = -2*p + 360, 4*t - 214 = -3*p. Suppose -2*k = -0*k - p. Is d < k?
False
Let h = -17435/46 + 771/23. Is -345 >= h?
True
Let v = -726 - -426. Let s = v - -303.5. Let b = -1.1 - -0.1. Is b less than or equal to s?
True
Let g = -8976 + 8976. Which is greater: 2710 or g?
2710
Let i(r) = 15*r**2 - 80*r + 347. Let l be i(5). Which is greater: 321 or l?
l
Let c = 8.7 - -43.3. Let q = -52 + c. Is 1/23 greater than q?
True
Suppose 0 = 17*v + 2449 - 1395. Which is smaller: -64 or v?
-64
Suppose -4*v + 18 = -58. Suppose -2*j + j + 8 = 0. Suppose j