. Suppose -3*z + 6 = -r. Which is greater: 26/7 or z?
26/7
Let m = -74.3 - -31. Let d = m - -47. Let o = -28.9 + 29. Is o equal to d?
False
Let r be -1 - -1 - (-2 + 0). Suppose c = r*c. Suppose 182*y + 65 - 23 = 224. Is y >= c?
True
Let u = 66691/10206780 - 4/12695. Let z = 30155/485616 - u. Let n = z + 1/151. Is n > -1?
True
Let n = -0.089 + 0.089. Let g be ((-4)/1580)/((-27)/(-90)). Is n <= g?
False
Suppose -85 = 6*s - 73. Let f be (s + (2 - 1))*(-38 - -15). Is f smaller than 19?
False
Let b be 6/9 + (4704/(-45))/8. Let d = -25 + 37. Let v = b + d. Is v at least as big as -3/8?
False
Let f be (-2)/(-3) + (-23664)/72. Let q = -1315/4 - f. Which is greater: q or -1?
q
Suppose 0 = -4*y, -c + 5*y - 2*y + 3 = 0. Does c = -10?
False
Suppose -u + 1566 = 8*u. Let c = u + -205. Which is greater: c or -26?
-26
Suppose r - 247 - 43 = 0. Let n = r - 285. Is -29 <= n?
True
Let f = -4231 - -4590. Which is smaller: f or -1?
-1
Suppose 0 = 5*b, -k = k + 3*b. Let o be -125 + (-25)/(k + -5). Let x = -156 - o. Which is smaller: -2/7 or x?
x
Suppose -z = -5*s + 12592, 3*z - 10104 = 3*s - 7*s. Is 2519 at most s?
True
Suppose -55591 + 52359 = -7*a + 3*a. Which is smaller: 807 or a?
807
Let o(s) = -2*s**3 + 13*s**2 + 10*s - 14. Let j be o(7). Let p(a) = 10*a - 82. Let d be p(j). Is -93/7 != d?
True
Let a = -2 + 1. Let y = 74529/4096070 - 1/74474. Is y < a?
False
Let x = -104 + 136. Suppose -33*m + x*m = 5. Let o = -1/77 - 3/11. Which is bigger: o or m?
o
Let w = 0.2487 + -0.3896. Do 4/9 and w have different values?
True
Let s = -53 + 4. Let h = 1091 - 1139. Let v = s - h. Is 8 less than or equal to v?
False
Suppose 0 = 2*y + 3*v - 12, 0 = -y - 2*v - 3*v - 1. Which is bigger: y or 95?
95
Let d(c) = -c + 6. Let y be d(6). Suppose 2*q + 156 - 156 = y. Do 12/23 and q have the same value?
False
Suppose -19*v + 113832 = 252095. Is v != -7276?
True
Let w be -3 - (0 - (-45)/(-1)). Let s(j) = -6*j**2 + j**3 - w + 42 + 3*j. Let c be s(5). Is -10 greater than or equal to c?
True
Let p be 17/(-19) + 0 + 1. Suppose 2*x + 620*k = 616*k + 82, 67 = 3*x - k. Which is smaller: x or p?
p
Let l(o) = -o**2 - 123*o + 2953. Let t be l(-143). Which is bigger: 191 or t?
191
Let c = 17 + -24. Let m be c/147 + (-2)/(-6). Suppose -i + i = -3*i. Is m smaller than i?
False
Let h = 9242 + -9416. Is -171 bigger than h?
True
Let m = 172.96 - 173. Let l be 4*10/4*(-30)/80. Is m less than or equal to l?
False
Let n be (-2)/(-4)*0/(-4). Suppose -5*f - 5*r = -0*r + 5, n = -2*f + 5*r - 2. Let d = 11941 - 11940. Is f < d?
True
Suppose -6*j = -3*j + 18. Let n be (1*j/(-51))/(4/(-22)). Let h = -139/136 - n. Which is smaller: 2 or h?
h
Let v be ((-6)/9)/(20/210). Let t(l) = l**2 - l + 1. Let a(g) = 23*g - 8. Let r(s) = -a(s) - 2*t(s). Let c be r(v). Which is smaller: c or 54?
54
Let b be 0 + 5/((-65)/(-2)). Let k be -1*(13023/1566 + -8). Let h = k - 1/58. Which is smaller: b or h?
h
Let n(v) = -v**3 - 7*v**2 - 14*v - 11 + 12 - 21. Let i be n(-5). Which is smaller: -3/482 or i?
-3/482
Let i be 5 + 3 + -2 + (-4 - 0). Let b(y) = 21*y - 5. Let k be b(i). Is k <= 35?
False
Suppose -p + 85 - 66 = 0. Suppose 3*x - 5 = 2*x - 3*w, 0 = 2*w + 10. Is x greater than or equal to p?
True
Let t(o) = -o**2 + 2*o - 2. Let n be t(1). Let z be 1*n*(-3 + -1). Let w be z - (-2 + (3 - -4)). Which is bigger: w or -3/17?
-3/17
Let j = -4 + 4.113. Let q = j - 0.613. Is q != -18?
True
Let s(d) = 2*d**2 + 19 - 48 - 39. Let y be s(6). Is 44 at least y?
True
Let k = 12989 + -21127. Which is smaller: -2/3 or k?
k
Let z = 135 - 93. Let d = -0.025 + 45.025. Let v = d - z. Is -2/5 equal to v?
False
Suppose 8*o - 985 = 2735. Suppose 3*s - 18*s = o. Is s at least as big as -28?
False
Let g be 141/(-141)*8/5. Which is smaller: 14 or g?
g
Suppose 2*j = -3*z + 1 + 4, -3*z - 2 = -5*j. Let m be (j/(-47))/(-2 - -3). Let x = 1292/1605 - 130/321. Is m less than x?
True
Let u(k) = -2*k**2 + 2*k + 13. Let z be u(-8). Let s = -160 - z. Let n = 9.5 - 8.5. Is s less than n?
True
Let d = 65 - 61. Suppose -4*i - 9*f + 207 = -d*f, -2*i + 96 = 4*f. Let k be i/7 - (-2)/(-7). Which is smaller: 9 or k?
k
Suppose 5*u + 367 = 272. Which is greater: u or -26?
u
Let n be (-8 - -5)/6 - (-1557)/(-6). Let z = n - -4151/16. Is z equal to -1?
False
Let s(g) = -83*g**2 - 38*g + 170. Let m be s(7). Which is smaller: m or -4162?
m
Suppose 575*s + 15434 + 5841 = 0. Suppose 0 = 5*z - z + 152. Is s greater than or equal to z?
True
Let u = -167.9 + 175. Let o = 9.1 - u. Which is greater: 50 or o?
50
Let w be (-13 + (-2504)/(-168))*(-3)/13. Is 0 smaller than w?
False
Let p be (0 + 1)/(4 + (-116)/28). Let r = 14 + 2. Suppose -18*z + r*z = 16. Is z less than or equal to p?
True
Let y be 3/((-550)/77 + 7). Which is smaller: y or -246/11?
-246/11
Let l = -23749 + 142495/6. Which is smaller: -634 or l?
-634
Let h(z) = -34*z - 1111. Let r be h(-34). Is r equal to -5?
False
Let h = -11691.09 - -11691. Do h and 21/8 have the same value?
False
Let s be (6/5)/((-18)/(-7440)). Let q = s + -428. Is 68 equal to q?
True
Let y(x) = 2*x**2 + 12*x. Let g = -35 - -16. Let r be 82/(-14) - g/(-133). Let m be y(r). Do m and 0 have the same value?
True
Let h(o) = -3*o**2 - 44*o - 20. Let b be h(-13). Let g be 3 - (138/b - (-2)/(-3)). Is g at least -0.5?
True
Let q be -5 - (-8 + -2)/2 - -1. Is -2/45903 greater than q?
False
Let w be (-1)/(-4 - -5) + 1. Suppose w*b + 2*b = 8. Let m be (-2)/3 - b/(-4). Is m at least as big as 5?
False
Let h = -2727 + 32729/12. Let v(b) = b**3 + 6*b**2 - 15*b + 9. Let l be v(-8). Which is smaller: l or h?
h
Let q = 0.97 - 42.97. Let j = q + 41. Let t = 0.003 - 2.303. Which is smaller: t or j?
t
Let u(f) = -f**3 - 12*f**2 + 44*f + 218. Let l be u(-6). Suppose 2*y - 4*w + 534 = 0, -4*y - w = y + 1302. Is y bigger than l?
True
Let v = 4723 - 4727. Which is smaller: v or -1/123?
v
Let h = -279 + 269. Let m be ((-114)/190)/((-6)/(-104)). Is h equal to m?
False
Let h(q) = -2*q**2 - 27*q + 143. Let l be h(4). Which is greater: l or -1167?
l
Let l(j) = 7*j + 359. Let h be l(-8). Is h not equal to 301?
True
Suppose -2*d = 3*z - 7, 2*z + 18*d - 17*d = 5. Let q be 6069/8124 - (1 + z/(-12)). Is -1 at least as big as q?
False
Let k be (1 - 0)*0 - (184/(-46) + 4). Is k greater than or equal to -32/189?
True
Let b = -17.844 - -17.794. Which is smaller: 16.8 or b?
b
Let q(l) = -l**2 + 2*l + 1. Let d be q(3). Let w be (-141)/3*((1 - 0) + d). Suppose -4*b + 125 = -w. Is 43 at least as big as b?
True
Let y = 709 + -709. Is y < 8/7?
True
Suppose 66 = -7*k - l + 300, -20 = 5*l. Which is greater: 2/7 or k?
k
Suppose 53*q + 170*q + 17480 = 33*q. Are -96 and q unequal?
True
Let r = -32267/20 - 1965/4. Let s = r - -2048. Let j = -57 - s. Which is greater: 0 or j?
0
Let l = -1497.1 + 1497.2. Are l and -11530/9 non-equal?
True
Suppose 232*g + 24 - 256 = 0. Let p = 3 - 4. Let d = p - -29/28. Is d at most as big as g?
True
Let r = 4.11 - 0.11. Let v = -2 + r. Let q = 1452.78 + -1453. Is v >= q?
True
Let w = -6384 + 6352. Is w less than or equal to -433/14?
True
Let j = -20925 + 23025. Is j greater than or equal to 2099?
True
Let o(t) = -t**2 + 9*t + 22. Let z be o(11). Let m be 8*(-7)/112 - (-73)/134. Which is smaller: m or z?
z
Let a = 8.68 - 24.68. Let b = -4 - -7. Let r = b + -5. Which is bigger: r or a?
r
Let d = -95 + 95. Suppose d = 5*i + s + 3*s - 5, -2*s = -5*i + 5. Is i less than or equal to 1/7?
False
Let j(p) = 9*p + 18. Suppose 5*i + m = 6*m + 5, -i - 4*m - 14 = 0. Let n be j(i). Is n <= -101?
False
Suppose -20*t - 1360 = 100. Which is smaller: t or 7?
t
Let y = -267/5 - -873/20. Suppose 13*n - 15*n + 7*n = -50. Is n less than y?
True
Let g = -38.435 + 38.5. Let w = 2.265 - g. Let u = 18 - 88/5. Is u equal to w?
False
Let q = 1004 + -1054. Does q = -50?
True
Suppose 44 = -5*t - 3*p + 832, -5*t + 5*p + 820 = 0. Is 157 less than t?
True
Let x(s) = 261*s - 3650. Let h be x(14). Suppose -25 = 5*z, -k - 2*k + 2*z - 62 = 0. Do h and k have the same value?
False
Let r be -3 - (39 + (3 - 1) + -5). Let w = 45 + r. Let q(f) = -2*f**2 + 13*f - 5. Let m be q(w). Which is smaller: m or 8/23?
8/23
Let g be 10497/(-6) - (-28 - -53). Is -1776 smaller than g?
True
Let q = -77.8 - -77.72. Let l = -88 + 90. Which is smaller: l or q?
q
Let y be (69/(-138))/((-3)/(-613)). Do -102 and y have the same v