3 + -43. Let h be (-10)/(-36)*8/l. Which is smaller: i or h?
h
Let i = 33 - 21. Suppose 5*u + i = -8, -5*c + 2*u = 12. Let f be 11/((-3)/2 - (-18)/(-12)). Which is greater: c or f?
f
Suppose 0 = -1700*k + 1705*k - 1645. Is 329 at least as big as k?
True
Let d be (1*2)/((-9 + 16)/35). Is 18 > d?
True
Suppose 113 = 5*g - 3*w, -w - 1 = -0*w. Suppose -89*s = -91*s - 330. Let y be 7/s - g/(-165). Which is greater: -1 or y?
y
Let h be (((-6)/(-3))/(-88))/(369/984). Let w(l) = l**2 - 7*l + 6. Let r be w(6). Which is greater: h or r?
r
Let c = -1.5 - -6. Let h = -3.9 + c. Which is bigger: -1/4 or h?
h
Let x = 129 + -237. Do x and -106 have the same value?
False
Let s be -1*304097/132 + 180/990. Let d = 2305 + s. Which is smaller: 1 or d?
1
Suppose 19 = 2*u + 13. Suppose 5*n - u*n + 27 = d, -4*d - 24 = 3*n. Let q(y) = 5*y - 1. Let k be q(-2). Which is smaller: n or k?
n
Let h(b) = -b**3 + 2*b**2 + 23*b + 35. Let q be h(6). Which is smaller: 22 or q?
22
Let u = -14.39 + 14.49. Which is smaller: u or 0.0463?
0.0463
Let u = -166 - -438. Suppose -8 = 4*v, -u = 3*f + 2*f + v. Let n be (-2)/9 + (-12)/f. Which is smaller: n or 4/5?
n
Let j be (1 - -14)*4/12. Suppose -4 = -j*p + 3*p. Suppose -5*g + 3*b + 17 = 0, g - 10 = -p*g + 2*b. Which is bigger: g or 3?
g
Let z be (-123)/2*8/(-6). Let s = z - -38. Let o be 85/s + (-1)/3. Which is bigger: 1 or o?
1
Let g be (11/4)/((-430)/40). Let x = 2059/8385 + g. Is 0 less than x?
False
Suppose -2*r - 3*r + 64 = -4*g, 5*r = 2*g + 62. Suppose 0 = -5*s + 75 - 20. Is r less than or equal to s?
False
Let k = -1 - 1. Let i = -33 + 50.6. Let z = 18 - i. Which is bigger: z or k?
z
Let u(s) = 2*s**2 - 63*s + 17. Let l be u(30). Which is greater: l or -74?
l
Let l be (-12)/15 - 17388/(-17685). Is l smaller than -1?
False
Let u = 59 - 70. Let i = -5 - u. Which is greater: i or -0.4?
i
Let p be ((-6)/16*2)/((-15)/8). Is -18 > p?
False
Let m = -1189 - -1189. Which is smaller: 128 or m?
m
Let w(l) = -l**3 - 5*l**2 - 5*l - 5. Let m(d) = d**2 - 8*d + 3. Let g be m(7). Let f be w(g). Let u be (1/(-49))/(5/(-10)). Is f at most as big as u?
True
Let c be 939/1020 + 2/(-8). Let g = -8/17 + c. Let u = -19 + 19. Which is smaller: g or u?
u
Suppose 4*s = 5*b - s + 95, -3*b = -2*s + 60. Is b != -34?
True
Let o = -3 + 8. Suppose 0 = -o*t - 4*i - 24, 0 = -2*t - 2*t - 4*i - 20. Is -6 at least as big as t?
False
Let y = -150 + 320. Suppose -3*o + y = -8*o. Let m be 3/(-6) - o/4. Is m >= 8?
True
Let n = 1330 + -10647/8. Which is bigger: 3 or n?
3
Let z(o) = -o - 9. Let k be z(-1). Are k and -13 nonequal?
True
Let d = 58/12769 - -64470275/89383. Let p = d + -723. Which is bigger: p or -2?
p
Suppose -113 = 10*r - 14*r + 3*t, -r - 5*t + 34 = 0. Are r and 35 non-equal?
True
Let f(j) = -j**3 + 9*j**2 - 3*j - 3. Let n be f(8). Suppose -31 = -3*z + q, 0*q = 5*z + 2*q - n. Let o = -5.2 + 6.2. Is o bigger than z?
False
Let o be (-784)/(-10) + (-2)/(-10)*-2. Let r = 392/5 - o. Which is smaller: -1.4 or r?
-1.4
Let y(u) = -u - 1. Let v(h) = h. Let c(g) = 9*v(g) + 4*y(g). Let t be c(-4). Let x be 1/(((-1)/t)/1). Is 23 less than or equal to x?
True
Suppose s + 2 = -d + 1, -2*d - 3*s - 7 = 0. Let m(k) = k. Let r be m(d). Are 4 and r equal?
True
Let l(y) = -2*y + 1. Let z be l(-1). Suppose 5 = 2*q + n - z, 3*q - 5*n = -1. Let a be 1*((-11)/3 + q). Which is smaller: 5 or a?
a
Let y(v) = -v**2 + 20*v - 86. Let t be y(16). Which is smaller: -67/3 or t?
-67/3
Let j(c) = -c**2 + 10*c + 15. Let y be j(11). Suppose -y*n + 3 = 5*q, -6*n - 3*q = -n - 7. Suppose 0*o + 6 = n*o. Are o and 0.2 equal?
False
Let k(f) = -f**2 + 36*f - 133. Let r be k(30). Is r greater than or equal to 49?
False
Let i(c) = -14*c**2 + 79*c - 33. Let b be i(8). Is -295 greater than or equal to b?
True
Suppose -4*h + 5*t - 77 = -290, -3*t = 3. Is 101/2 bigger than h?
False
Suppose -5*a + 622 = -4*i + 217, 0 = 2*a - i - 159. Which is smaller: a or 75?
75
Let o(v) = -43 + v**2 - 36 + 84 + 7*v. Let i be o(-6). Which is greater: 4/59 or i?
4/59
Let u = 45 - 65. Let s = u - -20.15. Let v = s + -0.35. Do 6 and v have different values?
True
Let d = -0.35 + 0.05. Let t = -1.1 + 1.47. Let l = 0.17 - t. Which is smaller: d or l?
d
Suppose 105*o - 81*o = -168. Which is smaller: o or 7?
o
Let s be -4*3/414*1. Suppose 24*f + 542 = 566. Is f less than s?
False
Let j = 11531/28 - 412. Which is bigger: -1 or j?
j
Let w = 354.2 - 349. Do w and -5 have the same value?
False
Let l(b) = 2*b**2 + 7*b - 5. Let i be l(-4). Let w = -7/8 + 345/376. Are w and i equal?
False
Let w(g) = -14*g - 4. Let p be w(-2). Let n be p/16 + 14/(-16). Let l(v) = -v + 8. Let o be l(6). Is n <= o?
True
Let u = 194 - 307. Let f = u + 71. Let j = 25 + f. Is -19 less than or equal to j?
True
Let p(j) = -j - 15. Let f(m) = m**3 + 9*m**2 - 10*m - 15. Let u be f(-10). Let o be p(u). Is 1/56 < o?
False
Let t = -1303 - -1370. Which is bigger: t or 65?
t
Let c = 72/10385 + -2/155. Let n = c + 2367/3685. Let j(h) = h**2 - h + 1. Let i be j(0). Which is smaller: n or i?
n
Let k = 48 - 47. Suppose 3*t + 11 = -5*j, 15 = -2*j + 2*t + k. Is j greater than 1?
False
Suppose -3*f - 73 = -5*v, 2*f + 3*v + 31 = -5. Which is smaller: f or -3?
f
Let v = -1.2 + 1.44. Let h = 342 - 342. Which is greater: v or h?
v
Let l be 25 - (-3 - (-6 - -9)). Is -0.27 > l?
False
Suppose -16 = -46*u + 38*u. Are 43/4 and u equal?
False
Let d(q) = -10*q + 11. Let r be d(1). Are r and 30/79 equal?
False
Let f = 186/5 + -713/15. Let t = 14 + -24. Are t and f equal?
False
Suppose -7 = -4*w + 5*w. Let h be -8 + 207/27 + 46/(-6). Is h at most as big as w?
True
Suppose 0 = 3*j + 5*x + 11 + 22, 4*j + 21 = x. Let k be (-12)/(-8)*(-1)/j*76. Is 19 less than k?
False
Let c = -8 + 8. Suppose c = -3*u - 5*u. Let w be 34/38 + 0 + -1. Is w greater than or equal to u?
False
Let r = -7 + 6. Let t be (r - 38/(-10))*10. Suppose t = -2*k - 2*k. Is -7 less than or equal to k?
True
Let n = -42 - -41. Let c = 221 - 192. Which is bigger: n or c?
c
Let v be 2/(-2 - (-2 + 2)). Let z be (-1698)/1449 - 160/(-140). Which is bigger: z or v?
z
Let r = -5.33 - -5.63. Which is smaller: r or 1/14?
1/14
Let h = -3 - -13. Let n = h + -29. Are -0.2 and n equal?
False
Let p be (3/(-1) + 3)*2/2. Suppose p = 44*m - 43*m - 1. Is -1/20 > m?
False
Suppose 0 = 4*h + 4 - 16. Suppose -h*r = 4*x - 0*x + 9, 2*x + r = -3. Suppose a + 1 + 2 = x. Is -2/13 at least as big as a?
True
Let i(j) = -j**3 - 4*j**2 - 3*j + 1. Let v be i(-2). Suppose 119 + 124 = -3*b. Let s be b/18*(-1)/12. Is v not equal to s?
True
Let r = 10 + -25. Let b = r + 37. Let i = 22 - b. Which is smaller: -2/5 or i?
-2/5
Let u be ((-3)/(-2))/(27258/308). Let i be 2/(-4)*(1 - 1). Is i smaller than u?
True
Let t = 631.7 + -632. Let w = -2.97 - 0.03. Is t greater than w?
True
Let h(a) = -a**2 + 11*a + 12. Let v(k) = 6*k - 6. Let s be v(3). Let w be h(s). Let m = 0 + w. Are -5/17 and m nonequal?
True
Let b = 43 - 21. Let i be (126/(-24))/((-1)/(-4)). Let g = i + b. Does g = -1/28?
False
Suppose 3*k + 14 = 8. Let s be 0 - (6/(-9))/2*2. Is k at most as big as s?
True
Suppose -18*h - 12 = -19*h. Let f = -4 - -6. Let t be f/h - 6/36. Which is smaller: t or -2/7?
-2/7
Let t = 15 - 12. Suppose -k + 1 + 13 = -5*f, -t*f - 5*k = -14. Is -12/11 at most as big as f?
False
Let c be ((-94)/70 + 1)*10/27. Which is smaller: c or -1?
-1
Let k be 168/42 + (-30 - -2)*5. Does 2/5 = k?
False
Let d = 15/218 - 2411/36624. Which is greater: 1 or d?
1
Suppose 2*i = -9*i + 121. Suppose -5*s - 5*m - i = 9, -s + 3*m = -8. Suppose p + 9 = -2*p. Do p and s have the same value?
False
Let a be 12*((-4 - 2 - -5) + 5). Is a equal to 44?
False
Let w be 340/55 + 0 + (-8 - -6). Which is greater: 3 or w?
w
Suppose -28*n + 21*n = 0. Which is smaller: n or -20/21?
-20/21
Let n = 2711 + -1161. Are n and 1550 non-equal?
False
Let y = -97 - -96. Which is smaller: -4/127 or y?
y
Let j = 42508/5 + -8533. Which is smaller: j or -0.2?
j
Let k = -0.22 - -0.1. Let z = 0.23 + k. Suppose 18 = -14*w + 32. Which is bigger: z or w?
w
Let t = -182 + 182.99. Let j = -1.08 + t. Which is smaller: j or -4/3?
-4/3
Suppose 0 = -h + 1 + 4. Suppose -2*i + 7*i = 5, -28 = 3*w + h*i. Is w > -8?
False
Let l be 10/7 + (-264)/616. Which is smaller: l or 24/71?
24/71
Let n = 0.058 + -30.058. Let b = -29.9 - n. Let a be ((-2)/(-32