Which is smaller: -27 or n?
-27
Let x = 55 - 55. Are x and 8/373 nonequal?
True
Let z = 38/357 + -20/51. Let x = -581/5 + 115. Does x = z?
False
Let u = -128 - -3716/29. Suppose 20 = 5*d + 5*n, 0 = -7*d + 4*d + 3*n - 18. Which is bigger: d or u?
u
Let p = 6.29 - 5.89. Is -8/21 at least as big as p?
False
Let f(v) = 2*v**2 - v - 4. Let j be f(2). Let h be ((-34)/6)/(4/3). Let s = h + 4. Which is smaller: s or j?
s
Suppose -l + 22 = -2*t, 5*t + l = -3*l - 68. Let r be ((-8)/10)/(2/(-10)). Let k = -9 - r. Which is smaller: k or t?
k
Suppose -18*t + 361 = t. Which is smaller: 0.1 or t?
0.1
Let c = -142.621 - -0.621. Is c equal to -0.1?
False
Let s be (-7 - -1)/(-12) + 38/4. Suppose 4*l - 2*i = 6*l + 16, 5*i - 70 = 5*l. Let j = l + 23. Is s at most j?
True
Let v(l) = 13*l**2 - 1. Let i be v(-1). Let j be (3/i)/(5/20). Let r be 0/(3 + -2 + j). Which is smaller: r or -1/10?
-1/10
Suppose -219*d + 222 = -216*d. Which is smaller: 72 or d?
72
Let x = -191 + 185. Is x smaller than -1?
True
Let y(h) = -10*h - h**3 - 6 + 16 + 2*h**3 + 7*h**2 + 0*h**3. Let w be y(-8). Let k = 20 - w. Do k and -20/3 have different values?
True
Let z = 1842568/83 - 22200. Which is smaller: z or 0?
z
Suppose 0*x = -x. Let m be (609/(-70))/(1 + 116). Let w = m + -1/39. Which is greater: x or w?
x
Let z be (-10244)/3094 - (-4)/(-7). Is z <= -2/7?
True
Suppose 2*c + 0 + 4 = 0. Let r = -138 + 140. Which is smaller: r or c?
c
Suppose -3*s = -2*m + 106, -212 = -4*m - 6*s + 9*s. Suppose -2*r + 60 = -46. Is m not equal to r?
False
Let z = -28671/14 + 2049. Which is smaller: z or 0?
0
Let b be 111/(-510) + 5/(100/12). Is b greater than -1?
True
Let v = 14 + -9. Suppose b = 4*b + 3. Let k = b - -1. Is v > k?
True
Let b = -87 + 74.7. Let t = 10.3 + b. Is -1/5 < t?
False
Let i be 0 + (-2)/(-2) + 1. Let s be (-2300)/1165 + 0 + i. Let u = 795/3728 - s. Which is smaller: u or -1?
-1
Let q = -0.0798 - -23.0798. Is q less than -23?
False
Suppose 0 = -4*p - 0*p + 40. Suppose -3*t = -4 + p. Do -3 and t have different values?
True
Let z(f) = -f**3 + 11*f**2 - f - 5. Let l be z(11). Let n = -99 + 81. Which is greater: l or n?
l
Let m = -28.82 - -29. Let g = 0.82 + m. Let f = 5 - 3. Is g > f?
False
Let t = -2 - -2.2. Let z be 8/32 - (-30)/8. Let a be z/(-12)*(-6)/8. Which is bigger: a or t?
a
Let i = 3.9 + 1.3. Let s = 4.2 - i. Let z = -11 - -17. Is s at least z?
False
Let v be (3 + 22/(-30))*9. Is v not equal to 21?
True
Let v be (-1 - 1/1)*(-2 + 14). Let c = -24 - v. Is c < 2/35?
True
Let k = -0.65 - -0.75. Which is bigger: -87 or k?
k
Suppose -y + 2 = 4*w - 9, w + 5*y - 17 = 0. Let o be 9/(-6)*(9 + -7) - -4. Is w < o?
False
Let d = 254850205 - 42559858486/167. Let b = -753 + d. Let z = b + -157/835. Is z < 1?
True
Let g = -29 - 127. Let s = -140.6 - g. Let m = s + -16. Which is smaller: -2/11 or m?
m
Let k = 9916/889 - 38620982/3231515. Let x be 2/5 - 2928/7270. Let i = x + k. Is i >= 0?
False
Let h = -13/2 - -47. Let c = 39 - h. Which is bigger: c or -0.1?
-0.1
Let r(d) = -d**3 + 8*d**2 - 8*d + 10. Let n be r(7). Suppose m - 3*m + n*p - 184 = 0, 5*m + 5*p + 410 = 0. Let c be 10/(-45) + m/18. Does c = -3?
False
Let j(w) = -w**3 - w**2 + 2*w + 4. Let x be j(-3). Let s be 0/(-2) + 12 + 0. Suppose 2*v + s = x. Is -2/11 at most as big as v?
True
Let r = 627 + -635. Which is greater: -4/37 or r?
-4/37
Suppose -p = 2*q + 3, -p + 0*q + 2*q = -5. Suppose -p = -g - 4. Let t be 86/4 + g/(-6). Is 22 greater than or equal to t?
True
Let n be -1*1/((-3)/(-1)). Let c be 1/(5/(-45)*-3). Let i be c/18*(-1 - 0). Which is greater: n or i?
i
Let l be (-4)/22 - (-650)/2002. Let v be (-22)/(-6) + (-2)/3. Suppose -n - 2*x = 2*x + 21, 16 = -n - v*x. Which is smaller: n or l?
n
Let y = -0.05 - -0.03. Let a = 0.02 + y. Which is smaller: a or 1/9?
a
Let t = 1588678/5 - 319460. Let v = -1712 - t. Let w = -166/15 + v. Do w and 2 have the same value?
False
Suppose -5*q + 11 - 1 = 0. Suppose 10 = -2*d + 10. Suppose -g = 5*u - 3, 4*g + 2*u + d*u = 12. Which is bigger: g or q?
g
Let t = 122 - 159. Let y = t - -37.14. Is y > 0.3?
False
Let z(f) = -f**3 + 23*f**2 - 28*f + 51. Let p be z(22). Which is bigger: p or -242/3?
-242/3
Let w(b) = b + 7. Let x be w(-5). Suppose d = -3 + x. Is -4 at least d?
False
Suppose 3*z - 60 = 7*z. Let h = z - -17. Let b be h - (-6)/(-4 - -2). Is 0.13 != b?
True
Let g be (-45 + 46)/(((-2)/(-282))/(-1)). Which is greater: g or -143?
g
Let k(h) = h**2 + 8*h - 6. Let n be k(-9). Let g be 9/n + (-12 - -9). Is g < -2/69?
False
Suppose 3*w + 100 - 31 = 0. Suppose 9 + 61 = 14*i. Suppose -5*z = 8*u - 6*u + 119, i*z - 5*u = -105. Is w at least z?
True
Suppose 31 = -13*q + 44. Which is bigger: -3/34 or q?
q
Let t = 1 + 14. Suppose 4*k + 13 = -o, -2*o - 11 = -62*k + 65*k. Is t < k?
False
Let h(p) = -p**3 + 7*p**2 - 8*p + 16. Let i be h(6). Which is smaller: 2 or i?
2
Let d be (1/(-3)*0)/1. Suppose 2*k + 5 = 15. Suppose v + 3*q - 3 - 10 = 0, -3*v = -2*q + k. Which is smaller: d or v?
d
Let o = 1592.9 - 1593. Is o equal to -9.2?
False
Suppose 4*d - 4*f = 0, -3*f + 7 = 3*d + 1. Let p = -874795907/1870 + 467805. Let v = -2/935 + p. Which is bigger: d or v?
d
Let k be (21/9 - 5)/(28/174). Which is greater: -18 or k?
k
Let r be ((-54)/(-441))/((-8)/(-7)). Let j = r - 47/14. Is j greater than or equal to 0.1?
False
Suppose 0 = 319*p - 329*p. Is p at least -13/18?
True
Let d = 652 - 633. Is 58/3 smaller than d?
False
Let u = 320 + -320. Is u <= 0.72?
True
Suppose -5*w - 877 + 187 = 0. Let n = w - -688/5. Are -2/5 and n non-equal?
False
Suppose 5*s = -3*s + 648. Suppose 86*k + 20 = s*k. Let n(o) = -o**2 + 8*o - 5. Let y be n(8). Is k greater than y?
True
Let i = 1.81 + -52.81. Is i greater than or equal to 1/3?
False
Let k(z) = z**3 + 7*z**2 + 6*z - 6. Let d be k(-6). Let t = d + 1. Which is smaller: -6 or t?
-6
Let b = -2/147 - 17/294. Let n = -23 + 23.09. Let p = n + -0.19. Do b and p have different values?
True
Let p be 117/(-42159)*3/9. Is 0 less than p?
False
Suppose -237*q + 318 = -243*q. Which is bigger: q or -3?
-3
Let m = 149 - 148.6. Let b = 3.2 - 3. Is b at least m?
False
Suppose -d - 543 = 4*l + 501, 2*l = 3*d - 508. Which is smaller: l or -258?
l
Let v = 288 - 288. Let a = 5 + -1. Suppose -a*w - 17 = j, 0 = -4*j + 3*j - w - 5. Is v at most j?
False
Let p be 20/(-9)*12/(-24)*9/555. Suppose 4*r = r. Is p < r?
False
Let m = -29977 - -719629/24. Let v = -39/8 + m. Suppose -456*t + 1191 = -59*t. Which is bigger: v or t?
t
Let t be (-1*(-6)/9)/((-90)/15). Is t not equal to 0.3?
True
Let d = 0 + 1. Let b = 127703/24 + -5321. Are d and b nonequal?
True
Let f = 0.31 + -0.18. Let v = 0.12 - f. Let p = 9.99 - v. Which is greater: -2 or p?
p
Let n = 2 + 3. Suppose 3 + 22 = n*y. Let m be (-6)/y*(-280)/(-42). Which is smaller: m or -9?
-9
Let h = 0.19 - 0.39. Which is smaller: -1 or h?
-1
Let b be (4/(-24))/(9/12). Let r = -3334 - -180023/54. Let j = r - -8/27. Is j greater than or equal to b?
True
Let h be ((-148)/(-185))/((-2)/(-10)). Which is smaller: h or 2?
2
Let y be (-3)/(1/(-1)) - -6. Suppose -22 = -14*c + 12*c. Which is bigger: y or c?
c
Let t(y) = -45*y + 330. Let o be t(6). Is o less than or equal to 62?
True
Let q = -13/2007 + 8557/1940769. Is q equal to 1?
False
Let n be 9/(-3 - 0) - -11. Let u = n + -8. Let r be 18/63 + 78/(-77). Which is smaller: r or u?
r
Suppose 0 = 4*g - 4*p - 916, -p = -2*g - 3*p + 442. Let c be 3/(-5) - (-3760)/g. Let k = c - 16. Which is greater: k or 1?
1
Let v be -3*(-1)/5 - 486/10. Let x = v + 48. Which is greater: -4/31 or x?
x
Suppose 13*h - 8*h = 165. Is h < 29?
False
Suppose -2*n = -4*o + 4, -10*n = 3*o - 6*n - 3. Suppose -s - v - 2 = 0, 3*s - 6*v + 2*v - o = 0. Let f = 4.6 + -4. Which is smaller: s or f?
s
Suppose 6*j = -j + 70. Suppose 0 = -3*b, -p = b - 0*b - j. Do 10 and p have the same value?
True
Let q = 27 - 29. Let y = q + 1. Which is bigger: y or -26?
y
Let n = 149902/106155 - 89/63. Is n at least as big as -1?
True
Suppose 25 = -f - 5*c, -5*f - 5 = -5*c - 0. Let g be 3/f*15/(-321). Let r = g + 187/963. Which is bigger: -1 or r?
r
Let n be (-24667)/19533*1177/(-7). Let p = 10/2681 - n. Let r = 215 + p. Which is smaller: r or 3?
r
Let x = -18 - -19. Suppose 0 = c - 4*s + 1 - 4, 5*s = 0. Suppose 6 + c = 5*l + o, -2*o = 2. Which is smaller: x or l?
x
Let o(m) = m**