+ 4 = -3*y. Let g be ((-2)/(-8))/((-39)/(-624)). Suppose g*v - 14 = -5*i, y*i + 3 = 3*v + 8. Is -5/17 less than v?
True
Let b = -35.5 + 40.09. Let l = -5.29 + 4.7. Let u = b + l. Which is greater: -4 or u?
u
Let n = 2 - 1.26. Let i = 0.62 + -3.82. Let v = i + 2.2. Is n < v?
False
Let k = 77 - 55. Suppose 3*o + k = 1. Do o and -7 have the same value?
True
Let z(p) = -p**3 + 16*p**2 - 35*p + 97. Let h be z(14). Which is greater: 15/82 or h?
15/82
Let g = -7365 + 7502. Which is greater: -0.8 or g?
g
Let j = -8.472 + 7.972. Which is greater: -4577 or j?
j
Suppose 8*f + 0*f - 20 = 28*f. Is 3/1091 bigger than f?
True
Let v be ((-6)/9)/(2/(-3)). Let q be (-12)/15*(v - 6). Let h be 1*(2 - -1 - q). Is -2/23 > h?
True
Let l(t) = -13*t + 248. Let s be l(19). Is 56/39 bigger than s?
True
Let n be 2/(2 + 2)*(-4)/(-2). Let c be (-3)/(-12) - ((-94)/8 + n). Let y = 20 - 18. Does y = c?
False
Let r = 681.443 + -682. Let x = r - 0.443. Which is bigger: x or 41?
41
Let b = -2270 + 2362. Is b smaller than 93?
True
Suppose 3 = 3*u, -6*r + 5*u = 26 + 27. Let t be (-5 + 23)/(12/r). Is t >= -6?
False
Suppose -4*m = -m + 6. Let s be (m/(-4))/(2 - 0). Let d = 7194 + -7174. Is d greater than or equal to s?
True
Let y = -0.6 - -3.6. Let x(a) = 11*a - 104. Let z be x(10). Let w be (10/75*5)/(1/z). Are w and y nonequal?
True
Let t(j) = j**2 + 155*j - 635. Let h be t(4). Let v(u) = -1342*u + 2. Let p be v(2). Let b = -345976/129 - p. Which is smaller: b or h?
b
Let n(c) = -c - 1. Let s be n(0). Let u be (-4)/10*-4 + (-16)/(-40). Let v be (-2 - (-11)/5)*(u - 0). Is v at most s?
False
Let v(a) = 89*a**2 + 3. Let z be v(-3). Let y = 3183/4 - z. Which is smaller: y or -8?
y
Let n = -1084 - -1085. Which is smaller: n or -6/767?
-6/767
Let g = 424 - 421. Suppose -3*z = -12 - 0. Let d be ((-8)/(-9))/(z/14). Are d and g equal?
False
Let t = -10296 + 8658935/841. Let v = -3371/5887 - t. Are 2/71 and v equal?
False
Let t = -1297/455402 + 1/10445. Which is smaller: t or 1?
t
Let p(l) = l - 1. Let v be p(-1). Let j = 2174210294841/23540 - 923623761/10. Let x = j + 3/2140. Is x at least v?
True
Suppose 7*a - 5*j = 2*a + 1555, -5*a = -3*j - 1549. Let s = a - 225. Let f(u) = -25*u + 7. Let r be f(-3). Is s at most as big as r?
False
Let i = 0.265 + 42.735. Let x = -67.3 + i. Which is greater: 0 or x?
0
Suppose -1649 = 8*j + 3791. Which is bigger: j or -679?
-679
Suppose 4*f + 118*t - 9334 = 116*t, -5*t - 9299 = -4*f. Is 2332 < f?
False
Let i = 673 - 672. Is -5951 equal to i?
False
Let t = -19697 + 19668. Which is smaller: t or -0.024?
t
Let l = -240 + 394. Suppose -8*m = -m - l. Let s(q) = q**3 - 23*q**2 + 24*q - 30. Let i be s(m). Which is greater: i or 15?
15
Let z = 22 - 11.4. Let v = 15 - z. Let a = -4.1 + v. Which is greater: -0.9 or a?
a
Suppose 4*a + 13372 + 32628 = -21*a. Is a less than or equal to -2/15?
True
Let y(p) = -3*p**2 - 57*p + 1385. Let t be y(14). Let h be 2/(-3) + 91771/(-129). Let k = h + 712. Which is smaller: k or t?
t
Let l be (-1160 - 1)/(-1 + -5*5/(-5)). Which is bigger: -291 or l?
l
Let m = -12 - -83/7. Let i = 107.224 - -9.716. Let g = i + -117. Which is greater: g or m?
g
Let o be ((-68)/(-25) + 0)/(8/(-20)). Let m = o + 753/110. Is m at most 0?
False
Let z = 528 - 531. Which is bigger: 31.9 or z?
31.9
Suppose 0 = -5*w - 3*i + 84, -3*w - 3*i - 2*i + 60 = 0. Suppose -4*q + 11 = -w*q. Which is smaller: -2/419 or q?
q
Let m(h) = 60*h - 7019. Let t be m(5). Is -26871/4 smaller than t?
False
Let z = -20613 + 20482.2. Which is bigger: -1/7 or z?
-1/7
Let h be 5658 - (1 + -13 + -3). Is h greater than 5673?
False
Suppose 2*k - 200 = -2*h, -3*k - 289 = -3*h + 29. Let t = -139 + h. Are -37 and t unequal?
True
Let l = 35 + -30. Suppose -4*c = -k - 8, -4*c + l*k - 3*k = -8. Let d be 7 + -5 - 1/(c/4). Do d and 12 have the same value?
False
Let t = 0.29 + -2.19. Let w = t - -1.941. Is 2/9 != w?
True
Suppose -2*k + 5 = 3*j, 6*j + 5*k = 11*j - 50. Let p = 66 - 98. Let u = 26 + p. Is j bigger than u?
True
Let m = -4611.9 - -4612. Which is smaller: -0.1548 or m?
-0.1548
Let t(q) = 3*q**2 + 10*q + 9. Let b = -286 - -279. Let s be t(b). Is s less than or equal to 88?
True
Let w be ((-1)/10)/(8/(320/(-4))). Suppose 8 = -5*b + 2*y, -2*b - 4 = -b - y. Suppose b = 3*t + 3*n + 15, 0*n - 3 = n. Is w greater than t?
True
Let k = -199 - -202. Let l be ((-1)/(-2))/(k/5). Suppose -5 = -5*b - 0*b. Is l less than or equal to b?
True
Let n(z) = -4*z**2 - 11*z. Let j be n(-4). Let q be (-6816)/28 + j/35. Which is smaller: -242 or q?
q
Suppose -12*x - x = 780. Let r be 2/8*15/(x/16). Let h be ((-2)/(-94))/((-1)/2). Is r at most as big as h?
True
Let q be 419/4 + 6/24. Let g be (-7)/(q/10)*2898. Let l = -36696/19 - g. Is l greater than 2/3?
False
Let m be (-444)/(-370) - (-37544)/(-31270). Which is smaller: -1 or m?
-1
Let k be (-3179)/55*(-6)/(-2). Let f = 173 + k. Which is bigger: f or 1/13?
1/13
Let i = -17616 + 20094. Is i greater than or equal to 1/2?
True
Let w(h) = h + 1. Let m = 28 + -30. Let t be w(m). Let j = -41 - -42. Is t at most j?
True
Let s(b) = b**3 + 7*b**2 - 7*b + 10. Let k be s(-8). Let g(h) = -h**3 + 11. Let l be g(0). Suppose k = -l*x + 13*x. Are 2/71 and x unequal?
True
Suppose 2*u - 8 + 2 = -3*s, -10 = -3*u - 5*s. Let l be (3 - (u + -89)) + (-12)/4. Let x = 99 - l. Is x < 11?
True
Let i = 61984 + -37624. Is i >= 24360?
True
Let q = 204.586 + 0.414. Let b = q + -204.9. Which is smaller: b or -3/11?
-3/11
Suppose -4*n = -3*y - n + 27, -n - 45 = -4*y. Let z(b) = 17*b + 171. Let c(j) = 86*j + 856. Let q(r) = 3*c(r) - 16*z(r). Let v be q(-13). Is v at least y?
True
Let r be 2/((4 - 5)/(-2)). Suppose -8*u + 4*u = -2*y - r, 1 = u + 5*y. Let g = -6/17 - -297/697. Is g at least u?
False
Let w(g) = -372*g - 4462. Let u be w(-12). Is 60/19 bigger than u?
True
Let v be (3 + (2 - -5))*2/5. Suppose -4*x = d, -4*d - v*x = -d - 8. Suppose 3*p = -0*p, -d*p - 24 = 2*h. Which is bigger: h or -10?
-10
Let i = 2916.159 + -2916. Which is smaller: i or -4?
-4
Suppose -138 = -p - p. Let c be ((-1)/(-4))/(p/4). Suppose 385*r - 369 + 936 = -182*r. Is r not equal to c?
True
Let b be ((-4)/(-165))/(5/1150*6). Let t = b + -10/9. Is 2/29 >= t?
True
Let z = 42 - 30. Suppose 7*k + 5 = z. Suppose -3 = -n + 2*w + k, -4*n = -w - 9. Is n smaller than 9/11?
False
Let a = -80.16 - -79.9. Which is greater: -4.07 or a?
a
Let f(q) = -2*q + 22. Suppose 22 = 2*s + 4*w, 4*w + 0*w - 7 = s. Suppose -2*t = 0, -s*j - 3*t = -j. Let g be f(j). Is 22 < g?
False
Let x(z) = -z**3 + 5*z**2 + 7. Let j be (-14)/(-3) + (-2)/(-6). Let w be x(j). Suppose 90*p = 605*p - 3090. Is p at most w?
True
Suppose 21*z - 93 = -10*z. Suppose -25*b = -22*b + z. Is b bigger than -2/411?
False
Let u = -309 + 13286/43. Let i(m) = -m**3 + 6*m + 1. Let o be i(-4). Suppose 5*y + 9*s = o, -4*y - 7 - 5 = -4*s. Do u and y have the same value?
False
Let b = 72475/3 + -24158. Let n be ((-1 - -2) + -2)/2. Is b != n?
True
Let r(y) = -y**3 - 4*y**2 + 64*y + 402. Let f be r(-8). Which is smaller: 6/47 or f?
6/47
Let b be (-2)/(3 - 14/6). Let x(g) = g + 4. Let j be x(b). Let q be j*(-2 - -1)*1. Which is bigger: q or -4?
q
Let b(r) = r**3 - 8*r**2 + 11*r + 8. Let n be b(6). Let h be (-2 - 2)*195/(-988). Which is smaller: h or n?
h
Let d = 3 + 1. Suppose -w = -2*t - 18, -5*w + 0*w - d*t = -48. Let v = -5287 - -5289. Which is bigger: w or v?
w
Let r(d) = -2*d**2 + 25*d - 52. Let x be r(9). Suppose 476 = -25*m + x*m. Which is bigger: -98/3 or m?
-98/3
Let q = -4882802517 + 106093532943481/21728. Let f = 1/3104 + q. Are -6 and f non-equal?
True
Let w(y) = -48*y + 20*y - 3 + 17*y. Let x be w(-1). Let l be x/(-6)*(-66)/(-36). Does -1 = l?
False
Let l be -7 - -3 - (-1698)/378. Let h = l + 1/126. Do h and -26 have the same value?
False
Let h be (1464660/(-63))/20 + (-3)/(-7). Which is smaller: -1161 or h?
h
Let y = 12813/2 + -7410. Is -1004 equal to y?
False
Suppose 2*t + 5*u + 17 = 101, 0 = t - u - 49. Suppose -3*d + t = 2*a, -11*a + 12*a - d = 16. Which is bigger: a or 3?
a
Suppose 16*f - 17*f = -36. Suppose -z = -f + 35. Let a be (z/29)/((-3)/18). Is a greater than or equal to -1?
True
Let r(b) = b**2 + 4*b + 6. Let w be r(-5). Suppose -67*c + 75 + 149 = -111. Which is bigger: c or w?
w
Suppose 1 = -v - 0. Let h(j) = j**3 - j**2 - 6*j + 4. Let p be h(3). Let