uppose o + 2*o = -2*f + 16, -2*f + 14 = 2*o. Suppose -3*h + 2*t = 194 + 82, -o*h + 5*t = 173. Is h greater than or equal to -93?
False
Let l = 6.8 - 7.27. Let p = 8804 - 8804.67. Let q = p - l. Is q bigger than -9?
True
Let h = -4.8273 - -0.8273. Is h equal to -83.9?
False
Let u = 10.508 + 0.492. Let n = u + -10. Which is smaller: -30 or n?
-30
Let y = 7 + -11. Let s = 7 + y. Let m = 397 - 1184/3. Which is smaller: s or m?
m
Let t be -1*(-13570)/(-90) - 7/(42/(-4)). Is t <= -1?
True
Let a = 15.8 - 19. Let g = -3.13 + -1.07. Let k = a - g. Is 3 smaller than k?
False
Let g be (-4 - 69/(-15))*-5 - -130. Suppose 115 = 6*q + g. Let d(p) = p**2 - 7*p + 6. Let y be d(4). Are q and y nonequal?
True
Let p = -472 + 170. Let t = 300 + p. Which is smaller: -10/13 or t?
t
Let a = 904/13 + -144731/2080. Is 0 less than or equal to a?
False
Let n be 15/80*(20/(-6) + 0). Let o be 1*(-28)/4*(-12)/14. Suppose 5 = y + o. Which is smaller: n or y?
y
Let y = -1/40 - 19/40. Suppose 2*k - d - 5 = 0, 4*k = -3*d - 3 - 2. Which is smaller: k or y?
y
Suppose -5*r + 2299 = -4*f, 6*r = r - 2*f + 2323. Let w be 462 - (((-11)/3)/((-143)/429) + (-60)/5). Is r <= w?
True
Suppose 5*b - 48 = b. Suppose 10 = -b*a - 50. Let g be 0 - (-50)/a*-1. Which is smaller: 6 or g?
6
Suppose n - 4*q - 236 + 40 = 0, -3*q = -4*n + 771. Let s = -191 + n. Which is bigger: s or -9?
s
Let l = 840691/71 + -11841. Which is smaller: 1 or l?
l
Let w be 4 + ((-2)/4)/(2/16). Suppose 104 = -i - 4*s, w = -6*s + 11*s + 20. Are -88 and i equal?
True
Let u = -5527 - -5513. Which is smaller: -39 or u?
-39
Suppose -22 = -j + 32. Suppose -52*i - j = -55*i. Is 17 greater than i?
False
Let i = 74.49 - 74.79. Which is greater: -0.85 or i?
i
Let c = -2 + 2. Let k = -48242/51 + 2842/3. Which is greater: c or k?
k
Let j = -52599 - -1314734/25. Is -9 > j?
True
Suppose 0 = 3*c + 9, 5*d + 2*c = 387 + 907. Suppose 32 - d = -19*b. Which is smaller: b or 14?
b
Let r = 3593 - 10777/3. Which is smaller: r or 1266?
r
Let r be ((-1)/(-3) + -1)/(-33 - 49455/(-1498)). Is -47 less than r?
False
Let j = -3579 - -3284. Is j at most as big as -293?
True
Let u be ((-5)/25*-5)/((-2)/(-320)). Suppose 0 = -f, -b + 8 - u = f. Is b at least as big as -152?
True
Let q = -60.39 + 59.39. Are 10/297 and q equal?
False
Let x = 846 - 916. Let f = 77.2 + -8.2. Let c = x + f. Which is greater: c or 5?
5
Let w = -18/18259 - -87254/162596395. Which is smaller: -1 or w?
-1
Let o(x) = -5*x**2. Let r be o(-1). Let z be 40/85*r/(-4). Let y = 4391 + -4390. Which is greater: y or z?
y
Let u be 2/1 - 1485/783. Let z = -154/87 + u. Suppose 4*x + 7 - 3 = 0. Which is bigger: z or x?
x
Let g = -1.83 - -1.63. Is g not equal to 0.2592?
True
Let s be (-48)/(-14) - 516/1204. Let j be (15/(-2))/(1/(-4)). Suppose -15 - j = s*x. Is x > -16?
True
Let v be (-119)/(-13) + (-18)/117. Suppose -39 = -j - v*d + 7*d, 5*d = 15. Suppose -15*i = -16*i - j. Is -31 smaller than i?
False
Let z = -5/114 - -449/7638. Let n = 409/1143 - 28/1143. Is n at most z?
False
Let u = -121 + 117. Let z = -35 + u. Is z less than or equal to -39?
True
Let s = 0 + 5. Suppose -s*t = -20 - 10. Let a be 4/14 - (-3)/(-14)*t. Which is smaller: -2/31 or a?
a
Let h = -38285243/2013 - -19019. Is h <= 0?
False
Let u = -163816/309051 + 110/207. Which is smaller: -1 or u?
-1
Let y be (-98)/35*(-1850)/407. Is y less than or equal to 12?
False
Let g = -932831/738 + 1264. Is 0 < g?
True
Let g = -8.061 - -8. Let o = g - -47.061. Let l = o + -48. Which is bigger: l or 1.5?
1.5
Let x = 19973 + -19968. Do 810 and x have different values?
True
Let l(c) = c**2 - 9*c. Suppose y - 17 + 22 = 0. Let n be l(y). Suppose -3 = -3*k, 0 = -3*t + k + n - 5. Is t at most as big as 23?
True
Suppose 46 = 5*k - 9. Let j = k - 6. Suppose 5*m - j*s + 130 = 0, -5*m + 0*s - 139 = -2*s. Do -29 and m have different values?
False
Let a(t) = -t**2 + 2*t + 4. Let b be a(3). Let j be (9 - 13) + (-2047)/(-5). Let d = 407 - j. Which is smaller: d or b?
b
Let y(c) = 11*c**2 + c + 1. Let g be y(-1). Suppose -q - 10 = 4*a, 25 = 8*q - 3*q - 5*a. Let k be q/((-33)/(-55) + 46/(-110)). Is g > k?
False
Suppose 13*d + 327 = 2056. Which is smaller: d or 130?
130
Let h(y) = -57*y - 111. Let c be h(-2). Let d(w) = -4*w**3 + 5*w**2 - 5*w + 6. Let j be d(c). Is -212/3 greater than j?
True
Let b = -45.837 + 42.837. Is 1731/8 less than or equal to b?
False
Suppose 184915 = -40*v - 77645. Do v and -6565 have the same value?
False
Let f = 3694/51 + -1236853/357. Let c = f + 3383. Do c and -8 have different values?
True
Let j(l) = -8*l**2 - 18*l + 14*l + 15*l. Let r be j(-3). Let d(a) = 3*a**3 + 4*a**2 - 7*a - 6. Let n be d(-4). Is r equal to n?
False
Let p = -5222.2 - -5222. Is 33 greater than or equal to p?
True
Let m be 60/(-210) - 18/(-28). Let w = -139/154 + m. Let d(y) = y**2 - 3*y - 2. Let u be d(3). Are w and u equal?
False
Let q = 1872 - 1875. Is 275 at most as big as q?
False
Let g = 250 + -226. Let x(o) = -9*o + 182. Let y be x(g). Is y at most -39?
False
Let a = -3590/1323 + 64/49. Which is bigger: a or -2?
a
Let r be ((-4)/(-3))/((-23)/(-414)). Suppose 2*j + 10*j = r. Is j greater than 33?
False
Let v = -1 - 57. Let r = 622 + -619. Suppose 39 = -h - 5*p, 0 = r*h + 6*p - 10*p + 193. Which is greater: h or v?
v
Let g = 0.076 - 35.076. Let a = -35.15 - g. Let y = a + 0.33. Which is bigger: -2/9 or y?
y
Let a(l) = -l**2 + 42*l - 50. Let i be a(26). Suppose 12 = i*u - 360*u. Which is greater: 32 or u?
32
Let g(n) = n**2 - n + 1. Let m(q) = -6*q**2 + 20*q - 12. Let b(f) = 5*g(f) + m(f). Let u be b(12). Let i be 3/(-16)*-4*(-10)/(-15). Is u smaller than i?
False
Suppose 0 = 2*z - 126 + 118. Let o be (2 - z) + (-7)/21*-9. Is o equal to 3/95?
False
Let v(x) = -2*x + 14. Let g be v(4). Suppose 2*m - g*m + 8 = 0. Let z be m + (710/(-405) - (-4)/(-18)). Which is smaller: z or -1?
-1
Suppose 44 = 14*t - 54. Let d be 38/3 + t/21. Let g = -2 + 4. Is d greater than g?
True
Let a = 5323 - 228891/43. Which is smaller: 2/13 or a?
a
Suppose -66*p - 4*k = -70*p - 24, -k = -4*p - 21. Which is bigger: p or -8?
p
Let c = -296 - 5240. Is c greater than -5537?
True
Let j be (13/(-4))/((-2)/16). Suppose 0 = 2*i - 5*y + j, 3*y = i + 4 + 8. Let m be ((-854)/21)/2 - (-3 + 0). Is m smaller than i?
False
Let d be 537/(-358) + (-1 - 6/(-4)). Is -3/2102 != d?
True
Suppose -1413 = 9*u - 7920. Let h = -763 + u. Let m be (-1)/((-83)/(-41) - 2). Does h = m?
False
Let o be (-8)/(-10)*6*55/(-132). Let b(n) = -79*n. Let f be b(-1). Let d = f + o. Is d <= 77?
True
Let a(c) = 4*c**2 - 16*c + 40. Let y be a(9). Let q = 5051/23 - y. Let p = -1120/2921 - q. Which is greater: p or -1?
p
Suppose -y + 10 = -n - 5*y, -4*n + 4*y - 80 = 0. Does 19 = n?
False
Let a = 0.164 - 2.164. Let k = 71 + -70.75. Which is smaller: a or k?
a
Let r = 169800/191 + -889. Let k be (-1)/1 + (-6)/(-4). Which is smaller: k or r?
r
Let s(h) = 5*h + 8. Let x be s(8). Let v be 50/(-15)*x/(-20). Let f be (6 + -2 - -1) + 4. Is v < f?
True
Let v be 30/(-20)*(-160)/(-36)*-3. Suppose z + v - 5 = -y, 2*y + 5*z = -36. Is y at least -15?
True
Let d = -18.02 - -15.1. Let h = -0.08 + d. Let y = h + 4. Is 6 greater than or equal to y?
True
Let l be 19 - 9 - (0 - 4 - 0). Suppose 4*u - l = q, q - 4 = -2*u + 6. Suppose -5*z = -4*d + 17, -q*d - 4*z = -6*d + 12. Which is smaller: -1/2 or d?
d
Let v = -7937 - -7137. Does v = 0.1?
False
Let y = 0 - 1. Let k = 0.007841 - -0.115159. Is y at most as big as k?
True
Let w = -2.0242 - 4.9758. Is -1530 less than or equal to w?
True
Let n = -0.39 + -12.61. Let u = n - -9.1. Let b = u + 3.9. Is b smaller than 0.01?
True
Let p = 63 - 63.304. Let u = p + 0.404. Is u equal to -45?
False
Let y = -98 - 150. Suppose 730 - 2714 = 8*z. Is z at least y?
True
Suppose -3*c - 16446 = -2*b, c + 127*b + 5516 = 122*b. Is -5484 at least as big as c?
True
Suppose 69*n - 95 = -26. Which is bigger: 3/1685 or n?
n
Let p(y) = y**2 - 17*y + 36. Let j be p(15). Suppose -2*x = -5*g - 21 + j, 0 = -2*g - x + 3. Let r = 0 + 0. Which is greater: r or g?
r
Let x(y) = 33*y + 6. Let v be x(-4). Suppose 81*w - 30*w + 2048 = 35*w. Which is greater: v or w?
v
Suppose -6*l - 7 = -25. Suppose -2*b - 250 - 159 = l*j, -2*b + 5*j - 385 = 0. Is -200 <= b?
True
Let b be 30/(3 - 0)*81/(-18). Let w be (-1)/(-5) - b/(-27). Let t = w - -