/((-2)/(-2)). Are m and j nonequal?
True
Let u(w) = -2*w**2 - 22*w + 1. Let q be u(-9). Let o = -13 + q. Is 24 smaller than o?
False
Suppose 51*f + 1014 = -1128. Which is bigger: f or -31?
-31
Let g = 1.629 + 0.831. Let a = 5 + -2.5. Let q = a - g. Is 0.1 < q?
False
Let d = -172 + 1400. Are d and 1229 nonequal?
True
Let l(d) = d**3 + 18*d**2 + 15*d - 18. Let o be l(-17). Let p = -34 + o. Let s be (-12)/10*30/p. Which is bigger: -1 or s?
s
Suppose -2*m + 4*r = -140 + 28, -2*m - 5*r = -121. Let c = -47 + m. Are 8 and c unequal?
True
Suppose 84*k = 90*k - 306. Do 660/13 and k have the same value?
False
Let z = -473 + 407. Are z and -65 nonequal?
True
Suppose -r + 9 - 7 = 0. Suppose c = -b, 7*b + 4*c = r*b - 5. Are -6 and b equal?
False
Suppose 0*b + 5*b + 5*h + 15 = 0, -3*b = -4*h - 19. Let t = -11431 + 11479.07. Let x = t + -48. Which is bigger: x or b?
b
Let u = -10 - -16. Let i = 0.12 + 0.18. Which is greater: i or u?
u
Let t = -126597/424396 - -3/18452. Let j = 6/679 + -332/15617. Let s = j - t. Which is smaller: s or 0.1?
0.1
Let f(b) = b + 14. Let a be f(-22). Let q(w) = -w - 7. Let n(d) = 1. Let v(c) = -4*n(c) + q(c). Let o be v(a). Are o and -5 non-equal?
True
Let w = 48 + -32. Suppose 2*d + 3*d + 2*u + 81 = 0, 2*u = -d - 13. Let x = d + w. Which is smaller: 3/14 or x?
x
Suppose 1 = -2*m + 9. Suppose 5*t + 0*i - 3*i = 0, 5*i = 5*t. Suppose t = -s - m + 2. Do -2 and s have different values?
False
Suppose -9 = -3*o, 3*v - 7*o = -2*o. Suppose i = -i - 2*s + 8, -5*s = -i + 34. Suppose 6*p - v*n = p - 15, 0 = -p - 2*n + i. Which is bigger: -4/9 or p?
p
Suppose -13*h - 362 - 912 = 0. Is -99 at least h?
False
Suppose 5*n - 2 - 3 = -5*y, -3 = -3*n + 4*y. Which is greater: -2/1087 or n?
n
Suppose -8 = 6*d - 8*d. Let z = d + -20. Let g be z + 19 - (-53)/(-17). Is 0 bigger than g?
True
Let g be (-53879)/(-189) - (-4)/(-54). Is g at most as big as 285?
True
Let g(h) be the first derivative of -15*h - 1/2*h**2 - 12. Let u be g(0). Is -16 at least u?
False
Let o(r) = r + 6. Let l be o(4). Suppose w = 3*x - w + 4, 0 = -5*x - 5*w + l. Which is smaller: x or -1/50?
-1/50
Let t = 549.6 + -549. Which is greater: 4/65 or t?
t
Let u be 4/3 - (-2)/3. Let f be 1*(-9 - (u - 6)). Which is smaller: -6 or f?
-6
Suppose -3*i = 5*g + 48, g = -4*g + 5*i - 40. Let w = -0.108 + 47.108. Let v = w - 47. Are g and v non-equal?
True
Let z be (-3 + 51/14)*39/90. Let j = -1/35 + z. Let t = -13.2 - -12. Which is greater: t or j?
j
Let d(g) = -14*g - 5. Let y be d(-1). Suppose 14 + y = -m. Is -24 > m?
False
Suppose -4*i = -6*i + 6. Let v = -85.1 - -66.1. Do v and i have different values?
True
Suppose -28*u + 27 + 1 = 0. Is u < 7/97?
False
Let a = 296 + -299.2. Which is smaller: a or -0.1?
a
Let n = -1 - -1. Let x be (-2 - 2) + -3 + (8 - -5). Let b be (x/(-3))/(5 - (2 + 0)). Is b > n?
False
Let i be -6 - 74/(-12) - (-1)/(-6). Which is greater: 1/215 or i?
1/215
Let d(j) = j**2 + 7*j + 9. Let q be d(-4). Let k be (-15)/(q - 2) + -19. Do k and -16 have different values?
False
Let y = 1827 + -1827. Is y < -0.0083?
False
Let l = 13641 - 1814270/133. Which is greater: 0 or l?
0
Let j be ((-17)/(-34))/((-2)/8). Is j smaller than -7?
False
Suppose 42*n - 38*n + 3*l = -119, 5*l = -n - 17. Are n and -21 nonequal?
True
Let j = -20 - -31. Suppose 0 = -2*x + 11 + j. Is 9 > x?
False
Suppose 0 = 41*u - 40*u + 56*u + 285. Let i = 10 + -17. Are u and i equal?
False
Let k be 2/(((-12)/567)/2). Let d be (28/k)/(3/(9/2)). Is d at most as big as -4?
False
Let u = -251/1911 - -8/147. Suppose 6 = -5*q + 1. Is u greater than or equal to q?
True
Let j be (-5 + (-62)/(-10))/(56/370). Let i = j + -995/126. Suppose 0 = z - 4*z. Is i not equal to z?
True
Let l be (-42)/(-28) - (-321)/18. Which is smaller: 3 or l?
3
Suppose 0 = -4*u + 2*x + 32, -4*u - 5*x = -5*u + 26. Let h(r) = r**2 + 13*r - 5. Let f be h(-14). Which is smaller: f or u?
u
Let d = 38 + -38.2. Does d = -1/207?
False
Let m(g) = 2*g. Let o be m(-1). Let q = -37 - -49. Suppose 3*l + l = q. Is l not equal to o?
True
Let r be (-3)/4 - 1/2. Let b(c) = -c**3 + 11*c**2 - 14*c + 17. Let m be b(10). Let t = -24 - m. Which is smaller: r or t?
r
Let z = 356 + -355. Is 0.0365 > z?
False
Let k be 9/(-69)*(4 + (-308)/(-21)). Is -3 at most as big as k?
True
Let q(j) = -j - 10. Let s be q(0). Suppose d - 2*d = 30. Let o = d + 19. Which is smaller: s or o?
o
Let u(s) = s**3 + 3*s**2 - s - 3. Let q be u(-3). Let w = q + -32. Is 0 < w?
False
Let k(h) = -h**3 + 10*h**2 - 27*h + 39. Let f be k(7). Which is smaller: f or -39/16?
f
Let a = 0.0676 + 412.9324. Which is smaller: -1 or a?
-1
Let p(b) = 3*b**2 - 21*b - 3. Let c be p(5). Which is bigger: c or -30?
-30
Let w be (-18)/20 + 1/2. Let y = 0.28 + -0.37. Which is smaller: y or w?
w
Let c be 5/(180/(-28)) - 4/18. Does 14 = c?
False
Let q = 40 - 3. Let y = q + -18. Let x = -18.6 + y. Does -4 = x?
False
Let i be -4*2/28 + 16/(-91). Let v(y) = 2*y - 3. Let g be v(2). Which is bigger: g or i?
g
Suppose -5*b - 5*c + 45 = 0, b + 3*c + 0*c = 3. Let j(f) = 3*f - 34. Let h be j(b). Is 13 smaller than h?
False
Let l be (-2)/(-1) - (24 + -25). Suppose -2*f + 5 = n, 0*n + l*n = -4*f + 7. Which is greater: 9 or n?
9
Let s = -0.261 - -0.161. Is 216 greater than or equal to s?
True
Let o be (-6)/((-840)/6575) + (-4)/(-14). Is 47 < o?
True
Let l = -66 + 52. Is l greater than or equal to -20?
True
Let q = -2 + 4. Let k(z) = -11*z - q + 3 + 9*z. Let m be k(-4). Which is smaller: m or 10?
m
Suppose 0 = -11*h - 362 - 606. Is h not equal to -86?
True
Let x be 4 - -1*9/(-3). Let g(k) = -k**2 + 7*k. Let j be g(6). Suppose -y - j*y = 7. Is x < y?
False
Let o(n) = 3 - 3*n**3 + 4*n - 2*n**2 + 7*n**3 + 0*n**3. Let p(j) = j**3 - j**2 + j. Let d(v) = o(v) - 5*p(v). Let k be d(3). Which is bigger: k or 3/11?
3/11
Let x = 126929283/2345 + -378898/7. Let j = x + 4/67. Is 0 at least j?
True
Let g = 2 + 6. Let p(l) = -2*l + 11. Let m be p(g). Suppose 4*j - 9 = 2*t + 5, 3*t = -15. Is m <= j?
True
Let j(h) = h**2 - 2*h + 2. Let y be j(2). Let t = 81137/52935 - -2/3529. Let x = t - 1/5. Do x and y have the same value?
False
Let r = 473 - 130. Which is greater: 344 or r?
344
Let a = -90.2 - -94. Let g = 5/14 + -6/7. Is a less than g?
False
Let c(i) = -3*i**2 + 5*i - 4. Let p(f) = 8*f**2 - 14*f + 11. Let t(z) = 11*c(z) + 4*p(z). Let a be t(-1). Is a >= 2/7?
False
Let x be (-5)/(5126/(-1023) + 5). Which is smaller: 466 or x?
x
Suppose -5*b + 4*q - 876 = 0, 0*q - 5*q - 357 = 2*b. Let m be 2/(-8) + (-12)/b. Is -2 greater than or equal to m?
False
Suppose -136 = -0*c - 4*c. Let w = c + -50. Let o be (-8)/w*(-8)/(-10). Are 0 and o non-equal?
True
Suppose 0 = -20*t + 206 - 12366. Which is smaller: t or -607?
t
Let z be (6/(-15))/(396/(-150)). Let p = z + -101/231. Which is greater: p or -12?
p
Suppose 0 = -6*n - 104 + 110. Is n equal to -2/1791?
False
Let q = 0.0303 + -1.4303. Is q < -1?
True
Let b = 17 + -28. Let m = 126 + -133. Which is greater: b or m?
m
Suppose -3*p - 14 = -4*p - 2*t, -3*p + 33 = -3*t. Let d = 225 + -217. Is p less than d?
False
Let m = 0.423 - 0.323. Are m and -1/34 nonequal?
True
Let b(z) = 2*z**2 + 2*z - 2. Let y be b(-2). Suppose -y*g = 40 - 14. Let q = 3 + g. Is -10 > q?
False
Suppose 2*d + 15 = -3*i, -2*i - 21 = 2*i + 3*d. Let z be (-3)/(i/2) + -16. Let r = 15 + z. Are -2/23 and r equal?
False
Let y = 61 + -76. Are y and -1/2 non-equal?
True
Suppose 4*s = 5*n + 11, 0 = 3*n + n - 4. Let w = s - 22/5. Which is smaller: w or 5?
w
Let q(c) = -11*c**2 + 30*c + 11. Let u(z) = -z**3 - z**2 - z - 1. Let m(x) = -q(x) - u(x). Let i be m(-14). Let r = -5 + 9. Are i and r equal?
True
Let k(t) = 9*t + 27. Let u be k(-7). Let d = -178/5 - u. Let v = 8 + -3. Which is bigger: d or v?
v
Let y be -5 + 510/(-65) + (-6)/39. Suppose 2*c = 4*r + 14, -c - 4*r = c + 26. Are y and c equal?
False
Let t(a) = a**2 + 11*a + 16. Let l be t(-9). Let i be (4 - (3 + l)) + 3. Suppose -c - 2*c = -18. Are i and c unequal?
False
Let l = -14.5 - -8.2. Let f = -6.6 - l. Which is greater: f or -1?
f
Suppose 4*w = 2*w. Let k = -36577/7 + 5224. Which is greater: w or k?
w
Let q = 20 - 20.28. Let z = q - -0.28. Is z less than or equal to -7?
False
Let g = -20 - -24. Suppose -2*a = -g*u - 22, 0 = 2*a + 2*u + 3*u + 5. Let x = 467/3 - 152. Which is bigger: a or x?
a
Sup