s greater: 0.3 or d?
0.3
Let m(g) = -g**2 + 1. Let n be m(-1). Suppose n = -3*i + 4*i - 4*w - 8, -2*i - 9 = -3*w. Let y = i - -17. Is y bigger than 4?
True
Let j = 1009 - 1008. Let x = -0.33 - -1.63. Let a = x + 4.7. Which is smaller: j or a?
j
Let f = 157 - 151. Let p = -0.7 - 5.7. Let b = f + p. Which is greater: -1/3 or b?
-1/3
Let r(z) = -32*z**3 + 3*z**2 + 2*z. Let n be r(-3). Let m be (-231)/n + 2/3. Let h = m + -1/177. Which is bigger: 1 or h?
1
Let y = 10 + -61. Let a be -46 - 0 - -1*(-11 + (19 - 13)). Does a = y?
True
Suppose -11*v - 4837 = -998. Which is smaller: -347 or v?
v
Let j = -0.202 + 0.302. Is j at most as big as -86?
False
Let g be (-160)/(-300)*(-5)/(-12). Which is bigger: g or -2?
g
Suppose 0 = 3*j - 15, a = -2*j + 4 + 20. Which is smaller: 8 or a?
8
Let r = 33.1 - 35. Let q = r - -29.9. Do q and -1 have the same value?
False
Let s be ((-7)/(-4))/(2/24). Suppose -9*c + 63 = -6*c. Is c > s?
False
Let w(j) = j + 7. Let o be w(14). Suppose 2 = -o*g + 23*g. Which is smaller: g or 4/53?
4/53
Let x(v) = v**3 + 12*v**2 + 2*v + 13. Let z be x(-12). Let w = -31 + 21. Is z smaller than w?
True
Suppose 0 = -0*c - 4*c + 32. Suppose 0 = -5*o + 3*d - c, -3 = -3*o - 4*d - 2. Which is smaller: -2 or o?
-2
Suppose 3*x - 70 = -5*t, -38 = -4*x - 2*t + 32. Let c = 2/3531 - -289532/17655. Is x equal to c?
False
Let a be (-10)/12 + 1574/(-12). Let z = 1719/13 + a. Which is smaller: z or 0?
0
Suppose -4*l - l = 5, -5*l = -o + 227. Which is bigger: 221 or o?
o
Let v(y) = 15*y + 19. Let p be v(8). Let i = p + -135. Is i at most -1?
False
Suppose 4*z = -z - 5. Are 4/127 and z equal?
False
Suppose 0 = -7*x + 8*x - 12. Suppose -v - 143 = -x*v. Which is smaller: 8 or v?
8
Suppose 4*g - 7*g + 96 = 0. Suppose 4*m = 8*m + g. Is m < -4?
True
Suppose -37*z - 6681 = 14*z. Is -130 at most z?
False
Let v = -3272/7 + 472. Is -4/5 != v?
True
Let q = -20374 + 101457/5. Let h = q - -23536/285. Which is bigger: h or 1?
1
Let s be (-8)/76 + 4 - 4. Let x be (9/36)/(2/8). Which is greater: s or x?
x
Let z(w) = -20*w - 19. Let k be z(-1). Which is smaller: 4/277 or k?
4/277
Let o(w) = 7*w**2 - 5*w + 8. Let b be o(3). Is b less than or equal to 0?
False
Let j = -81 - -72. Suppose 6 = 5*x + 6*f - 2*f, -4*f - 10 = -3*x. Let d(h) = -3*h + 5. Let t be d(x). Which is smaller: j or t?
j
Let o be 16/9 - (1 - -1). Suppose -6*h - 1 = -5*h. Let m = 1 + h. Is o equal to m?
False
Suppose 4*o + 2 + 2 = 0. Let y(i) = i**3 + 19*i**2 - 19*i + 31. Let f be y(-20). Suppose f*l - 3*l = 0. Which is smaller: l or o?
o
Suppose 0 = -4*m - 1 - 3. Let n be m/(-3) - (-13)/(-39). Let k be 6*(n + 4/(-4)). Which is smaller: k or 0.1?
k
Let w be -6*(-3)/4*40/(-165). Suppose 2*f = 7*f. Is f <= w?
False
Suppose -5*c = 39 + 21. Let p be (-6 + -1 - -6)/(1/c). Is p at most 23/2?
False
Let n = -49 - -49.63. Let b = 0.13 - n. Let l = -0.52 - b. Is l greater than -0.1?
True
Let d(t) = -2*t + 41. Let a be d(23). Let z be (2/(-4))/((-2)/(-12)). Let b = z - a. Which is smaller: 1/2 or b?
1/2
Let n(d) = d**2 + 16*d + 15. Let k be n(-15). Let i = -47/189 + -1/27. Which is greater: i or k?
k
Let v = 0.16 + -9.46. Let n = 7.3 + v. Which is greater: 1 or n?
1
Let y be ((-3)/5)/1 + 6/(-150)*35. Let g(h) = -h - h**2 - 2*h + 2*h - 3. Let j be g(0). Is y less than or equal to j?
False
Let m be (14/14)/(2/(-4)). Let h be m/(2 + 0) + -5*2. Let x(z) = -2*z**2 - z. Let r be x(2). Which is bigger: h or r?
r
Let p = 48 - 45. Suppose -4*u = -5*c + 2*c - 203, -5*c = p*u - 116. Is 46 at least as big as u?
False
Suppose -36*y + 28*y - 1312 = 0. Which is greater: -165 or y?
y
Let h = -274.07 - -24.07. Is -1 at most h?
False
Let g be (-2)/(-10)*(-1 + -11). Let c(u) = 16*u - 16. Let h(r) = -9*r + 8. Let n(v) = -4*c(v) - 7*h(v). Let k be n(9). Is g at least as big as k?
False
Let l = 12 + -12. Let h(u) = u**2 + u + 5. Let d be h(l). Let m = 6 - d. Is m bigger than 4/3?
False
Let b(t) = -t - 17. Let p be b(-13). Let c be -2*((-18)/p)/9. Is 16 smaller than c?
False
Let x be ((-3)/28)/(111/(-296)). Is x smaller than 0?
False
Let r = 855 + -750. Is r at least as big as 932/9?
True
Let d = -5 + 5. Suppose -5*z - 8 + 28 = d. Which is bigger: z or 26/7?
z
Let t be 12/(-8) - 114/(-76). Let l(x) = -x**3 - 2*x**2 + 6*x + 1. Let u be l(-4). Let r be 2/(-8)*(-4)/u. Is t greater than r?
False
Let o = 7781/7 - 1106. Which is smaller: o or 6?
o
Let d = -568 - -251. Which is smaller: d or -316?
d
Let t = 796 + -1208. Which is greater: t or -411?
-411
Let g = -28 - -26. Let n be (-7)/g*8/(-14). Which is greater: n or -9/4?
n
Let r = -310 - -479. Is r greater than or equal to -0.1?
True
Let x(o) = 9*o**2 + o + 44. Let n be x(-9). Let v = -9926/13 + n. Which is bigger: 0 or v?
v
Let w = -17.32 + 17. Let c = 0.55 + w. Which is smaller: c or 0.1?
0.1
Let v(s) = -s**3 + 6*s**2 - 8*s - 9. Let r be v(5). Let g be ((-4)/42)/(4*(-4)/r). Is 0.4 less than or equal to g?
False
Let q(p) = p + 4. Let a be q(-2). Let d be (15/225)/(a/(-6)). Let m be 4 + 5/(5/(-3)). Which is smaller: m or d?
d
Let g = -311 + 310.827. Let w = -0.027 + g. Is w less than 28?
True
Let o = -122 + 122.44. Let g = 0.36 + -0.4. Let l = o + g. Which is smaller: l or 1?
l
Let c = -10 - -14. Let z be (-3)/30 + c/(-10). Let f = -5.6 - 1.4. Which is bigger: z or f?
z
Let u(c) = -3*c. Let l be u(-3). Let y(s) = -l*s**2 + s**2 + 2 + s**2 - s**3. Let d be y(-7). Is d smaller than 2?
False
Let t be 2/(6/3) + 23. Is 19 at most t?
True
Let x = 1086 + -271. Is x greater than or equal to 816?
False
Let o be ((-24)/(-39))/1*(-76)/8. Which is smaller: -5 or o?
o
Let b be (-3)/2*20/10. Is -23/10 at most b?
False
Suppose 4*t = -t - 20, 23 = 3*b - 5*t. Is 54/121 bigger than b?
False
Let z = 16 + -8. Let v = 8.8 - z. Let c = v + -0.6. Which is greater: 3 or c?
3
Suppose -4*o + 43 = -49. Let g = 32 - o. Is g > 8?
True
Let l be (-10)/(-65) - (-6260)/(-130). Which is smaller: l or 3?
l
Suppose 2*p = -0*p + 48. Let u = -852 - -877. Which is smaller: u or p?
p
Let q = -200 - -199. Is q greater than -1/148?
False
Let o be (-69)/2622*(-117 - 1) - 3. Is o bigger than 2/103?
True
Let q = 510 - 509.81. Which is greater: -2/37 or q?
q
Let l be 10 + -1 + (-1 - -3). Suppose -2*p + 4*o - 16 = 0, 3*p - 3*o + l + 4 = 0. Let u be p - (-2 + 6/2). Is -4 != u?
True
Let m(k) = k + 15. Let l be m(-11). Suppose 3*j - 42 = 2*w - l*w, -2*w = -j - 50. Let u be (9/w)/((-6)/12). Which is greater: 4 or u?
4
Let c be (-2)/7 - (-2)/7. Let v be (-14 - (1 - 10)) + 76042/114. Let r = -662 + v. Which is smaller: c or r?
c
Suppose 0 = -5*o + 4*k - 95, -6*k + 20 = -2*k. Suppose -x = 3*s + 46, -76 = 4*s + s + 2*x. Let w = o - s. Is -0.5 > w?
False
Let w(f) = f**2 - f - 1. Let a(s) = 3*s**2 - 2*s - 10. Let d(o) = a(o) - 4*w(o). Let x be d(0). Is x <= -4?
True
Suppose 5*n + 25 = 5. Let r be 1/1*(1998/498 + n). Which is bigger: -1 or r?
r
Let z = -4 + 2. Suppose 0 = 5*h + 3*x - 30, 2*h - 3 = -3*x - 0*x. Suppose h*p = 2*p - 28. Is p != z?
True
Suppose -5*y = 3*b, 0*y - 2*y + 19 = 5*b. Suppose -2*h - 14 = b*h. Let r be 4/(-6) - 5/(-12). Which is greater: h or r?
r
Suppose -12*y - 34 = -2*q - 16*y, 2*q + 2*y = 36. Is 19 smaller than q?
False
Let h(b) = b**2 - 3*b - 2. Suppose 2*y - 41 = 5*t, 0*y - 2*y - 15 = 3*t. Let z be h(t). Suppose -z + 23 = -5*p. Are 8 and p nonequal?
True
Let j = 97/78 - 16/39. Let q(k) be the first derivative of k**2/2 + 7*k + 4. Let x be q(-5). Is j bigger than x?
False
Suppose h = -3*h - 12. Let k = 1.26 - 1.3. Which is bigger: k or h?
k
Suppose 5*y - 15 = -5. Let p be (6/18)/(18/162). Is y at least p?
False
Let r be 9/(-1 + 1/(-2)). Let n be 1*(-4 - 1)*r/(-3). Is n >= 0.3?
False
Let q = 2361 - 153473/65. Is q greater than 1?
False
Suppose 5*t - 5 = -5*a, 0 = t + 3*a + 1. Let u = 7 - t. Let q(s) = -s**2 + 18*s - 29. Let m be q(16). Which is smaller: m or u?
m
Let g be (-7 - -1)/(-15 - -13). Suppose -16 = -w - g*w. Suppose 0 = -3*k - 0*x + x - 5, 0 = w*k + 3*x - 15. Is k greater than -1/10?
True
Let y = -327 + 327.21. Is -0.5 < y?
True
Let v = 145/8 - 19. Are -1 and v equal?
False
Let d be 16/((-2)/1) + 0. Let o be (33/(-55))/((-1)/(-15)). Are o and d non-equal?
True
Suppose -5*t - 36 = -4*f, 0 = 4*f + 5*t + 5 - 1. Let a be 4/66*48/f. Let y = 1/44 + a. Is y at least 1?
False
Suppose -l - 1 = -5*n - 3, -67 = 4*l + 5*n. I