327 - -995/3. Let h be 21/(-56)*590/(-45). Let t = v - h. Is 1/5 less than t?
False
Let t be (-12)/(-36) + 322/6. Suppose -j - 5*r = -0*j + 30, 2*r - t = 4*j. Is -0.2 greater than or equal to j?
True
Let z be ((-4332)/(-380))/((-6)/(-10)). Let k(o) = -o**3 + 3*o**2 - o. Let r be k(3). Is z greater than r?
True
Let m be (-1908)/(-14) - 366/1281. Which is greater: 0 or m?
m
Let v = 5.206 - 0.206. Is -0.08 smaller than v?
True
Let n be (13/(-221))/((-2)/(-6)). Suppose -4*c + c = -6. Suppose c*w = -3*g + 6, -3*w = -3*g - g - 9. Is n at most g?
True
Let h(i) = -i + 44. Let l = 105 - 109. Let w be h(l). Does 49 = w?
False
Let q(m) = m**3 - 6*m**2 + m - 7. Let h be q(6). Let p be (-6)/(h + 48/(-21) + 3). Is 20 at least as big as p?
False
Let u = 55.38 - 55. Let d = 2.48 - u. Is d equal to -2?
False
Let n = -378 + 373. Are -2 and n non-equal?
True
Suppose -5 = 4*k - 1. Let a be 165/155 - (1 - 4) - 4. Is k less than a?
True
Let c(z) = 35*z - 383. Let s be c(18). Which is smaller: 248 or s?
s
Suppose -4*f = -2*b + 6, -2*f + 3*f = -5*b + 4. Let y = 383 - 382. Is f greater than or equal to y?
False
Let j be (9 + -3438)/(-9) - 14/2. Which is smaller: j or 372?
372
Let u(m) = 5*m**2 - 61*m - 19. Let c be u(11). Which is greater: -82 or c?
-82
Let h be 1/(21/14) + 19/3. Suppose 0 = -h*y + 6*y + 3. Let x be 0 + 2/(-3)*-6. Is x not equal to y?
True
Let k(l) = 6*l + 14. Let w be k(-2). Which is smaller: 26/33 or w?
26/33
Let r(q) = -2*q**2 + 9*q + 10. Let g be r(-1). Which is bigger: -18/43 or g?
-18/43
Suppose -2*r + 26 + 14 = 0. Let s be (r/6)/(2/3). Suppose 0 = -s*b - 8 + 33. Are 3 and b non-equal?
True
Let o = 37 - 30. Suppose -5*w - 6 = -o*w. Which is bigger: -3 or w?
w
Let f = -45.47 + 45. Let p = -23.47 - f. Let x = -28 - p. Which is smaller: 2/3 or x?
x
Let v = -14.73 + 3.73. Is -3/5 at least v?
True
Let d(y) = 6*y**3 - 4*y + 3. Let r be d(-3). Let k be (7/r)/(2/(-24)). Which is smaller: k or 1.8?
k
Let x be (9/(12/4))/((-7)/(-252)). Is x != -2?
True
Suppose -t - 40*m + 35*m = -107, -5*t + 564 = -4*m. Is t >= 0?
True
Let o = 22.6 - 21. Let m = o + 8.4. Let u = m + -8. Which is smaller: u or -0.1?
-0.1
Let p = 2.073 - -0.027. Let u = p + -2.4. Which is bigger: u or 7?
7
Let m = 0.3 - 11.3. Let f = 1.46 - -9.44. Let i = f + m. Which is smaller: -6/11 or i?
-6/11
Let c(w) = w**2 + 7*w - 8. Let z be c(-8). Let r be (5 - z/3)*(-32)/20. Let a = 0.2 + 0.8. Are a and r unequal?
True
Let b be 6/(-8)*2/3*-9. Which is greater: b or 4?
b
Let y(a) = -8*a + 1 + 5*a + 4*a. Let n be y(4). Suppose 0 = -n*b + 23 - 3. Is b at most as big as 15/4?
False
Let h = 6 + -3. Suppose -4*y - 41 = h. Let i = -111 + 112. Is y smaller than i?
True
Suppose -a + 2*n + 0 = 3, 0 = 2*a + n + 11. Let h = 1 + 1. Is a bigger than h?
False
Suppose 3*x + 4*c - 3 = 6, -x - c + 3 = 0. Suppose -l = -x*l. Let a = 0.0241 - -0.2759. Which is bigger: a or l?
a
Let d = -16 - -26. Let i be (-3)/2*d/(-15). Let r be 10/(-2*i/1). Is -3 < r?
False
Suppose -2*a - 8 = -0*a. Let p(s) = -2*s**2 + 9*s + 13. Let o be p(6). Is a >= o?
True
Let i(p) = -2*p - 34. Let d be i(-17). Which is smaller: d or -36/35?
-36/35
Let r(o) = -14*o - 36. Let b be r(-3). Let d be ((5 - b) + 11)/(13 + 0). Suppose 5*m - 20 = 5*q, 4 + 0 = -4*q + m. Which is bigger: q or d?
d
Suppose -10*g + 354 = -536. Let l = 621/7 - g. Is l > 0?
False
Let q = 52 - 366/7. Let x = -4/7 - q. Which is bigger: 0 or x?
0
Let g(l) = -5*l - 2. Let r be g(-2). Let z(v) = v**2 - 6*v. Let m be z(r). Suppose -3*k = -5*p + k + m, -2*k = 8. Which is greater: p or -1/2?
p
Suppose 2*d - 69 = -d. Let f = d - 22. Let n be 6 + 3 - (-2)/f. Is 12 at least as big as n?
True
Suppose 2*r - 700 = -3*r. Let q be r/63 + (-2)/9. Suppose z + 0*z + 2*i = 10, -10 = 2*z - q*i. Which is smaller: -2/15 or z?
-2/15
Let y = -169 - -169.1. Is -70 less than y?
True
Suppose 3*w - 107 = -6*m + 2*m, -m + 33 = 2*w. Are m and 23 non-equal?
False
Let x be (8/2)/(7/490). Let u be 2/8 + (-86)/x. Which is smaller: u or -1?
-1
Let w be (2 - (-6)/(-1)) + 1. Let l be 4/w*(-6)/4. Let k be (6/(-12))/(l/4). Is k smaller than 1/4?
True
Let s(u) = -5*u - 49. Let f be s(-10). Suppose -9*b = -5*b + 8. Let w be (-4)/b - (-28)/(-77). Do w and f have the same value?
False
Let g = 97 + -90. Suppose 8*c - g = c. Which is smaller: c or 1/31?
1/31
Let z = -1 - -1.2. Let x = 10.8 + z. Let r = x - 11. Is 11 less than or equal to r?
False
Let l = -0.7 - 0.3. Let k = -3 - l. Let i = 207 + -211. Is k less than or equal to i?
False
Let p = -2672/93 - -86/3. Let i = -384 + 380. Which is greater: i or p?
p
Let j = -0.0993 - 0.0007. Do j and 201 have the same value?
False
Let k(v) = -1104*v + 3. Let m be k(2). Is m < -2205?
False
Suppose -4 = -6*q - 10. Which is greater: q or -3/167?
-3/167
Let w be 172/36 - 6/(-27). Suppose w*i = 9 + 6. Suppose -2*v = 5*k + i*v + 35, 0 = -5*v + 20. Is -10 <= k?
False
Let k = 254/1343 - 1/79. Suppose f + 4*s = -8, -2*f + 2*s + 3 = -1. Is f greater than or equal to k?
False
Let d be (49 - 3)*-6 - -2. Which is smaller: -275 or d?
-275
Suppose 278 = -194*d + 196*d. Which is bigger: 138 or d?
d
Let s be (1 + 12/(-9))*-3. Let o be (7 - 5)/(-2*s). Let m be (601/(-201) - -3)/((-4)/12). Is o at least m?
False
Let q = -7.7 - -7.7. Let k = -2.06 + 2. Let a = -0.04 + k. Is q at most as big as a?
False
Suppose k = j - 9, -5*j - 2*k - 13 = -37. Suppose -3*w + 4*w - 5*o = 8, 2*o = -5*w - 41. Let s = w + j. Is 1/7 smaller than s?
False
Suppose 129 - 164 = 5*c. Let m = -0.3 - -0.7. Let a = m + 0.6. Which is bigger: a or c?
a
Let u be 7/3 - (-3)/(-9). Suppose -5*q + u = -2*g - 5, q = -4*g + 19. Suppose 0 = 3*v + q*r, -2*r - 1 = -0*v + 3*v. Are v and -1 unequal?
False
Let v = 12 - 39. Let s be (-8)/(-2) - v/(-3). Which is bigger: s or -3?
-3
Let v be 2 - (-3)/(2 + 1). Suppose f = v*g - 5, 6*f = 3*f - 5*g + 13. Is f less than -1/3?
False
Suppose 3*q = -12, -q = -5*u - 2*q + 6. Let m be -1 - (u + -2) - (-32)/12. Suppose 3*r + 18 = 3*x, -x + 3*r - 6*r = 14. Does m = x?
False
Let n be (-5)/((-15)/(-2))*-9. Let d be n/(-18) - (-20)/(-3). Which is bigger: d or -28/5?
-28/5
Let x = 40 + -32. Let s = -15/2 + x. Which is bigger: s or 1?
1
Let x(t) be the second derivative of -t**4/6 - t**3/6 + 3*t**2/2 + 6*t. Let c be x(-2). Which is smaller: -6 or c?
-6
Suppose 3*r + 96 + 4 = g, -2*r - 184 = -2*g. Suppose g = 5*q - 3*l, -l = 3*q + 3*l - 76. Suppose -j - j = -q. Which is greater: 11 or j?
11
Let u be 6/9*(-9261)/18. Is u greater than or equal to -343?
True
Suppose 2*j - 14 + 8 = 0. Suppose -5*l - 40 = -5*d, -2*d - 3*l = -j - 8. Does 6 = d?
False
Let m be 176/30 - 1/5. Let k be (-11)/2 + (-1)/2. Let w = m + k. Is w <= 0?
True
Let x(z) = -2*z**2 + 28*z - 81. Let b be x(10). Is -9/8 > b?
False
Let d = -11/2604 - 1/84. Which is smaller: d or -1?
-1
Let j(t) = -t**3 + 9*t**2 - 5*t - 27. Let d be j(8). Is -0.1 != d?
True
Let q(n) = 4*n**3 - n + 2. Let j be q(1). Suppose c - 9 = -2*c - 2*d, 15 = j*d. Is c at least 2/9?
True
Let r(n) = 6*n**2 + 5*n + 6. Let k be 2*(0 + (3 - 4)). Let z be r(k). Is 2/3 at most as big as z?
True
Let a = -162 - -213. Do a and 54 have different values?
True
Let g = -0.286 - 144.714. Let o = g - -145. Are o and 34 non-equal?
True
Suppose -1029 = -4*b - g + 343, 2*b + g - 688 = 0. Which is greater: b or 343?
343
Let l = 1302.36 - 1302. Let q = -6 + 5.84. Let m = q + l. Is m less than or equal to 2/13?
False
Let s(o) = 5*o + 10. Let i be s(0). Which is bigger: i or 12?
12
Suppose -25 = -8*a + 3*a. Let u be ((-220)/25)/((-4)/10). Suppose 5*r = j - u, 14*j - 9*j + 3*r = 26. Is j bigger than a?
True
Let a = -1.06 + 0.26. Let w = -6.8 - a. Is w less than 1/3?
True
Let i(l) = -l**2 - 3*l + 154. Let j be i(11). Is j not equal to 1/18?
True
Suppose 4 = -4*s - 0. Let f be (s + 9)*12/(-132). Which is smaller: f or -1?
-1
Let y = -28 + 42. Suppose 2*l - 2*i = -l + 26, -2*i = 2*l - y. Let r = 8 - 1. Which is bigger: l or r?
l
Let b = -169 + 1862/11. Let f = 79/209 - b. Do 1/3 and f have the same value?
False
Suppose -4*k = -6*k + q + 15, -4*k + 35 = -3*q. Let n(d) = -d**2 + 6*d + 4. Let i be n(6). Is i < k?
True
Suppose -3*y = -2*r + 9, 3*y = -0*r + r - 6. Let q = r - 3. Let i be (-36)/198 - (1 + (-26)/22). Are q and i equal?
True
Let v be (20/(-6))/(2/(-6)). Suppose 5*u - o - v = 0, u + 2*o - 12 = 1.