-8318/21. Are p and n unequal?
True
Let h = 3.023 + 20.277. Which is greater: h or -2?
h
Let a = -330 + 109. Which is bigger: 0.1 or a?
0.1
Let y be 0 + -1 + -1 - -3. Let r be y/(((-22)/(-1))/2). Suppose 11*t + 26 = 5 + 10. Which is smaller: r or t?
t
Suppose -5*a - 23 = -2*h, 3*h - 4*a - 7 = 17. Let w be ((-6)/h)/((-33)/110). Is 6 < w?
False
Let t = -170 - -1188/7. Is 0 <= t?
False
Suppose v - 4*p = 8, -39*p = -3*v - 37*p + 4. Which is smaller: v or -4/25?
-4/25
Let q = 11 + -13. Let b = -3 + 2.99. Let y = b - -0.01. Which is bigger: q or y?
y
Let d be 8/(-2) + 841/225. Let m = d + 1/25. Is m equal to -0.3?
False
Let t(d) = 11*d - 136. Let u be t(16). Do -6 and u have the same value?
False
Suppose -s = -4*x - 12, 102 = 4*s + 3*x - x. Suppose -2*u + 0*u - 16 = 0. Let g be 6/u + s/32. Is 3/14 greater than or equal to g?
True
Suppose -2*n = -4*n - 8. Let v be n/(-3) + 2 + -4. Suppose 3*p - 10 = d - 0*p, 2*d - 7 = -3*p. Which is smaller: v or d?
d
Let k = -10 + 10.3. Let n = 0.2 - k. Let f = -0.076 + -0.024. Does n = f?
True
Let w(a) = -2*a - 5. Suppose 0*f - 6 = -2*f. Let r(b) = -b**3 + 4*b**2 - 4. Let z be r(f). Let s be w(z). Is -14 at most s?
False
Let t = -3257/19 - -41927/76. Let x = t + -378. Let a = -27 + 28. Which is greater: a or x?
x
Let l(i) = i**3 + 5*i**2 + 2*i - 4. Let u be l(-4). Let m(n) = 0 + 6*n - 7*n + u. Let h be m(5). Which is greater: h or 3/7?
3/7
Let h(u) = -21*u - 313. Let v be h(-14). Which is smaller: 9 or v?
v
Let x = -1/338 + 85/169. Which is smaller: 766 or x?
x
Let h be (-93)/372 - (-13)/36. Is -3.8 less than h?
True
Let r be 37 + -134 - (1 - 1). Which is greater: r or -104?
r
Suppose 0 = g - 2*f - 2, -74 + 70 = 2*f. Which is smaller: g or -2/49?
g
Suppose -2*o + 7*o - 30 = 0. Let s be ((-3)/9)/1*(-24 + 0). Which is smaller: o or s?
o
Suppose 0*l + 3*l + 5 = 4*v, 4*v = 4*l + 8. Let d = -3 - l. Which is greater: 1 or d?
1
Let k be ((-45)/(-90))/(-10*(-3)/(-57)). Which is greater: k or -2?
k
Let h be (-2)/3*-3 + 0. Let j be 1 + 6/(-2) + 4. Suppose -h*a - j*a = -q - 73, a = -2*q + 25. Is a not equal to 0?
True
Let z = -316 + 314. Is -18 >= z?
False
Let v be (1 - (-123)/12)*24/33. Is 9 less than or equal to v?
False
Let c be (4 - (-624)/(-140))/((-44)/10). Is 1 greater than c?
True
Let o(h) = -h - 11. Let d be o(-11). Suppose d = m - 4 + 11. Suppose -b - 4*v = 20, 11 = -b - 0*v - v. Is b at least m?
False
Let q = -0.3 + -3.9. Let x = q - -5. Let z = x + -1.1. Which is greater: z or 2?
2
Let c be (-1)/(-3) - (-416)/(-78). Let t be (4/10)/(c + (-51)/(-9)). Which is bigger: 1 or t?
1
Suppose -2*q - 11*h + 7*h - 324 = 0, 2*q + 326 = -3*h. Which is greater: q or -168?
q
Let t(s) = -140*s**3 + 2*s**2 - 1. Let b be t(1). Let l = b - -697/5. Which is bigger: l or -0.6?
l
Let r = 2 + -1. Let h = 2/65 - -1026/455. Is h less than r?
False
Let m be (5 - 0)/(18/2). Suppose -4*d + 391 + 121 = 0. Let v = d - 127. Which is smaller: m or v?
m
Let f(h) = h**3 + 4*h**2 - 10*h + 4. Let i be f(2). Suppose 0 = -i*o + 5 - 13. Does o = 4/11?
False
Let b = -515 + 514. Is -4 at least b?
False
Suppose 5*h - 22 - 48 = 0. Suppose h*q - 6*q + 32 = 0. Which is bigger: q or -5?
q
Let g = -43 + 97. Let d be (g/45)/((-6)/(-40)). Suppose d*i - 11*i = -18. Is 6 smaller than i?
False
Let z = -190 + 219. Is z smaller than 141/5?
False
Let d = 1045 + -1088.1. Let z = 43 + d. Let o = 1 - -2. Is z at most o?
True
Let p(d) = 9*d**2 - 3*d + 3. Let x be p(1). Which is smaller: x or 31/3?
x
Let l(a) = -a**2 - 3*a + 4. Suppose 8*v + 13 = -27. Let m be l(v). Suppose 3*d + 2 = 2*z, -2*z - 9 - 1 = 0. Which is bigger: d or m?
d
Let x = 209 - 115. Let z = x - 84. Is z less than 12?
True
Suppose -4*r + 47 = 5*y - 50, 0 = 5*r - 2*y - 113. Suppose -g - 11 = q - 100, 3*q - 95 = -g. Suppose d - 2*b - 17 = 0, -4*d + 0*b = -2*b - g. Is d at most r?
True
Suppose -4*k - 1074 = 714. Is -447 < k?
False
Let s be ((-6)/(-5))/(4/20). Let l be s - -2 - 6/3. Which is bigger: l or 7?
7
Let z = 0.968 - 2.968. Let k(q) = -q**2 + 7*q. Let n be k(5). Is n smaller than z?
False
Let y = -71 + 79. Suppose 0 = -x - t + 11, x + 0*x = 4*t + 11. Which is greater: x or y?
x
Suppose -3*p - 19 = -7. Let t = p - -3. Let b = -913/3 + 304. Is b greater than t?
True
Suppose 0 = b - 14. Suppose -20 = -q + b. Which is smaller: q or 35?
q
Suppose -2*h = 3*d - 0*d + 40, -d + 2*h = 0. Are -8 and d non-equal?
True
Suppose g + g = 38*g. Is g greater than or equal to -30/29?
True
Suppose -2*d + 3*u = -15, 4*d - 2*u - 25 = -u. Suppose 4*a = 4*v + 20, -3*a - 4*v = 6 - 0. Let p be (d/(-10))/(a/5). Is p > -3?
True
Let u = -403424/165 - -2445. Which is smaller: u or 1?
u
Suppose b - 3*j - 45 = 0, j = 2*j + 5. Let q be -1*5*b/(-6). Suppose -22 = -2*v + 4*d, -3*v + 0*v + 4*d = -q. Are v and 3 equal?
True
Let v be (-2)/(-159) + (-16 - -16). Which is greater: -1 or v?
v
Let l = 8.9 + -9. Which is smaller: l or -40?
-40
Let l = -4/3 - -26/15. Let m(r) = r**2 + 6*r + 5. Let j be m(-5). Suppose f - 4*f = j. Which is smaller: f or l?
f
Let j(x) = 17*x**3 - 7*x**2 - 2*x - 7. Let p be j(-11). Let z = p + 117813/5. Let m = z + -103. Is 2 at least as big as m?
True
Let r be 9/(-12)*-2 + (-1)/(-2). Suppose 7*u + 16 = 11*u. Is r less than or equal to u?
True
Let q(t) = 2*t - 6. Let x be q(4). Suppose 0 = a - x*a - 4. Let d = 6 + a. Which is greater: d or 1?
d
Let o = -1 + 2. Let z = 2823 + -2823. Which is bigger: z or o?
o
Let v = 38 + -33. Let a(s) = -s**2 - s + 7. Let g be a(0). Is v <= g?
True
Let i be 15/2*(-28)/21. Let u(p) = p + 10. Let s be u(-7). Suppose s*m = -2*m - 50. Is i > m?
False
Let o(t) = t**3 + 7*t**2 - t - 7. Let p be o(-7). Suppose -5*n - 2*a - 94 = 0, 3*n - n + a + 38 = 0. Let i be n/24*2/(-8). Which is bigger: i or p?
i
Let f be 14/(-2) + 18/9. Let d be f/(-3) + -2 - (-16)/12. Is d > 0?
True
Let h = 254 + -239. Suppose 3*q = q + 18. Let p be 1 + q/h + 2. Which is greater: 3 or p?
p
Let d = 170 - 173. Do -20/7 and d have different values?
True
Let d = 2/879 - 596/4395. Let g = 3/161 + 629/805. Are g and d non-equal?
True
Suppose r = -2*r + 6. Suppose -4*f + 2*f - 3*w - 13 = 0, -r*f + 5*w + 27 = 0. Do f and -6 have the same value?
False
Let k be 88/2*-5*(-4)/20. Which is greater: 223/5 or k?
223/5
Let l(g) = g**3 - 20*g**2 - 25*g + 23. Let i = -96 + 117. Let a be l(i). Which is smaller: -1 or a?
a
Let n(z) = -4*z**2 + 8*z - 20. Let o be n(5). Is o >= -79?
False
Let m = -123603/25 + 23166/5. Let o = m + 311. Suppose -47 + 42 = -5*h. Which is bigger: h or o?
h
Suppose 1164*c + 4 = 1166*c. Which is bigger: c or 27?
27
Suppose -5*t - 4*b = 86 + 44, 0 = 3*t - 5*b + 41. Let p = 7085/9 + -787. Are t and p equal?
False
Let u = -2445 - -2432.97. Let a = 11.73 + 0.27. Let q = a + u. Which is bigger: 0 or q?
0
Let z = 1145762/217 + -5280. Is z > -3?
True
Let p = 2141 + -2131. Which is greater: p or -4?
p
Let p be 1*(-3 - 0) - 66. Let w be (p/(-15) - 4) + 1. Is -0.1 less than w?
True
Let t = 77 + -249. Is t greater than or equal to -173?
True
Let g = 1905 - 1915. Which is bigger: g or -62?
g
Suppose -13*d = -12*d - 9. Let s be 18/12*4/d. Let y be 0 - -2 - (-16)/(-9). Which is greater: s or y?
s
Let c = -12 - -17. Suppose u = -c*m - 258, m = 5*m + u + 207. Do -50 and m have different values?
True
Suppose -d = s, 5*s + 5 + 3 = 3*d. Does s = -1/9?
False
Let r = 24381/110 - 63/55. Are 220 and r equal?
False
Let a(x) = 27*x**2 + 4*x - 73. Let n be a(7). Is 1279 != n?
True
Let t = 65841/77 - 8925/11. Suppose 3*r + g + 131 = 2*g, -2*g - 2 = 0. Let i = t + r. Are i and 1 nonequal?
True
Let m be -7 - ((-124)/279 + 44482/(-6786)). Which is smaller: 1 or m?
m
Let j be (504/(-1023))/(-1 - 1). Let f = j - 2/31. Let a = 0.04 - 0.04. Which is smaller: f or a?
a
Let o(a) = -a**3 - 5*a**2 + 8*a + 15. Let c be o(-6). Suppose 187 = c*n + 61. Suppose 3*m - 4*m - 5*d - 44 = 0, -3*d + n = -3*m. Is -19 >= m?
True
Let c(r) = r - 7. Let l be c(7). Let n = -7973.94 - -8056. Let a = n - 82. Is a equal to l?
False
Let o = -1757/5 - -351. Which is smaller: o or 25.6?
o
Let l be (-27)/36*(-1 + (-4)/(-3)). Is 63 > l?
True
Suppose n = 5*n - 5*z + 23, 0 = -4*n - z - 5. Is -16/7 at most as big as n?
True
Let g = -1.48 - -1.1. Let l = 1.38 + g. Which is smaller: -24/5 or l?
-24/5
Let d be ((-185)/2)/(150/20 - 8). Do 184 and d have the same value?
Fals