t k = -338 - -338.099. Which is bigger: k or -1?
k
Let k = 104 + -93. Let a = -0.13 - -12.13. Let z = k - a. Is z less than -2/41?
True
Let n be (-8)/(-20) - (-2548)/(-20). Which is smaller: n or -128?
-128
Let n = 526/3 + -172. Is n greater than or equal to 3?
True
Let v = -49485 + 742544/15. Let c = -52/3 + v. Is 2 at most c?
False
Let g = -11 + 15. Let k(i) = -4*i - 72. Let b be k(-19). Is b at least g?
True
Let i = -2 + 0. Let h be (3/(-6) + 1)/(2/112). Let o be ((-6)/(-7))/((-42)/h). Do i and o have the same value?
False
Let p be ((-1)/(-10))/(2/5). Let i(v) = -v**2 + v + 9. Let j be i(-3). Let q be (29/j - -7)/((-2)/3). Which is bigger: p or q?
q
Let p = 6 + 0. Suppose t = 3*t - 8. Suppose 2 + p = t*o. Is 3/4 bigger than o?
False
Suppose -48 = -13*z + 14*z. Let f = -52 - z. Is f != -7?
True
Let w = 125 + -125.57. Let r = w + 0.67. Which is greater: 1 or r?
1
Let n = 14 + -27. Let d = n - -12.86. Let c = d + 0.14. Which is greater: -1 or c?
c
Let i = -81.1 + 79.1. Do -0.194 and i have different values?
True
Suppose -4*z + 24 = -4*a, 4*a = z - 12 - 0. Let y be z/3 - (-176)/(-114). Is y smaller than 1?
True
Suppose -4*p = -2*g + p + 185, -3*p - 191 = -2*g. Let k = -101 + g. Which is smaller: -2/95 or k?
k
Let a be -9 - -16 - (1 + 4). Let t be (a*-1)/((5 - 5) + -2). Which is bigger: 2/9 or t?
t
Let c = -768 + 17661/23. Let b(a) = a**2 + 4*a - 1. Let m be b(-4). Is m != c?
True
Suppose -l + 0 - 2 = 0. Let a be 5 + l + -2 - -1. Let u = -19/12 + 10/3. Which is smaller: a or u?
u
Let s(f) = -f**3 - 7*f**2 - 4*f + 13. Let c be s(-6). Let o be (c*(1 - 2))/((-682)/(-44)). Which is smaller: o or 0?
o
Let b(v) = -12*v**2 + v. Let a be b(-1). Suppose 485*j - 168 = 506*j. Which is bigger: j or a?
j
Let d = 1/24317 - -47847/19137479. Does 1 = d?
False
Let r = -75770572/33 + 2295893. Let t = 185 + r. Is t bigger than -3?
True
Let s = -0.184 + 39.184. Is s at most 2?
False
Let w = -1054 + 1146. Is 2/5 bigger than w?
False
Let h(a) = -5 + a - 5*a + 0*a + a**2 + 3*a. Let c be h(-4). Let p be 8/16 - c/(-2). Which is bigger: 9 or p?
9
Let n(l) = -l**2 - 5*l + 1. Let o be n(-5). Let u be (0 - o)/(2/(-8)). Let x(r) = -r**3 - 32*r**2 - 33*r - 57. Let p be x(-31). Which is greater: u or p?
p
Let t = 10.2 - 29.1. Let c = 12.67 + t. Let b = 0.23 + c. Which is bigger: b or -2/5?
-2/5
Let h = -6463663/7723416 - -4/7849. Let u = 1129633/328 - 3444. Let c = h + u. Is c greater than or equal to -1?
True
Suppose 4*x + 4*f = 284, 277 = 4*x + 4*f - 7*f. Suppose 0 = -68*p + x*p - 10. Is -4 smaller than p?
True
Suppose -x + 17 = -a, -4*x + a + 58 = -a. Suppose -3*o - o = -x. Which is greater: 2 or o?
o
Suppose -2*z - 2*s + 82 = 0, 14*z - 163 = 10*z - 3*s. Are z and 38 equal?
False
Suppose 4*u = 8*u - 132. Which is bigger: 34 or u?
34
Let m = -318 - -1271/4. Is m less than 574?
True
Let r = -25 - -26. Let p be 135/(-18)*r/3. Which is smaller: -2 or p?
p
Let w = 49 + -53. Let n be w/(-15) + 9/(-15). Is -3/2 < n?
True
Suppose 0 = 3*s + f - 3*f - 19, -5 = s + 5*f. Suppose s*k - 5*t + 120 = 0, 3*k - 2*k - 4*t + 39 = 0. Which is smaller: -17 or k?
k
Let t be 4*(-7)/((-140)/375). Is t < 372/5?
False
Suppose -3*a = 4*o - 49, 3*a + 2*a = -5. Suppose 19 = z - 4*h, -4*h + 14 = -2*z + 4*z. Do o and z have different values?
True
Let w be (8 + -5)*8/6. Suppose 0*v + w*v = -224. Let n = -447/8 - v. Is n >= -1?
True
Let r(z) be the first derivative of -3*z**4/4 + z**3/3 + z**2/2 - z - 7. Let l be r(1). Let n = 131/99 - 7/9. Which is smaller: n or l?
l
Let l(i) = -i + 17. Let d be l(9). Let b = -15 - -22. Is b smaller than d?
True
Let w = 4216 - 4161.072. Let s = w + 0.072. Let b = 36 - s. Which is greater: 0 or b?
0
Let c = -253824563/452 - -561559. Let i = c - -2/113. Is i greater than or equal to 6/5?
False
Suppose 0*d = -4*d + 5*i + 89, d = -4*i - 4. Let j be 8/(-1)*10*(-4)/5. Suppose 2*p = 5*y - 89 + 6, 4*p = 4*y - j. Which is bigger: d or y?
y
Let c = 132 - 1978/15. Let l be (26/65)/((-4)/10). Is l >= c?
False
Let b = 17 - 35/2. Which is smaller: -0.12 or b?
b
Suppose -65 = 4*x - 281. Let b be 44/(-66) - 492/(-9). Is x bigger than b?
False
Let i = -117 + 116.95. Let d = 47 - 183/4. Which is smaller: d or i?
i
Let c = 0.4 + -0.4. Let i = -0.02 + 0.6. Let k = 0.6 - i. Which is greater: c or k?
k
Let x = -68 + 74. Is -3/38 bigger than x?
False
Let n = -323 - -323.3. Are n and -0.048 non-equal?
True
Let o = -0.02728 + 3.62728. Let u be 0 + 3/(54/(-4)). Are o and u unequal?
True
Let a = 90.21 + -89. Let w = -0.21 + a. Is 3 greater than or equal to w?
True
Let n = 27485071/25 + -1099780. Let y = n - -377. Which is greater: y or 0?
0
Let k be 8 + 116/(-16) + (-451)/4. Do -338/3 and k have different values?
True
Let b = -156 - -280. Suppose 0 = -5*m + m - b. Do m and -30 have different values?
True
Let k = -594.9 - -595. Are k and -2.8 equal?
False
Let t be 0/(-1*(-2 - -4)). Suppose t = j - 4*r - 5, 3*r + 6 = -0*r. Let n be (3/2)/(30/(-80)). Which is bigger: j or n?
j
Let v = -8 - -7.4. Let w = -2 - v. Let h = -3.4 - w. Is -2 at most h?
True
Suppose 4*z - n - 18 + 69 = 0, 29 = -z - 3*n. Which is smaller: z or -16?
-16
Let y be 3*(-53839)/(-1020) - (-6)/(-10). Is 159 <= y?
False
Let l be 81/18*4/(-3). Let d be -1 - (l - 2 - -2). Let j be d/(15/(-12)) + 11. Is 5 >= j?
False
Let j = -29 - -30.4. Let x = 0.8 + j. Let r = x + -2.14. Which is greater: r or -2?
r
Let f = 2114/909 + 12/101. Let t = 160/117 - f. Let y(j) = j**3 + 37*j**2 - 14*j - 519. Let k be y(-37). Which is smaller: t or k?
t
Suppose -3*s - 2*n = -17, -3*s - 4 + 5 = -2*n. Suppose s*v - 80 = -7*v. Which is smaller: 1 or v?
1
Let z = 492 + -492.3. Which is smaller: z or 207?
z
Let i = 56 - 52. Suppose -d + 2*x = -4, -4*d + 7 = -x - i*x. Which is bigger: -5 or d?
d
Suppose 87 - 192 = 15*m. Let w(a) = -a**2 + 5*a + 7. Let r be w(6). Let y = -8 - r. Is y > m?
False
Let u = -6 + 5. Suppose -4 = -6*x + 2. Let c be u/x + (3 - -2). Which is smaller: 3 or c?
3
Suppose 0*x - 3*x + 21 = 0. Suppose h = 5*r, x*h = 3*r + 3*h + 17. Let n = -31.9 - -24.9. Which is smaller: r or n?
n
Suppose -57 = 2*w + 5*i, 3*i + 0 - 3 = 0. Let j = 35 + w. Suppose -j*g = 3*r - 16, -2*r + 5*r - 56 = 4*g. Are r and -0.1 unequal?
True
Suppose -4*z - j = -2*j - 7884, -5*z + 2*j + 9858 = 0. Let n = -230492/117 + z. Which is greater: n or 1?
1
Let z be (0 + 2)*6/(-4). Let c = -1149.9 + 1150. Which is bigger: z or c?
c
Let s(p) = p**2 - p + 44. Let w be s(0). Suppose 3*b - 4 = w. Let n(h) = -3*h**3 - 124*h**2 - 242*h + 4. Let f be n(-2). Is b bigger than f?
False
Let k(s) = -5*s**2 - 3*s + 7. Let r(i) = -i**2. Let y(q) = -k(q) + 6*r(q). Let b be y(3). Is b >= -6?
False
Let b be 1*3 - ((-76500)/1155)/(-20). Which is smaller: -1 or b?
-1
Suppose -3*a + 3*r + 393 = 0, 0 = -2*r - 2*r + 16. Suppose 4*d - a = -d - 5*b, -4*b = d - 18. Is d equal to -2/5?
False
Let g = 243/427 - -1/427. Let i = 8.3 - -2.7. Let o = -12 + i. Which is bigger: o or g?
g
Suppose -3*h - 348 = -h - 2*c, h = -c - 168. Let q be 19/h*(4 + 1). Let x(n) = -n**3 + 9*n**2 - n + 8. Let r be x(9). Is r >= q?
False
Suppose -2*c - 5 = -3. Let n be (c/(-2))/(20/2640). Is 65 equal to n?
False
Let x = -932/561 - 1/187. Let d(l) = -l + 3. Let z be d(5). Is x greater than or equal to z?
True
Let v be (-82695)/129 - 3 - -1. Let y = v + 643. Is y >= 0?
False
Let u be 6/28*3/9. Suppose 11 = y - 8*h + 4*h, 6 = 3*y - 3*h. Is u bigger than y?
True
Let t be (-17 - -16)/((-2)/(-4)) - 13. Let s be 1*(1/4 - t/(-12)). Is s bigger than -4/5?
False
Let r = 11 - 4. Let o = 6 - r. Let u = 173/4 - 43. Is u at most o?
False
Suppose -4 - 11 = 5*a. Let c be (-1537)/348 - (-1)/6. Are c and a unequal?
True
Let u = -53 - -54. Suppose 5 = m - u. Does m = 8?
False
Let x(c) = c**2 - 2*c + 3. Let y be x(4). Suppose 5*a - 3*g = y, -a + 0*a - 2 = -2*g. Suppose 4*w - a = -0. Are w and 0.09 nonequal?
True
Let t = -1 + 0. Let v = -22783/1098 + -1/2196. Let k = 233/12 + v. Which is greater: k or t?
t
Suppose 4*k + 18 = 22. Is k at least as big as 20/23?
True
Suppose -3*b - 114 = 4*z + 560, -3*b = -5*z - 856. Which is bigger: z or -168?
-168
Let q = 143.7 - 18.7. Which is smaller: q or 0?
0
Suppose -o - 126 = -7*o. Let p be 2/(-3)*(o/12 + -1). Is p < 2?
True
Let f = 126.74 + -125. Let j = f + -1.41. Is 3 <= j?
False
Let s = -49 - -58. Let l be (-6