 1 = -3. Suppose b*z = 4*r + 3, 0 = 4*z - 3*r + r. Which is smaller: s or z?
z
Let j(d) = -5*d - 24. Let h(z) = z**3 + 7*z**2 - z - 15. Let f be h(-7). Let s be j(f). Suppose 4*t = 2*t + s. Do 46/5 and t have the same value?
False
Let m = -163 + 180. Suppose -5 - m = 2*w - 5*z, 0 = -5*w + 5*z - 25. Which is smaller: -1/138 or w?
w
Let u be ((-2)/64)/((-235)/517). Is u less than or equal to 1/2?
True
Suppose -4*b + 20 - 36 = 0. Let h(l) = -l**3 - 4*l**2 + l + 3. Let k be h(b). Let v be -1 - (1 + 502/(-248)). Is v < k?
False
Let m be (-4)/((-1)/(-6)*-3). Let a = -5262 + 5261. Is a smaller than m?
True
Let d be (-528)/36 - 8/6. Let m be (-7)/(-448)*8 + (-1678)/d. Which is greater: m or 106?
106
Let g be (-529)/161*14/(-2) - (9 - 2). Let p be (2 - 2)/(1/(-1)). Suppose 0 = l - 2*i - 5, 3*l - 5*i = 20 - p. Is g < l?
False
Let s = 0.41 + 88.59. Let g = 176 - s. Let p = 85 - g. Is -40 greater than p?
False
Let q = -0.0589 - -83.8589. Let p = q + -78. Which is greater: p or -1?
p
Let y = -7954 + 7711. Is -224 < y?
False
Let k = 90 - 89.6. Let d = -67.7 + -0.3. Let j = d - -66. Is k not equal to j?
True
Let b = -7082/13 + 7367/13. Which is smaller: 22 or b?
b
Let s be 3/(-13) + (1 - (-3 - -3)). Let y(c) = -2*c - 30. Let t be y(-16). Which is smaller: s or t?
s
Let o = 0.0698 + -621.0698. Let f = o + 621. Let v = -1.1 - -0.92. Is f > v?
True
Let q = 18740 + -52609/3. Is q smaller than 1203?
False
Suppose -33*p + 55*p - 57*p = -210. Is 21.8 at most p?
False
Suppose 683 = -u - 2*k - 586, -4*k - 3815 = 3*u. Which is greater: u or -1278?
u
Let f = 7816 + -30845/4. Are 105 and f equal?
False
Let q = -18080 + 18149. Is -37 smaller than q?
True
Let x be (-576)/2592 + 1 + 13396/18. Is x at most as big as 741?
False
Let n = 373 - 236. Let c = 136.9 - n. Which is smaller: c or -47/4?
-47/4
Let w be (-1 + -2)*2 + 0 + -5. Let c be (-14)/(-21) + (-221)/21. Is w at most c?
True
Let y = 56.649 + -0.049. Let m = y + -23.4. Let x = 33 - m. Is 5 less than or equal to x?
False
Let h = -393 + 392.903. Let c = h - 1.903. Let w = 0.6 + -2.6. Are w and c unequal?
False
Let g be (-4 - (4 - 8))/(-1). Suppose g = -4*m, -6 = -v - 2*m + 2. Let y be ((-1)/v)/(-10 + 9). Are y and 1 equal?
False
Let j = -11 - -7. Let h be (-6)/(-129)*j/(-2). Suppose -64*z - 31727 = -31663. Is h != z?
True
Let l be ((-4)/3)/(4/30). Suppose 20 = 4*u + u. Suppose 0 = 3*q - 2 - u. Which is smaller: q or l?
l
Suppose 3825*m + 4446 = 3812*m. Which is smaller: 0 or m?
m
Let u = -156 + 152. Let o be (-5)/(-315)*-7*30/u. Is -4 at least as big as o?
False
Let g be -12 - (-1784)/22 - (-6 - -2). Which is smaller: g or 3/2?
3/2
Let l(q) = q**2 + 8*q - 9. Let t be l(-10). Suppose r - t = -w, -r - 2*w + 13 = -3*w. Let i be (-2 + 20/r + -1)*-13. Is i less than 16?
False
Let l = -12029/1815790 + 16/1697. Is 0 > l?
False
Let d be (2483/91 + -29)/(58/(-553)). Which is greater: d or 15?
d
Suppose -7*p = -5*p - 40. Suppose 5*y + u = 10, 2*y - 5*u + p + 3 = 0. Let i be 3/(-6)*(-1)/y. Do 17 and i have the same value?
False
Let s = -18 - -8. Let w = 11 + s. Which is greater: -3/20 or w?
w
Let p = -218 - -336. Let c = -117.9 + p. Is 8/31 at most as big as c?
False
Let y be -3 - -4 - -2*1. Let f(o) = o**2 + 2*o - 4. Let c be f(2). Let g be ((-12)/y)/c - -20. Is 1 less than or equal to g?
True
Let c be (159/(-2))/(1/2 + (-123)/164). Which is greater: 323 or c?
323
Let v = -32 - -59. Suppose p + 47 = 4*t - 2, v = 2*t - 3*p. Suppose t - 11 = r. Which is smaller: r or 8/23?
8/23
Let h = 3191.08 + -3191. Which is bigger: -342 or h?
h
Suppose 2*y = -4*h + 42364, 5*y - 1236 = h - 11805. Do h and 10589 have different values?
False
Suppose 4*w = 4*i + 872 + 724, -5*w + i + 2007 = 0. Are 403 and w non-equal?
True
Let r(m) = 12*m - 15. Let o be r(11). Let q be (-10)/(-8) + (190/8)/(-19). Suppose q = 11*z - 665 - 633. Is o greater than or equal to z?
False
Let l = 6 + 3. Let o = 159119 - 159111. Which is bigger: l or o?
l
Let k be (59/(-590))/((-3)/90). Suppose 0 = -3*q - q + 16. Suppose -k*c + 79 - 20 = q*x, -x = -c + 8. Which is smaller: 12 or c?
12
Let h be 2/8 + (-344)/(-32). Let i = -1718 + 1724. Let o be h/33*-1*i. Is o equal to -1.1?
False
Let r be 127/(-5842)*(-20)/(-45). Is -6/7 > r?
False
Let c be (6*-1)/(2 - 13/7). Let v = c + 289/7. Is -1 > v?
False
Let n be 3/2 + 51/(-6). Suppose 19*q = 22*q + 63*q + 66. Is q < n?
False
Suppose 7 = 5*u - 23. Suppose h - 4*o = u, 2*h - o + 6*o = 12. Let d = 626/15 - 182/5. Which is smaller: d or h?
d
Let v = 403 + -407. Let j be v/(-10) + 6241/(-20540). Is j equal to 1?
False
Let t = -51781 - -267138178/5159. Which is bigger: 1 or t?
1
Let a = -251 + 501. Let h be 7/(7/92) - 3. Suppose 0 = 7*o + a - h. Is -24 <= o?
True
Let v be (6/128*28/(-567))/((-12)/(-9)). Which is smaller: 1 or v?
v
Let v = 385 + -376. Let z = 19 + -5. Let n be (69 - 0)*z/105. Is v >= n?
False
Let b = 267723 - 3012151475/11251. Which is greater: -1 or b?
b
Suppose 2*a - 8 = -4*o, 42*o + 3*a + 2 = 43*o. Let k be (-4)/12 - 23/(-15). Is k at least o?
False
Let q = 4.2729 - -0.7271. Which is greater: q or 238.7?
238.7
Let a(w) = -w**3 - 4*w**2 + 3*w. Let s be a(-5). Let p be (s - 0)/(-5) - -50. Let x = -0.547 - -0.447. Which is smaller: p or x?
x
Let j = 238 + -120. Let a = -8107.2 - -8105.2. Is j smaller than a?
False
Let m be 5/(-2) - (-3)/6. Let t = -167241.59 - -167242. Which is smaller: m or t?
m
Let r = 0.303 + -0.638. Let l = -7.335 - r. Which is greater: 0.43 or l?
0.43
Let q = -1 - -2. Suppose 9 = 4*w + 1, w + 10 = 2*k. Let i be -3 + k - 1408/236 - -3. Which is smaller: q or i?
i
Suppose 9*o + 186 = 7*o + 5*s, 4*o + 4*s = -372. Let m = o - -97. Is m bigger than 14/3?
False
Suppose 0 = -17*l - 35*l. Which is bigger: 9/233 or l?
9/233
Let v be (-52)/(-4 - -2 - -1). Let m = 630 + -673. Let d = m + v. Is 6 greater than d?
False
Let t = 74 + -74. Suppose 5*r + 4 - 19 = t. Let g be 4 - ((-51)/(-39) + r). Is g != -1?
True
Let b(g) = g**3 + 21*g**2 - 47*g - 18. Let r be b(-23). Suppose 5*x + 7 = 4*k - r, 4 = -4*k + x. Which is smaller: -5 or k?
-5
Let c be (-315)/27 + 8 + 15/6. Is c at least as big as 2/97?
False
Let t = 1.2678 - -0.0982. Let b = 0.366 - t. Let h = -7.3 - -7. Which is greater: h or b?
h
Let j be (-58 - -36)*9*2/(-4). Let w = 100 - j. Is w not equal to -4/143?
True
Suppose 0 = -4*g, -g - 45 = -33*m + 28*m + 4*g. Let o be 4/(((-2)/22)/((-6)/34)). Which is smaller: m or o?
o
Let f = 128661 + -5403119/42. Let u = f + -85/6. Let p = 255 - 254.7. Is p equal to u?
False
Let r = -259 + 159.9. Let f = 99 + r. Which is smaller: f or -60/11?
-60/11
Let n = -9168.81 + 9169. Is n bigger than 105?
False
Let z be 5116/15*126/(-12). Let x = 3570 + z. Let j = x + 2963/265. Is j less than 1?
True
Let o be (-58)/(-7) - 2/7. Suppose -14*g = 84 + 56. Let u(f) = -f**3 - 10*f**2 - 2. Let w be u(g). Is o at most w?
False
Let r be (-1 - (-6)/7)*5. Let b = -231685 - -231651. Which is bigger: b or r?
r
Let t = -23 + 25. Let x be 50/6*(2 - (-1195)/(-605)). Let r = x + -3/121. Is t smaller than r?
False
Suppose -4259*s = -4219*s - 88840. Is s greater than 2221?
False
Let g = -386/3 + 129. Let a = -0.05 + -0.32. Let v = -0.65 + a. Is v at least as big as g?
False
Let t be -15780*((-36)/(-54))/1. Which is greater: -10519 or t?
-10519
Let p = 419 + -418.7. Are 1601 and p equal?
False
Let u = -2.4 + 0.4. Let c = u + 2. Let t be (8 + (-5)/10)*(-11 - -5). Which is greater: t or c?
c
Let f = -1016 - -1016. Let w = -2975/15457 + 8/41. Is f <= w?
True
Let s = 10 - -6. Suppose 4*g - 12 = v + 2*v, 3*v = 3*g - 12. Suppose -2 = -2*z, 4*b - 5*z - 57 - 2 = g. Is b < s?
False
Let h = 78382/103 - 761. Which is smaller: h or -2/5?
-2/5
Suppose -2*j - u - 3*u = -4, j - 3 = -3*u. Suppose 0 = 3*k + k - 2*q - 42, 0 = -k + q + 13. Let h be k/8 - (-2)/5. Which is smaller: h or j?
j
Suppose 0 = -5*r - 5*b + 5, -r + 8*b = 4*b + 4. Let z be (832/48)/(4/6). Let f be z/22 + (-2)/2. Which is smaller: f or r?
r
Suppose -1314 = -2*x - 7*x. Let a = x - 145. Do -2/63 and a have the same value?
False
Let u(n) = 1 - 7 - 26*n + 0 + 1. Let f be u(-1). Let g be (2/125)/(f/35). Which is smaller: g or 1?
g
Let r be 1/(-2) + (-3)/(-2). Let n be (4/50)/(102/2031). Let v = n - 31/25. Is v < r?
True
Suppose 3*p - 4*g = -p + 40, 5*p - g = 42. Suppose -10*b + 6*b = -4*q + 16, 4