rue
Let y(x) = 2*x + 10. Let s be y(-4). Suppose s*p - 6 = 0, 4*p + 256 = c + 67. Let a be c/(-12) - (-4)/(-16). Are a and -16 nonequal?
True
Suppose -i = i - 8*i. Suppose -2*f - l + 18 + 9 = i, 9 = 3*l. Which is greater: f or 10?
f
Let y be 1/(7/(-2313))*5/(-5). Let k = y + -331. Which is greater: k or 0?
0
Let j be 4/(-1) + 4 + 2. Let r(l) = l**2 - 9*l - 9. Let s be r(13). Suppose 4*y - 4*o = -y - s, 0 = 5*y - j*o + 49. Is -11 at most as big as y?
True
Let x = 82.67 + -83. Let f = -66/7 - -139/14. Is f smaller than x?
False
Suppose 2*v = -3*g - 4, -g = g + 3*v + 11. Let x be g/(18/(-15) - -1). Let h = x - -10. Is 2/5 less than or equal to h?
False
Let s be (-32)/384*(1 + (-1)/(-2)). Which is smaller: s or 35?
s
Let g be (-2)/(-75)*3/2. Suppose -4*b + 5*p - 8 = 0, -4 = 2*b - 4*p + 6. Suppose v - 2*v - 3 = -2*q, -q + 14 = -b*v. Is q != g?
True
Let y = -2 - -14. Let m = y + -9. Let j = 4 + -2. Which is bigger: m or j?
m
Let v = 0 + 1. Let m(u) = -53*u - 29. Let h be m(-4). Let x = h + -544/3. Is x > v?
True
Let d(v) = -23*v**2 + 82*v. Let m be d(4). Which is smaller: -39 or m?
m
Let p = 18733/17 + -1102. Which is greater: -0.7 or p?
p
Suppose 77*q = 78*q + 13. Let h be 12/(2*(-2)/6). Let o = h - -6. Is q at most as big as o?
True
Suppose -8*w + 4*w - 500 = 0. Let p = 3026 - 3152. Do p and w have different values?
True
Let c be (0 + -3)*(-360)/27. Suppose 5*p - c = p. Suppose 0 = -5*s - 0*s + p. Which is smaller: s or -0.3?
-0.3
Let w = -16 - -15.9. Suppose 3*c + 4*y - 31 = 0, 3*y - 22 = -2*c - y. Are w and c equal?
False
Let q = 38 + -188/5. Let g be 4/(-18) + 6/27. Let p = -1 - g. Is p < q?
True
Let b = -210 + 210.1. Which is bigger: 2/33 or b?
b
Let p = -3 - -2.9. Let k(b) = b**3 + 10*b**2 - 21*b + 12. Let j be k(-12). Let v be j/(-20)*5/9. Which is greater: v or p?
v
Let h be (1/2 + -1)*4. Let c be (6/h + 5)/(-1). Which is smaller: -6 or c?
-6
Let m = -74 - -70.1. Let c = 3.8 + m. Which is smaller: c or 2/53?
c
Let v = -76 - -76.23. Which is greater: 1 or v?
1
Let t(i) = 12*i**3 + 3*i**2 - 7*i + 5. Let x be t(2). Is 0 > x?
False
Suppose 0 = 10*q - 4*q. Suppose -5*s + 6 + 14 = q. Let k be (261/72)/(2/s). Which is bigger: k or 6?
k
Let l be (-6)/33 - (2850/55 - -6). Which is bigger: l or -57?
-57
Let y = -52.15 + -26.08. Let b = -79 - y. Which is smaller: b or -0.1?
b
Let j(n) = 14*n**2 - 63*n - 56. Let y(l) = 5*l**2 - 21*l - 19. Let k be (-46)/8 + 15/(-60). Let x(q) = k*j(q) + 17*y(q). Let w be x(-20). Is w >= -4?
False
Let z = -16 - -20. Let y(t) = z + 4 - 2 + t**2 - 5*t - 2*t**2. Let q be y(-6). Which is smaller: 2/43 or q?
q
Let g(s) = 6*s + 0*s - 4*s + 27 - 26. Let i be g(-1). Are -2 and i equal?
False
Let f = 43 - 65. Let v(q) = q**3 - 12*q**2 + 29*q + 9. Let k be v(5). Which is smaller: f or k?
f
Let x = 0.3103 + -114.3103. Is x equal to -0.04?
False
Suppose 3*c - 23 = 10. Let y = -27 + c. Let j = y + 47/3. Which is smaller: 0 or j?
j
Let o = 172 + -172. Which is smaller: -5/23 or o?
-5/23
Let x = -100/3 + 34. Let i(z) = z**3 - 11*z**2 + 15. Let r be i(11). Is r at most as big as x?
False
Let b = 2848501 + -48452438/17. Let d = b + 1643. Which is greater: d or 0?
d
Suppose -28*d + 32*d + 44 = 0. Is d != -9?
True
Let s be (8/12 + 0)*18. Let g be 0 - (-3 - 1484/s). Let m = 128 - g. Which is greater: 0 or m?
m
Suppose -37*q = -44*q - 112. Let d = -17 - q. Let z be 12/(-9)*(-2)/(-84). Is d != z?
True
Let s be 4/(-7) - 4/21*39. Let g be (-16)/s*1/87. Are 1 and g nonequal?
True
Let b = 31 - 47. Let d(u) = -u**2 + 9*u - 5. Let t be d(10). Is t equal to b?
False
Let d = 2051.9 - 1968. Let t = 84 - d. Which is smaller: -2 or t?
-2
Let q = -48 - -32. Let m = -20 - q. Let u be 5*((-48)/(-33) + -2). Is u greater than m?
True
Let p(x) = -x**3 + 25*x**2 - 48*x + 34. Let r be p(23). Is -21 at most r?
True
Let d = -245.107 - -245. Let a = 1.107 + d. Is 48 equal to a?
False
Let t be ((-76473)/6930)/(-29) + 2/(-5). Which is greater: t or 1?
1
Let g(m) = -14*m**2 - 3*m + 4. Let p be g(-4). Is p greater than 2?
False
Let c = -104728/5 + 21038. Let a = -92 + c. Suppose -2 + 0 = -2*u. Which is bigger: a or u?
u
Suppose -w + 4 = -0. Suppose -3*n = -0*n - 2*h + 36, -4*n - 68 = w*h. Which is smaller: -13 or n?
n
Suppose -39 = 4*k - 339. Let n be 24/k + 6/(-30). Which is greater: 0 or n?
n
Let s = -23247/5 + 4632. Which is bigger: s or -17?
-17
Let w be (2/(-4) + 0 - 0)*112. Is w < -56?
False
Suppose -4*i = 3*w + 3, 4*w + 5 = -w + 5*i. Is w less than -1/46?
True
Suppose -m = -42 + 48. Let j be (-74)/51 + (-8)/m. Which is smaller: 5 or j?
j
Let n be 14*(3 - 62/21). Let z = 1 + -6. Is z at least as big as n?
False
Let n be -41 + (3 + -10 - -4). Is -44 < n?
False
Suppose -3*q = 5*z - 25 - 160, 4*z - 124 = -2*q. Which is greater: 62 or q?
62
Let y be (-1 - -3)/(4/(-6)). Let o be -4*y/(-21) + 0/(-6). Which is smaller: -2 or o?
-2
Let a be (2 + 56/(-21))/((-2)/3). Let f = -1 - 1. Let o = a + f. Which is greater: o or -0.06?
-0.06
Let x(n) = -3*n**2 + 20*n - 12. Let w be x(12). Which is greater: w or -205?
w
Let q(m) = -2*m**2 - 18*m - 10. Let v be q(-8). Let j = 12595/1981 - -20/283. Is j at most v?
False
Let a(j) = j**2 - 6. Let n be a(3). Let d be (-65)/(-35) - n - 0. Which is smaller: d or -1?
d
Let s = 4360 - 13342/3. Let a = s + 88. Which is bigger: a or 2?
2
Let m = -18.13 + 18. Let d be 34/(-30) + (-8)/(-60). Which is smaller: d or m?
d
Let p = -0.05 - -0.34. Let i = p + 1.71. Is i at most 1?
False
Let g = -0.0503 - -11.4503. Which is smaller: -0.1 or g?
-0.1
Let h(z) = -z**2 - 6*z + 4. Let g be h(4). Let t = -22 - g. Let c(l) = l**3 - 12*l**2 - 27*l - 14. Let m be c(t). Which is smaller: m or -6/23?
-6/23
Let x = -70 + 74. Let k be (-12)/22*(-1)/x. Which is bigger: k or -1?
k
Suppose 0 = 7*m - 13 - 29. Let u be (-20)/15*2259/m. Let a = 2025/4 + u. Do a and 5 have the same value?
False
Let i(j) = -j + 45. Let q be i(0). Suppose -3 = -p - q. Is -42 not equal to p?
False
Suppose j + 19 = 4*p - 0, 5*j - 3*p + 10 = 0. Suppose 4*a + j - 21 = 0. Which is greater: 6 or a?
6
Let d = -2 - -6. Let v be 6 - d - (-2)/1. Which is smaller: 3 or v?
3
Let d be (-1)/(-3)*(-1 - -40). Suppose -117*n + 137*n = 160. Is n greater than d?
False
Let n(o) = -9*o**3 - 2*o**2 + 4*o - 1. Let v be n(-3). Does v = 212?
True
Let k(g) = g**2 + 3*g + 4. Let b be k(-2). Suppose p + 5*y = 24, 5*p - b*y - y = -20. Suppose z = -2*m - 2*m + 7, m + 3*z = -1. Is m less than p?
False
Let g(j) = -j + 28. Let m(h) = h - 30. Let w(s) = -6*g(s) - 5*m(s). Let p be (28/10)/((-1)/(-5)). Let o be w(p). Which is smaller: o or -2?
o
Let l = 25 - 25. Suppose -2*o + 4 = -6. Suppose 14 + 21 = o*m. Is m < l?
False
Suppose -3*q = -4*o - 6*q - 37, -16 = 4*o - 4*q. Let c be 348/(-70) - ((-259)/35 - o). Is c >= -6?
True
Let d = -301 - -73. Is d != -227?
True
Suppose -14*a = 139 - 153. Which is smaller: -2/3231 or a?
-2/3231
Let w be 474/158 + 11 + -1. Let c be -5*(-5)/((-50)/(-28)). Are w and c nonequal?
True
Let r = -0.25 - -0.15. Let d = 4369/410 + -21/82. Let i = 56/5 - d. Which is bigger: i or r?
i
Let x = 0.694 + -0.514. Which is greater: 33 or x?
33
Let t = 609 + -610. Let v = 0.13 - -4.87. Let z = v + -5. Which is smaller: z or t?
t
Let r = -12985/9139 - 2/9139. Which is smaller: r or -1?
r
Let z = 20.8 + -22. Let y = 2.4 + z. Do -0.1 and y have the same value?
False
Let h be (-27)/81 - (-2 + 5961/(-9)). Is 663 less than or equal to h?
True
Let z be (8/(-10))/((-1)/(-15)). Let x = -1 + -11. Let d = x - 0. Is z greater than d?
False
Let l be 3 + 108/8 - (-21)/14. Which is greater: l or 19?
19
Suppose 0*x - 5*x - 4*s = 38, 5*x + 5*s + 35 = 0. Let n be (-1 - x/6) + (-2156)/3927. Is -1 smaller than n?
True
Let t(v) = -v - 1. Let g be t(-11). Let s be (-285)/2*24/g. Let f be (-2)/(-6) + 150/s. Are f and 1 nonequal?
True
Let z be (-30)/5 - 9/3. Let p = -72 + 191/3. Is z less than p?
True
Let x = -124 - -126. Which is smaller: 10/7 or x?
10/7
Suppose 7*f = 3*f - 24. Suppose 0 = 5*k + 10, 4*i + 3*k + 30 = -0*k. Is i greater than or equal to f?
True
Let q = 3.3 + -3. Suppose -2*c + 0*c = 0. Suppose 3*z - 8*z = c. Is z less than q?
True
Let p(v) = v**2 + 3*v + 3. Let g(w) = -2*w + 12. Let m be g(7). Let u be p(m). Which is greater: 2/121 or u?
u
Let m(r) = -r**2 + 3*r + 5. Let y be m(4). Let h(c) = -c**3 - 6*c**2 + 5