Is 1 <= v?
False
Let s be -3 - (0 + 33/(-9)). Let d = -9.7 + -2.3. Let v = d + 10. Which is smaller: s or v?
v
Let y = -65/3 + 21. Let k = -374.8 - -374.88. Which is bigger: k or y?
k
Let v = -64 + 66. Let j(h) = -5 + 5 - h - 1 + 4. Let d be j(2). Which is bigger: v or d?
v
Suppose 2*c - 2 = -0. Let p = -125 + 122. Which is smaller: p or c?
p
Suppose 57 = -3*b - 0*o - 3*o, 0 = -o - 4. Let d = 48 + -38.8. Let r = -8.2 + d. Are r and b nonequal?
True
Let s = -4 - -8. Suppose 18 = s*g - g. Let m(z) = -z**2 + 5*z + 7. Let v be m(5). Which is bigger: v or g?
v
Suppose 345*p - 359*p = 0. Let i = -4659/11 + 423. Which is smaller: p or i?
i
Let i = 34 + -10. Let g = i - 37. Which is smaller: -10 or g?
g
Let p = 74.8 + -198.5. Let k = p - -118.71. Let x = k - -5. Which is smaller: x or -1?
-1
Let r(u) = -u**2 + 7*u + 15. Suppose 2*v = 3*d - 25, -2*d - 2*d + 4*v = -32. Let h be r(d). Suppose 5*q = 7*q + 6. Does h = q?
True
Let d be (-78)/130 + (332/(-55) - -2). Are -6 and d equal?
False
Let h(r) = 3*r + 12. Let p(f) = -f**3 - 4*f**2 - 4. Let u be p(-4). Let d be h(u). Which is greater: -2/47 or d?
d
Let r be (-361)/35 - (-4)/(-14). Let v(m) = -6*m**2 + 2*m + 16. Let j be v(-2). Which is smaller: r or j?
j
Suppose 22 = 3*l + 2*s, -31*s + 4 = -29*s. Which is bigger: -30 or l?
l
Let x(b) = b**2 + 9*b - 19. Let s be x(-8). Let a be 2/s*(0 - -3). Does a = 7?
False
Let w be (-2)/6 - 37/(-3). Let t be w*(3/(-2) - -2). Let b be -2 - (0 + 2)*-2. Which is smaller: b or t?
b
Let t(c) = 94*c - 7. Let x be t(-10). Let f = 125005/132 + x. Are 1 and f non-equal?
True
Suppose 0 = i + 67 - 135. Which is smaller: 66 or i?
66
Let u be (-4)/28 - (-43)/7. Let o be 2/30 - u/(-10). Let t = -9/4 + 67/28. Which is smaller: t or o?
t
Suppose 0 = -5*w + 4*u + 17, -2*w = 6*u - 11*u - 17. Is w != -4/43?
True
Let w(y) = -y - 2. Let v = 9 + -15. Let g be w(v). Let u be g/2 + -4 + 6. Which is smaller: 0.1 or u?
0.1
Let l = 77 + -91. Let c be 1/((-25)/10) - l/20. Is c < -6?
False
Let d = -16/61 + -2177/305. Which is smaller: d or -7?
d
Let w = 9.8 + -13.4. Let p = 1.32 - 2.32. Is p at least w?
True
Let h = -2021 - 1741. Let g = 41412/11 + h. Is g <= 4?
True
Suppose -4*t + 36*t + 32 = 0. Are t and 3/796 non-equal?
True
Suppose f - 14 = -35. Let g = -20 - f. Is g less than 2?
True
Let g = -0.4 - -1.4. Is g at least -11.2?
True
Suppose 2*a + 11 - 53 = 0. Let l = a - 29. Is l less than or equal to -9?
False
Suppose -3*v - 2*q + 2 + 2 = 0, 0 = 4*q - 8. Let p(l) = -5*l - 7. Let h be p(7). Let m = h - -37. Which is smaller: v or m?
m
Suppose 4*h - 4 = 2*h. Suppose -3*u = h*y - 0*y - 61, 36 = 2*u - y. Is u != 0.1?
True
Let n(l) = -2*l**3 - 3*l**2 + 4*l - 3. Let p be n(2). Suppose 287 = -43*a - 745. Is a greater than or equal to p?
False
Let i = -23 - -24. Suppose -2*l + 3 = -i. Do -8 and l have the same value?
False
Let y be 11/(-154)*(-803)/(-5952). Let b = y + -1/896. Let t = -109/1488 - b. Which is smaller: 0 or t?
t
Let i = 589 + -31807/54. Is i <= -1?
False
Let r = -0.007 + -0.128. Let a = r + -2.865. Which is smaller: 2 or a?
a
Let o(c) = c**2 + 6*c - 8. Let g be o(-8). Let u = g + -7. Are -24 and u nonequal?
True
Let y = -233/7075 + -2/283. Which is smaller: y or 1?
y
Let l = -43 + 43.3. Let o = -4.9 + -4.1. Is o less than l?
True
Let p = 370466/5 + -73806. Let j = p - 286. Which is smaller: 4 or j?
j
Let v = 1 + 3. Suppose v*q + 14 + 46 = 0. Let l = q - -12. Is l bigger than -6?
True
Let g = -38 + 41. Let p be 4 - ((-187)/(-27) - g). Are 0 and p equal?
False
Let g = 6.12 - 6. Let z = 13.92 + -14. Let a = g + z. Which is bigger: a or -0.2?
a
Let q be ((-1)/1)/(4/(-52)). Let m = 13 - q. Is m greater than or equal to -3/10?
True
Let d(z) = 4*z - 1. Let u be d(0). Let b be (-11 + 8)*u/(-3). Is -2/115 less than b?
False
Let s = 631 + -6309/10. Let d be (-2)/(-4) - 6/(-4). Suppose d*t + 3 = 1. Which is smaller: s or t?
t
Let s = 18469511/520 + -177579/5. Let g = s - 21/13. Is 0 > g?
False
Suppose -5*h + 12 = 2. Suppose h*l - 24 = -4*d, -3*l = -l + d - 12. Suppose 0 = -l*g + 2*j + 3*j - 10, -4*g - 5*j = -10. Which is greater: g or -9/7?
g
Suppose 0 = j + t + 539, -4*j + 7*j = -t - 1621. Are -543 and j equal?
False
Let t be (-10)/(-8)*4/50. Suppose 3*y - 3*f = 3, -4*f + 5*f = -y - 3. Is y < t?
True
Let f = 727/747 + -7/83. Suppose 4*p = -b + 1, 10*p + 2*b = 11*p - 16. Is f > p?
False
Let q be (10/(-305))/(-4 - 208/(-56)). Which is bigger: 0 or q?
q
Let o = -150 - -127. Which is bigger: o or -22?
-22
Let o = -10 + -16. Suppose -61*g - 1014 = -22*g. Are g and o equal?
True
Let f be (-31)/10 + (15/(-5) - -2). Which is smaller: f or -4?
f
Let p be ((-2)/(-12))/((1203110/60)/31). Which is smaller: 1 or p?
p
Let i = 2913 - 14803/5. Which is smaller: -48 or i?
-48
Suppose 33*d - 264 = 57*d. Is d at most as big as -13?
False
Let y(n) = n**2 + 29*n - 63. Let j be y(2). Which is bigger: j or 2/721?
2/721
Let s = 1081 + -7618/7. Let i = s - -53/7. Is i != -2?
True
Let c = 265 - 266. Let q = 32103/23 - 1396. Which is smaller: q or c?
c
Suppose -w = -60*w. Is 12/179 greater than w?
True
Let x = 133266/29 - 4596. Which is smaller: x or 0?
x
Let y be 16/((-128)/(-7800)) + 30/(-5). Is 970 <= y?
False
Let z = -44 - 43. Let c = -72 - z. Let w be 14*1 - (-6)/3. Which is smaller: c or w?
c
Suppose -g - 3*y = -0*y + 20, 2*g = 3*y - 4. Let u be 510/(-40) + (-6)/g. Let p be (u/3)/2 - -2. Does p = -1/7?
False
Suppose 0 = -3*t - 26 - 4. Let v be 6*(2 - t/(-3)). Which is greater: -2 or v?
-2
Let k(g) be the second derivative of -g**5/10 - g**4/6 + g**3/6 + g**2 + 4*g - 6. Let a = 6 + -8. Let j be k(a). Is 0.1 <= j?
True
Let u(f) = -2*f**3 - 4*f**2 - 9*f + 7. Let m be u(-7). Let y be m/1386 + 4/(-22). Which is greater: 1/13 or y?
y
Suppose 38*a - 40*a = 4494. Let v be (-14)/(-4)*(-12)/a. Is v at most 1?
True
Let c be -2*(3 + 1/2). Suppose n - 3*u + 20 = 0, -3*n + 4*u + 24 = -8*n. Is n greater than c?
False
Suppose 0 = 2*a + 8. Let h be 18/(-25) + a/(-5). Are h and -1 unequal?
True
Let y = -205/4 + 51. Suppose -4*t + 2*h + 168 = 0, 15*t + 4*h - 210 = 10*t. Is t at least as big as y?
True
Suppose 0 = 5*g - 3*i - 122, 5*g - 76 = 2*g - i. Suppose 0 = -5*y - 0*y - g. Let u be (2/y)/((-27)/(-15)). Is 6 equal to u?
False
Let m be -3 + (-4 - 164157/(-51)). Let x = -14192209/4420 + m. Let d = x + -11/20. Which is bigger: 1 or d?
1
Let v(c) = -c**2 + 10*c - 21. Let m be v(8). Suppose -1 = -s + 1. Suppose -2*b - 28 = s*b. Is b equal to m?
False
Let v = -9 - -10. Which is greater: v or -16.1?
v
Let h(s) = -5*s - 13. Let p be h(-3). Suppose a - 58 = -4*a + p*n, -a + 4*n + 26 = 0. Let y(k) = 2*k**2 - 6*k + 2. Let d be y(4). Is a > d?
False
Let p = -0.19 + 2.25. Let w = -0.06 + p. Suppose m - 385 = -34*m. Is w at least m?
False
Let n be 2522/65*(-1)/2. Which is bigger: n or -18?
-18
Let g = 126 - 24. Let z = -102.1 + g. Is z less than -71?
False
Suppose -6 = -c - 2*z, -3*c - z + 51 - 8 = 0. Let r = c - 17. Is r < -3/40?
True
Let z = -192/13 - -25178/1703. Does 0 = z?
False
Let z(h) = h**2 + 4*h - 6. Let n be z(-5). Let g(c) = 2*c + 3. Let k be g(n). Is k equal to 6/7?
False
Suppose -8*d + 461 = 381. Let h be (-4)/(-10) + (-844)/(-90). Is d less than or equal to h?
False
Let x = -41 - -46. Suppose 3*y - 3*y = -x*y. Which is bigger: y or 3/37?
3/37
Let s = 0 + 0. Which is smaller: -15/28 or s?
-15/28
Let w = -2333 - -2332. Which is bigger: 29 or w?
29
Let a(b) = -b**3 - 8*b**2 - 3*b + 10. Let g be a(-7). Let h(y) = y**3 + y**2 + y - 17. Let n = 3 - 3. Let c be h(n). Which is smaller: c or g?
g
Let f be 60 + (-3)/1 + 3. Let v be (-20)/f - 64/(-210). Let i = v - 27/280. Are 1 and i nonequal?
True
Let l be (26/(-6))/((-38)/114). Which is greater: -8/7 or l?
l
Let t(h) = -23*h - 300. Let f be t(-13). Let r = -132 - -18745/142. Which is smaller: r or f?
f
Let a(i) = i**3 - 6*i**2 - 6*i - 5. Let v be a(7). Let g be v + -1 + 3 + -4. Which is bigger: g or 2/87?
2/87
Let w = -1203 - -13203/11. Which is smaller: w or -4?
-4
Let c = -612 - -619. Let s(g) = g**2 + 6*g + 9. Let t be s(-6). Which is greater: t or c?
t
Suppose 5 = 6*z - z. Let a be (66/68 - z)*-2. Suppose -2*v - 3*v = 3*q, 0 = 5*v + q. Which is smaller: a or v?
v
Suppose -3*o = -3*a - 9, -2*o - 4*a + 1 - 7 = 0. Is 8/41 greater than or equal to o?
False
Let k = 589 + -585.981. Let