*t + 1132. Let d = -12745/11 - k. Is d greater than or equal to -3?
True
Let o(v) = -v**2 - 8*v + 13. Let k be o(-9). Suppose -2*d - k = 0, 0 = 5*u + 5*d - 0*d + 40. Let p = -30.1 - -30.2. Which is smaller: p or u?
u
Suppose 1069 = -l - l - u, 2*u = 4*l + 2158. Is l != -537?
False
Let s = -377/6 + 88583/1410. Let v be ((-175)/(-7))/5 + 10/(-2). Are v and s equal?
False
Let o be 2 - (-2)/(-8)*4656/588. Which is bigger: 0.1 or o?
0.1
Let h be -9*(8/(-6))/4. Suppose 4*k = -f - 0*f + 70, 0 = -2*k + h*f + 28. Is 16 greater than or equal to k?
False
Let z = -2 + 6. Suppose -2*s = -s - 5*x - 45, -z*s - 5*x = -55. Suppose 3*i = i + s. Are i and 10 unequal?
False
Let t be (32/(-80))/(2/(-10)). Let k be ((-22)/4)/(t/(-4)). Which is greater: 9 or k?
k
Let m(u) = u**2 - 2*u - 4. Let h be m(3). Suppose -112 = -8*o + 104. Let k be (5/6)/((-12)/o). Is k <= h?
True
Let n = 3.28 - 4.9. Let s = n + 0.42. Which is greater: -2/3 or s?
-2/3
Let q = -356813/5 - -71664. Let r = q - 299. Let u = -433 + 434. Is u != r?
True
Let w = 565 + -565.01. Which is greater: w or -15?
w
Let h(n) = 13*n**2 - n - 1004. Let w be h(0). Which is bigger: w or -1003?
-1003
Suppose -3*i + 2354 = i + 2*d, 3*i - 1779 = 3*d. Is 590 <= i?
True
Let u(d) = -8*d**3 - 1 + 2*d**2 + 2*d + 9*d**3 - 4 - 5*d. Let f be u(0). Let a = -31359/8255 - 2/1651. Which is bigger: a or f?
a
Let d be 132/(-88)*(-1 + (-5)/(-3)). Does d = 1/47?
False
Let r(a) = 5*a**2. Let f be r(-1). Suppose 5*p + f + 0 = 0. Let d be 3/(-1)*2/81. Which is greater: d or p?
d
Suppose -2*c = -7*c. Suppose -h = 3*q - 3, -h + c*h + 5*q = -3. Let k be -1 - (9/(-2) + h). Is k <= 1?
True
Let p(v) = v**3 - 5*v**2 + 4*v + 1. Let k be p(4). Which is greater: k or -1/39?
k
Let r be 6/18*-15 - 4. Which is smaller: -6 or r?
r
Suppose 3*h - 235 = -5*m, 0*m - 2*m - 340 = -5*h. Let y = 79 - h. Which is greater: y or 8?
y
Let y = 2540 + -2539. Which is greater: 141 or y?
141
Let n be 7 - ((-20)/60 + (-526)/(-60)). Which is smaller: n or 0?
n
Let h = -379 - -472. Is h greater than 3?
True
Let a be (-5)/(-2) - (8 + -7 + 1). Which is smaller: -0.3 or a?
-0.3
Suppose -4 = 7*s - 9*s. Let f be s/(-14)*(1 + -2). Let k = -29 - -29. Which is bigger: f or k?
f
Suppose 0 = 2*n, -5*o + 20 = n + 4*n. Suppose -5*s + 0*i - o*i + 140 = 0, -84 = -3*s - 2*i. Let w = s + -24. Which is smaller: w or 5?
w
Let s = -15 - -18. Suppose 2*z = -3*b - 42, -2*z + s*b + 0*b - 18 = 0. Let x = -25 - z. Which is smaller: x or -8?
x
Let f be 2*(-1)/2 - -1. Which is smaller: -1/191 or f?
-1/191
Let l = -590 + 594. Which is bigger: l or 102?
102
Let t be -1 + (-1 - -4) + 18920/(-9548). Which is smaller: t or -1?
-1
Suppose -2*m - 3*z = -0 - 5, -5*m = -5*z. Let b(w) = -11*w + 3*w + 12 - 6*w**2 + 5*w**2. Let a be b(-9). Is a greater than or equal to m?
True
Let v(o) = o**2 + 4*o + 1. Let n be v(-3). Let l be (-1)/n + (-498)/240. Let s = 11/8 + l. Which is greater: 1 or s?
1
Let c be (-32)/(-80) - (-9)/15. Is -8/59 equal to c?
False
Let f = -10 + 6. Let c be 25/15 + -1 - (-5 - 115/(-15)). Which is smaller: f or c?
f
Suppose 20 = -3*s + 2. Let t be ((-2)/5)/(s/15). Suppose x + 0*x = -t. Is 8/3 bigger than x?
True
Let d be 7/(385/10)*(21 - 2). Is d greater than or equal to 4?
False
Let a = 124 - -43. Let y = a + -178.7. Let x = y + 12. Which is smaller: 3 or x?
x
Suppose 2*j - 18 = -5*c, 3*c + 13 + 63 = 5*j. Let h(b) = 2*b**3 + 9*b**2 - 6*b + 7. Let v be h(-5). Which is bigger: j or v?
j
Let r(l) = l**3 - 12*l**2 + 36*l - 7. Let n be r(8). Is n greater than 28?
False
Suppose 5*v - 5*t = 2 + 3, 36 = -4*v - 4*t. Let j be (10 - 2/1)*v. Let m = 162/5 + j. Which is smaller: -4 or m?
-4
Let g = -67 - -65. Let h(d) = -3*d - 3. Let s be h(g). Are 20/13 and s unequal?
True
Let f be 178/(-1100) + (-48)/(-264). Is 1 less than f?
False
Let m = -5143/21 + 245. Suppose 0 = 2*a - k, 0 = 27*a - 29*a + 3*k + 4. Which is smaller: a or m?
a
Suppose 28 = -7*z + 5*z. Let h be (2/(-4))/(z/28). Which is bigger: 2/35 or h?
h
Let n be -2*1/1 + 8. Let v be 2 - -1*(-2)/(-2). Suppose -9 = -v*k + 6. Which is bigger: n or k?
n
Suppose -9 = r - 2*r. Suppose 5*k = -15, -8*k + 11 = 2*n - 5*k. Let l = n - r. Which is bigger: l or -2?
l
Let p be (-40)/60*786/(-4). Does p = 131?
True
Suppose 2127 = -5*t - s, 0 = 5*t - 4*t + s + 423. Let b be 2/(-429)*t - (-6)/(-3). Which is greater: -1 or b?
b
Let y = -7 + 7.18. Let m = y - 0.1. Let i = 0.02 + m. Which is greater: -3/8 or i?
i
Suppose 7*g - 3*w = 4*g, g - 10 = -4*w. Suppose 0 = 2*n + 3*c + 5, c + 17 = -5*n - g*c. Let l = 514 - 517. Is l at least n?
True
Suppose 44*y - 46*y + 136 = 0. Let n = -88 + y. Which is smaller: n or -18?
n
Let v be (-1)/5 + (-1)/(-5). Let k = v + 3. Suppose -5*y - 15 = 4*a, 2*y + k*a = 4*a - 6. Is -2 at least y?
True
Let z = -18 - -10. Suppose 2 = -9*m + 11*m + 4*v, 4*v = 12. Which is smaller: m or z?
z
Suppose 18 = -5*b + 13. Let f be 1 + b + -1 + 68/28. Which is smaller: 2 or f?
f
Let d = 16 - 18. Let i be d/(-7) + (-6)/21. Let c be 16/(-16) - i/(-1). Which is smaller: c or 2/41?
c
Let m(d) = -d**3 - d**2 + 3*d - 8. Let n be m(-3). Do 2/141 and n have different values?
True
Let t = 6 + -3. Let o = 1390 + -1387. Is o greater than t?
False
Let v be 10/4 + (-4)/8. Suppose -6*m = -v*m. Let t be 6/63*3 - (-22)/70. Which is greater: m or t?
t
Let n = -130 - -132. Suppose -n*r + 5*j - 30 = 3*r, -4*j + 20 = 0. Which is greater: 0.2 or r?
0.2
Let v = -26 - -10. Let s be 4/v - (-18)/8. Suppose -s + 4 = h. Is h at least as big as 0?
True
Let s = 501.9 - 531. Let n = s + 29. Let h = n - 1.2. Which is smaller: h or -1/3?
h
Let p be (-10)/15 + (74928/(-16083))/(-7). Is p != 1?
True
Suppose -5*a + q = -31, -2*q + 23 = a + 2*q. Which is smaller: -14 or a?
-14
Let k = -57088/55 + 1038. Which is bigger: -1/5 or k?
k
Let d be (-11)/((-88)/24) - 3246/23. Let h = 138 + d. Is h greater than or equal to -2/3?
True
Let o(r) = -r. Let c be o(-3). Suppose c*l + 13 = 7. Let q be l/(15/(-6) + 3). Is -7 less than or equal to q?
True
Suppose -6*i + 19 = -11. Suppose 0 = -3*d - i*t - 19, -3*t = 2*d + 12 - 1. Let g = -15/103 - -1019/1339. Which is smaller: g or d?
g
Suppose -2*q = -3*i + 5, 3*q - 1 = -5*i + 1. Let p = -396258/7 + 56433. Let z = -175 - p. Is z bigger than q?
True
Let l = 32 - 32.52. Let f = l + 0.22. Which is bigger: -4 or f?
f
Let z be (-80)/20 + 192/33 + -2. Is z less than or equal to -3.2?
False
Let z be (186/(-217))/((-6)/28). Suppose -219 = -z*q + q - 5*p, -4*q + 2*p = -318. Is q >= 79?
False
Let f = -818.3 + 818. Is -11.7 less than f?
True
Let q = 6 - 5. Let b = 299 + -17045/57. Is b > q?
False
Let v be (-123)/15 - (-2)/5. Let c = -517/65 - v. Let j(d) = -d**3 - 6*d**2 + 6*d - 6. Let q be j(-7). Are c and q non-equal?
True
Suppose 0 = 4*k + 4*w + 104, 13*k + 4*w - 40 = 15*k. Which is smaller: k or -5?
k
Suppose 6*w - w - 62 = -3*k, -4 = -w. Suppose -y + 5*y = 5*z - k, -5*z = 4*y - 6. Which is greater: 0 or z?
z
Suppose 5*n + 0 = 75. Suppose -3*w - 3*i + n = 0, 0*w = 2*w - i - 13. Let g be (3/6)/(w/(-12)). Which is greater: g or -2?
g
Let j = 278 - 277.98. Is 18 equal to j?
False
Let f = -974 + 961. Let d(i) = -39*i**2 + 17*i + 17. Let z(q) = 13*q**2 - 6*q - 6. Let h(v) = 6*d(v) + 17*z(v). Let w be h(1). Is w < f?
False
Let t = -146 + 145. Which is greater: t or -2/263?
-2/263
Let i(s) = -10*s - 12. Let h be i(-6). Let r be 1/8 + (-6)/h. Is -1 less than r?
True
Let o be (1/(-5))/(9/(-305)). Which is smaller: 6 or o?
6
Let u = 103.1 + -103. Is u bigger than 10/73?
False
Let y = -5090 - -45856/9. Let h = 1894 - 1888. Which is bigger: h or y?
h
Suppose -2*n + 2 + 59 = -g, -4*g = -5*n + 247. Let k = g - -124. Let c = 425/7 - k. Which is smaller: 1/10 or c?
c
Let t(x) = -x - 6. Let a be t(-3). Let l(g) = -g**3 - 7*g**2 + 2*g + 8. Let s be l(-7). Let d = 1 + s. Is d greater than or equal to a?
False
Let i = -153 - -171. Are i and 9 unequal?
True
Suppose 62*t = 57*t + 25. Suppose -t*d - 3*a + 4 = 0, -d - 2*a = 3*d - 2. Suppose 5*z - 4*k + 3 - 6 = 0, 2*k + 5 = -z. Is z at least d?
True
Let s = -2 + 6. Suppose s*m - 5*m = -2. Let c = 793/2 - 396. Are c and m equal?
False
Let m(v) = v + 63. Let u be m(0). Let r = 67 - u. Is r equal to 5?
False
Let r be -14 + 1360/96 + (-5)/(-6). Do r and 20/357 have different values?
True
Let s = 10.9 - 10.74. Let h = s - -1.84.