 331 - 332.63. Let z = x + 0.23. Is z bigger than -0.2?
False
Let i be 104/42 + (-45)/315. Suppose -12 = -3*l - 3. Is l greater than i?
True
Suppose 107*l - 2886 = 120*l. Which is smaller: l or -220?
l
Let j be (-4)/((-26448)/12868) + 1/3. Let z = j - 42/19. Are 0 and z equal?
False
Let b = -14365050241 + 620211044245766/43175. Let j = b + -322/157. Let n = j - -1/75. Which is greater: n or 1?
1
Let r(j) = -j. Let o be r(-3). Let y = 2 - o. Let x be (-3 - 0/(-3))/y. Is x greater than 2?
True
Let l = 186.5969 - -0.3031. Let j = l - 178. Let r = j - 9. Is -8 at least r?
False
Let h(w) = w + 3. Let p be h(0). Let l = -7.97 + 7.97. Is l equal to p?
False
Let a be 0 - 4 - 1/(-1). Let f = a + 7. Suppose 0 = 2*w - f + 10. Which is smaller: -4 or w?
-4
Let u be 31 - -793 - (7 + 1). Which is smaller: u or 815?
815
Let p be -2*((-3)/4 - (-5)/(-4)). Suppose -16 = p*k - 2*k. Which is smaller: -5 or k?
k
Let v be -4 - 5/(9915/2)*-3972. Is v bigger than -1?
True
Let l = 525 - 363. Which is greater: 0.1 or l?
l
Let c be (-38)/(-399)*14/18. Which is smaller: c or -0.04?
-0.04
Suppose -22*g - 28 = -72. Is g < 32/17?
False
Suppose -12*f + 4*f = -24. Let g = f - 50. Which is bigger: g or -48?
g
Let c = -41 - -49. Let r(k) = -k**3 + 7*k**2 + 13*k - 11. Let i be r(c). Is -2/3 > i?
False
Let g be 4 - ((-4064)/(-1075) - 0). Let o = g - 6/43. Which is smaller: 1 or o?
o
Let z(m) = m**2 + 6*m - 43. Let a be z(-11). Let i = 7 + -6. Let j = a - i. Which is smaller: 12 or j?
j
Let a be -66 + 69 - 12/3. Which is smaller: a or -22/25?
a
Suppose 2*n = 11 + 3. Let c(u) = -u + 2. Let p be c(2). Suppose 24 = -p*j + 3*j. Is n less than or equal to j?
True
Let f = 3.47 - -11.53. Which is smaller: -8 or f?
-8
Let t = 663 - 721. Do -57 and t have the same value?
False
Let y(t) = -7*t - 2. Let h be y(-2). Let q be 12/(-8) + 150/h. Are q and 10 unequal?
True
Suppose x - 2*x + 10 = 0. Let n = 6 + x. Suppose -4*t = -2*d - n, 5*t - 2*d - 19 = -0*t. Is 3/2 > t?
False
Let h = 879/4 - 221. Suppose 0 = -250*s + 222*s - 56. Which is bigger: h or s?
h
Let k be (-4)/(-8) + (-2 - -1). Let x = -10619 - -52911/5. Let c = x + 37. Are k and c equal?
False
Suppose -3*g - b - 12 = -15, -8*b - 4 = -4*g. Is -1/921 at most g?
True
Let s = -123836/27 + 4586. Let z be 7/(-14)*(2 - -2). Which is greater: z or s?
s
Let f = 15919/132471 + -44/369. Is f < 1?
True
Let x(m) = 9*m - 15. Let d be x(3). Suppose -5*r + 42 = -d*r. Let s be (-2)/4 - (-1)/(-2). Which is smaller: s or r?
r
Let x = -388 + 394.6. Which is smaller: 2/3 or x?
2/3
Suppose 4*z - 877 = 59. Which is smaller: 235 or z?
z
Let v = 23005/18 + -2617/2. Let z = 30 + v. Which is smaller: 1 or z?
z
Let j = 3/76 - 373/1748. Which is bigger: j or 0?
0
Let i = -1.729 - -7.729. Is 13.1 >= i?
True
Suppose 2*h = -4*a + 650, -1072 - 525 = -5*h - 3*a. Is 318 > h?
True
Let n = 0.2 - 20.2. Let i = 75 - 95.5. Let m = i - n. Which is smaller: 0.1 or m?
m
Let m = -32 + 38. Suppose -13*n + 12*n = -m. Which is smaller: n or 7?
n
Let c = 4 - -1. Suppose -5*k + 36 = -4*j, 0 = 5*k - c*j - 52 + 12. Suppose -72 = -236*v + 218*v. Are k and v unequal?
False
Let u(l) = -20*l + 153. Let s be u(9). Is -26 greater than or equal to s?
True
Suppose -21*j + 5*z - 176 = -24*j, -3*j + z + 170 = 0. Let b be (-1 + 85)*6/9. Is b smaller than j?
True
Let m(k) = 8*k**3 - 19*k**2 - 8*k + 16. Let h be m(6). Do 1013 and h have the same value?
False
Let c = 1613/119 - 126/17. Let z be 47/7 + (-5)/5. Let d = z - c. Which is smaller: 0 or d?
d
Suppose d = 6 - 2. Suppose 0 = 4*u - 6*z + 2*z + 96, -102 = d*u + 2*z. Is u smaller than -25?
False
Let q be (-4)/14 - 9/(-7). Suppose 7 = -4*c + 23. Suppose c*f + 0 + 4 = 0. Which is smaller: q or f?
f
Let s = -156 - -319/2. Let q = -2 + s. Is -2/7 > q?
False
Let s(r) = r**2 + 16*r + 28. Let p be s(-15). Suppose p*f - 4*f = 450. Is 49 less than f?
True
Suppose 0 = 31*a - 16*a - 1260. Which is bigger: a or 83?
a
Let s = 6.79 + -6.9. Let n = s + 0.21. Is 4/37 greater than n?
True
Let s be ((-5)/2 - -2)*-8. Suppose 3*t + s*g = -0*g + 28, -2*t - g = -17. Let x be (3/(-1))/(4/t). Is -6 > x?
False
Let y = 0.3615 - 0.0615. Is y >= -0.9?
True
Let t = -0.1 + 0.3. Suppose -4*l = 3*d - 16, 0 = d - 5*d - 4*l + 16. Are t and d non-equal?
True
Suppose -4*q - 2*a = 62, 4*q = 3*q - 2*a - 8. Suppose -68 = 4*w - 5*i + 20, i = 0. Is w < q?
True
Let o = 3471/11 + -316. Let n be 2/(-13)*52/(-4). Suppose -z - 3 - 2 = -4*l, 0 = -l - n*z - 1. Which is bigger: l or o?
l
Suppose -4*r + 2*z = -2*z - 8, r + 4*z - 7 = 0. Let b = 28 - 26. Let d be b - (r - (-69)/(-75)). Are 0 and d unequal?
True
Let q = 2 + 5.2. Let d = q + -7.2. Is d less than or equal to -72?
False
Suppose -5*v + 3*l = -69, v - 6*l = -2*l + 24. Which is bigger: 13 or v?
13
Let r be (-108)/(-15)*(-5)/(-2). Suppose -2*j - r = -j. Let h be 176/j - (-6)/(-27). Which is smaller: -8 or h?
h
Let b(h) = h**2 - 16*h + 40. Suppose 3*q + 13 = 4*q. Let l be b(q). Is 2/5 greater than l?
False
Suppose 10*r + 5*j = 7*r + 26, -22 = -r + j. Which is smaller: r or 8?
8
Let c = 50021/35 - 1429. Are c and -1 unequal?
True
Suppose -j + b + 23 = -49, -4*j + 284 = -2*b. Which is smaller: j or 65?
65
Let d be 12/(6/(-1 - -4)). Let a(g) = g**3 - 6*g**2 - g + 2. Let u be a(d). Let m be (-1)/((16/12)/u). Are m and -1 non-equal?
True
Let m = 17 - 17. Which is bigger: m or -9?
m
Let j(d) = -d**3 - d**2 + 3*d - 9. Let o be j(-3). Let g be 0/(3 - o/(-1)). Let t be 2/5 + (-78)/(-105). Is t <= g?
False
Let s = -61.741 + -8.039. Let k = -70 - s. Which is greater: k or 0.2?
0.2
Let i = -4 + 1. Let c be ((18 + -6)/6)/((-2)/5). Is c equal to i?
False
Suppose -52*p = -18*p - 41582. Which is greater: -0.1 or p?
p
Let b = -189.3 - -189. Is -7 > b?
False
Let b be -4 + 215/55 - -3. Let o = -235/77 + b. Are o and 0 non-equal?
True
Suppose -v = 2*v - 9. Suppose -v*q = -4*s, -s + 0*q - 3*q = -15. Suppose g - 4 = -s*o, 0 = -4*g - o + 5 - 0. Is g >= -1/3?
True
Suppose 0*m + 2*m = 5*j + 275, 3*m = -4*j - 243. Let x = -116/23 - -2785/46. Let k = j + x. Is -1 > k?
True
Suppose 5*w - 3*w - 10 = 0. Let y = -14 - -13. Let a = y - -5. Is w bigger than a?
True
Suppose -5*p + 7*c = 2268 - 442, -3*p = -4*c + 1096. Which is smaller: -367 or p?
p
Let h be 6/9 + -4*132/9. Let n = h + 57. Which is smaller: -2/63 or n?
n
Suppose 3*c = -2*c. Let g be 0/(-21) + (-384)/(-70). Let r = 26/5 - g. Which is smaller: c or r?
r
Suppose -5*z = -8*z + c + 3, 0 = 2*z - 4*c - 12. Let g be (3 - 1) + (-57)/24. Is z less than g?
False
Suppose -4*p - 4*k - 3044 = 0, 3*p - 97 + 2359 = 4*k. Is -759 smaller than p?
True
Let p = 53 - 53. Which is greater: p or 15?
15
Let s be (-4)/(-10) - (8 + (-3701)/485). Which is smaller: 0 or s?
0
Let q = 19 - 10. Let d = -11.8 + q. Let s = d - -2.7. Which is smaller: s or 6?
s
Let h = 29 + -33. Let l be h/(-26) - 45/1053. Does -1 = l?
False
Let z(g) = -g**2 + 8*g + 22. Let f be z(10). Suppose -224 = -7*n + 3*n - f*b, n - 56 = -3*b. Is 56 smaller than n?
False
Let w(t) = 5*t**2 + 10*t + 2. Let u be w(-4). Let d = -13 - -7. Let s be u/2 - 24/d. Are 24 and s unequal?
True
Let y = -0.02 + -0.08. Let w = 0.28 + y. Let q = -0.82 - w. Is q at least as big as 14?
False
Suppose -x + 5 = 4*a + a, -2*x = -4*a - 10. Suppose x*g - 77 = 3*b - 16, 0 = -4*g + b + 53. Let t = 24 - g. Is t less than -0.1?
False
Let u be ((-12)/92)/(-3 - -5). Do 1 and u have different values?
True
Let c(w) = -2*w**2 - 2*w + 12. Let p be c(3). Let k be (1 - -1)/(p/9 - -2). Which is smaller: k or 5?
k
Let k = -865 - -12938/15. Is k less than or equal to -1?
True
Suppose 0 = -3*t + 139 - 127, 4*t + 166 = 2*z. Which is greater: z or 89?
z
Let j be 2/6 + 22/(-48). Let o be (2 + 3/(-6))*(-130)/(-15). Let w be ((-2)/(-6))/(o/(-39)). Does w = j?
False
Let k be (-8)/(-5)*(-6)/((-546)/715). Are k and -1/3 equal?
False
Let o be 2/(-9) - (-1400)/225. Is o less than 6?
False
Suppose 0 = 3*b - 5*i + 30, -566*i - 30 = -2*b - 571*i. Let y = 0.318 - -1.592. Let p = y - 2. Which is smaller: p or b?
p
Let c be -2*((-25)/10 - -2). Let z be 0/(-1*(-1)/1). Which is greater: z or c?
c
Let g = 0.863 - -0.137. Is 14 smaller than g?
False
Let u be (-2 + 3)*18 + -3. Suppose 5*b - 15 = 4*c, b + c = 6*b - u. Let i = b + 3. Is i at least as big as 11/2?
True
Suppose -3*g + 86 - 20 = 0. Let a be 20 - g - (-1)/(11/30)