al to -326?
True
Let o be 6/14*3/6. Let f = -14 - -19. Suppose -5*a = -l + 6 + 3, 4*a + f = 3*l. Which is smaller: l or o?
l
Suppose -42*o = -40*o. Suppose 5 = -o*j - j. Which is smaller: j or -9/2?
j
Let s be 1358/3745 + 2/(-5). Which is greater: 0 or s?
0
Let b = -10 + 14. Let n = 284 - 285. Is b at least n?
True
Suppose 81*q = 80*q. Which is greater: 40 or q?
40
Let s(w) = -3*w - 5 - 3*w + 7*w. Let n be s(8). Is n smaller than -10?
False
Let t(x) = -6*x + 45. Let h be t(7). Suppose 4 - 4 = -h*v. Which is greater: v or 3/44?
3/44
Let n be (24/(-10))/(27/(-90)). Let g be n/(-12)*6/4. Let r be 1*(-1 - 0)*g. Which is bigger: -1/6 or r?
r
Let n be (4 - 858/30) + (-4)/10. Which is greater: n or -23?
-23
Let z = -1621 - -1838. Is z less than 1082/5?
False
Let i = 182 - 108. Let m = i + -74. Let q be (-6)/7*6/(-9). Which is greater: m or q?
q
Let w = -3 - -2. Let x = -1891 - -1891.13. Is w less than or equal to x?
True
Let z = 2227 - 291735/131. Let m = z - 137/393. Which is smaller: m or 0?
m
Let n = 301/15 - 59/3. Is n bigger than -122?
True
Let k = 9 - 9.3. Let y = -0.62 - k. Let t = -0.02 - y. Which is smaller: 0.1 or t?
0.1
Let q be (-3)/36*2 + 58/(-12). Which is bigger: q or -3/4?
-3/4
Suppose 69*f + 121 = 71*f + 5*h, 5*f = -3*h + 331. Which is greater: 72 or f?
72
Suppose -8480*c + 434 = -8473*c. Is 0.2 bigger than c?
False
Let z(q) = -q**3 - 8*q**2 - 9*q + 5. Let h be z(-7). Let t = h + -18. Is t equal to 3?
False
Let d be (-29 - 1)/(-5) + 27. Which is smaller: 34 or d?
d
Let h = -78 + 47. Is -30 greater than or equal to h?
True
Suppose 2*z + 231 = 3*c, -19*z + 16*z = -c + 357. Is z bigger than -119?
False
Let g(d) = 8*d + 4. Let z be g(4). Suppose 0 = 34*u - z*u + 8. Are 6 and u unequal?
True
Let u = 6 + 1. Let f = -7 + u. Let t be ((f + 0)*-1)/2. Which is greater: t or -2?
t
Let x = 0.0599 - 0.0799. Is 5 at least as big as x?
True
Let k(z) = -27*z + 12. Let d be k(-14). Which is smaller: 389 or d?
389
Suppose 2*r - 3*d = 932, -5*r + 4*d + 1299 = -1031. Is 466 less than r?
False
Suppose -k - 2*u = -279, -3*u = -4*k + 1357 - 274. Is 272 <= k?
True
Suppose 0 = -v + 2 - 1. Let r be (-2)/(-1) + v/(-1). Let t = 48 - 239/5. Is r less than or equal to t?
False
Let g = 147 - 148. Do 13 and g have the same value?
False
Let y = -9 + 5. Let b(d) = d**2 - 25*d + 22. Let z be b(12). Let g be (-2)/(-7) - z/(-28). Which is greater: y or g?
y
Let y be ((-2)/(-3))/(6/9) - 0. Let o = -674 + 23592/35. Which is bigger: o or y?
y
Let f = -0.168 + -0.062. Is 1/3 bigger than f?
True
Let s(k) = -4*k + 5. Suppose -9 - 7 = 4*o. Let r be s(o). Which is smaller: r or 20?
20
Let i be (-2)/9 - 1200/(-6615). Let c(t) = -t - 2. Let a be c(-4). Let g be (-2)/(-7) + a/(-7). Is g bigger than i?
True
Let c(g) = 10*g + g**2 - 11*g + 13*g + 4. Let z be c(-10). Let i = z + 26. Is 10 equal to i?
True
Let j be (0 + (-2)/(-2))*5. Suppose 4*v = -5*q - 352 - 233, -j*v + 3*q = 685. Let g be (-152)/v - (-2)/(-7). Which is bigger: 0 or g?
g
Let l be 148/(-16) - (-2)/8. Let x be (-2)/(-10) - 288/15. Let z = x - -11. Do l and z have the same value?
False
Let w = 39451/6 - 6537. Is 38 at most w?
True
Suppose 0*s + s = 4*p + 16, 0 = -4*s + 5*p + 75. Let o be (-2)/13 - (-56)/26. Suppose 0 = 2*z - 10, -3*z = g - 38 + o. Are g and s equal?
False
Let u = -21768343 + 2372663170/109. Let o = -912 + 121. Let y = o - u. Are y and 0 nonequal?
True
Let a = -186 + 161. Which is greater: a or -1/3?
-1/3
Let h(i) = i**2 + i - 3. Let k be h(-2). Let g be (1/(-2))/(k/8). Suppose -2*n - 16 = n + g*q, -4*n = -4*q + 68. Which is greater: -11 or n?
-11
Let j = -0.64 - -1.61. Let u = j + 0.03. Let q = 178 - 529/3. Which is smaller: q or u?
u
Suppose 3*p + 22 = -5*w, -11 = 3*w - 5. Let h be -1 - (201/69 + p). Which is smaller: h or -1?
-1
Let u be ((-9)/(-3) - 1)/(-2). Let l be 3*(-1 + 1 + u). Let v be 39/((-78)/4)*(-3)/(-2). Is v at least as big as l?
True
Suppose -4*j + 33 = -3*p, -3*p - 15 = 4*j - 6*j. Let b(h) = h**3 + 5*h**2 + 2*h - 1. Let r be b(-4). Do r and j have different values?
True
Let p be (-8400)/(-96) + 1/2. Which is greater: p or 90?
90
Let o be 1/(-3) + (-1380)/(-90). Is o less than or equal to -1?
False
Let z be 1/22*(88/(-33))/(-4). Is 1 smaller than z?
False
Let o = -17 + 25. Let g(f) = -3*f**2 + 3*f - 4*f**2 + 18*f**3 - o*f**3 - 11*f**3 + 16. Let r be g(-7). Is -5 not equal to r?
False
Let p be (2/116)/((-29)/8). Let m = -14337/8410 - p. Let b = 11/10 + m. Which is bigger: -2 or b?
b
Let f = 3.9 + -4. Let z = 0.973 + 0.027. Let m = z + -0.99. Which is smaller: m or f?
f
Let y(t) = -2*t**2 + 3*t + 3. Let m be y(3). Let j(x) = 5*x - 11*x**2 + 6*x**2 - 3 - 5 + 12*x**2 + x**3. Let v be j(m). Is -30/11 greater than v?
False
Let s be 27/(-36)*(1 + -25). Let l be 2/9 + (-4)/s. Is l bigger than 1/4?
False
Let a = 18 + -11. Suppose 11*c - 18 = 9*c. Let f be 6/c - 48/(-9). Are a and f non-equal?
True
Suppose 5*n + f = 90, f = 5*n - 43 - 37. Is n <= 17?
True
Let n be (355/(-17324))/(5/(-6)). Are n and 0 equal?
False
Let r = -1009 + 1592. Which is smaller: r or 582?
582
Suppose u + 4 = 3*o, -9*o - 5*u = -10*o + 20. Which is greater: 4/205 or o?
4/205
Let v be ((-14)/21)/((-2)/(-9)). Let l be v + (-18)/(-10) + 1. Suppose -c + 13 = -4*i, 5*i + 19 = 4*c - 0*c. Is l less than c?
True
Let v be 2365/(-110) + 10/4. Which is bigger: -22 or v?
v
Let s = -195676571/291510 + -2617/3555. Let x = 672 + s. Let a = x + 647/738. Is 1 != a?
True
Let r be 155 - 146 - (-1 + 10). Which is bigger: -2/771 or r?
r
Let r be 23 + 0 + 4*6/(-12). Let u = 37 - r. Are u and 16 equal?
True
Let a be 16*(-21)/30*-15. Does a = 168?
True
Let q(p) = -6*p**3 - 11*p + 4. Let v be q(-3). Which is greater: 791/4 or v?
v
Let b = 80 - 37. Let z = b - 33. Is z not equal to 2?
True
Suppose 0 = -3*a - 2*b - 730, -5*a + 0*b + 3*b - 1242 = 0. Let f = -5168/21 - a. Suppose 0 = -15*j + 51 - 36. Which is bigger: f or j?
j
Let r = -87 - -93. Is r > 12?
False
Let g = 2393/135 - 89/5. Which is bigger: g or -1?
g
Let z(s) = -2*s**2 + s - 17. Suppose 2*i + 4 = 4*x, x + 3*i = -i - 8. Let n be z(x). Is -17 bigger than n?
False
Let a be (3 + 0)/((-2)/6). Suppose -11*g - 67 = 10. Which is smaller: a or g?
a
Let p = 5.27 - -0.83. Let k = -7 + 13. Let r = p - k. Which is bigger: 2 or r?
2
Suppose -511 + 191 = 10*s. Is s <= 6?
True
Suppose 2*l + 3*d - 1424 = 0, 3*l - 5*d = 2876 - 721. Which is smaller: 714 or l?
714
Suppose 2*y - 4*y + 32 = -c, 5*c = -4*y - 90. Let s = 24 + c. Let i be 10/s + -2 - 8. Do i and -5 have the same value?
True
Let m(o) = 2*o**2 + 3*o - 4. Let q be m(-4). Let u = q + -10. Let d = u + -3. Which is smaller: 1 or d?
1
Suppose 0 = 24*o + 14000 + 11728. Is -1073 at most o?
True
Let a(t) = t**3 - 10*t**2 + t - 30. Let o be a(10). Is -19 greater than o?
True
Suppose 1 = -5*y + 21. Let a be (-64)/(-24)*51/y. Let x = 19 - a. Which is greater: -14 or x?
-14
Let w = 157/4 + -7057/180. Let z = 3 + -2.9. Which is smaller: z or w?
w
Let z = 998 + -1019. Is -1 not equal to z?
True
Suppose -8*r + 7 = -9. Is -1 >= r?
False
Let s = -4 + 7. Let k be (8 + -3)*(6 - 4). Suppose 5*v + k = -2*a + s, -3*a = 5*v + 3. Is v less than -3?
False
Let o = 1.5 + -1.32. Let t = 23.82 + -24.02. Is o != t?
True
Let b be -1 + 20 - (-12)/(-6). Let t = b - 11. Suppose -3*d - 3 = -2*q, t*q - 3*q + 2*d - 11 = 0. Which is bigger: 4 or q?
4
Let a = 34 - 11. Let v be (-10 + -20)*1/((-10)/8). Is v at least as big as a?
True
Suppose -18*m - 24 = 12. Is 4 >= m?
True
Let h = -159 - -143. Let t be (6/(-9))/((-2)/(-48)). Do h and t have the same value?
True
Suppose 0 = -v + l - 0*l - 840, v - 2*l = -838. Are -842 and v nonequal?
False
Suppose -8*n - 4*x + 37 = -3*n, -3*n = -5*x. Suppose -5*f = 20, 3*l - f = 2 + n. Suppose -l + 17 = 4*s. Is s bigger than 0?
True
Suppose 0 = 8*m - 6*m - 772. Let v = m - 43619/113. Is v >= 1?
False
Let m be 0 - 1*(2 + -1 - 1). Suppose -4*u - 47 = -0*u + 3*n, m = 5*u + 5*n + 65. Which is bigger: u or -7?
-7
Let i = 1 + -1. Let f be (4 + -3 - 5)*10/(-260). Which is bigger: f or i?
f
Let m(h) = -h - 6. Let q be m(10). Let i be (-8)/30*40/q. Let b = 13 + -19. Is i >= b?
True
Let g = 425 - 433. Let b(i) = 3*i + 17. Let n be b(-8). Which is smaller: n or g?
g
Let p(h) = h**3 - 12*h**2 - 12*h - 1. Let w be p(13). Which is smaller: w or 140/13?
140/13
Let