ich is smaller: -503 or b?
-503
Let q = -7.1 + 0.1. Let h = 6.9 + q. Do h and -3 have the same value?
False
Let f(r) = r**2 + 20*r + 28. Let g be f(-19). Is 37/4 bigger than g?
True
Let n = 490444/97 + -5056. Let v = n + -130/2619. Is v < 0?
False
Let s be -1 + -16 - (24 - 26). Which is smaller: -10 or s?
s
Let k = 139 - 137.79. Let z = 1.3 - k. Which is smaller: 0.3 or z?
z
Let l(i) = -i**2 - 7*i - 6. Let o be l(-6). Which is smaller: -1/101 or o?
-1/101
Let t = -41 - -42. Is -1/370 at most as big as t?
True
Let i(t) = -t**2 - 9*t + 9. Let f be i(-8). Suppose q - 5 = -3*j + f, -j + 22 = 4*q. Suppose -3*s = -0*s - j. Is s at most as big as 4?
True
Let a = -614 - -559. Is -52 > a?
True
Let a be (-142)/1 + 28/(-35)*-5. Let t = -140 - a. Which is greater: t or -20/7?
t
Let y = -31.31 + 53.286. Let d = 0.024 + y. Which is bigger: 0 or d?
d
Let y be 261/12 - 2/(-8). Let n be 2/(1172/33 - 4/y). Is 1 at least n?
True
Let h be (4/(-4))/((-8)/2 - -5). Is 2/193 >= h?
True
Let g = -10 - -20. Let v be g/35*((-2)/(-1) + -3). Are v and 0 unequal?
True
Let q = 284 + -276. Which is greater: q or 13/2?
q
Let s be 936/64*5/3. Which is smaller: 25 or s?
s
Let s = 12.54 + -12.64. Which is smaller: -77 or s?
-77
Let f = -8 - -5. Let u = f + 4. Let i be (14/(-413))/(6/2 + -4). Which is greater: i or u?
u
Suppose -5*l + 3*l + 1787 = -3*v, -2*l - v + 1799 = 0. Does l = 898?
True
Let h be 33/2*(-46)/(-69). Suppose -12*q = -h*q + 21. Is q > -20?
False
Suppose -4*j + 6 = -2*s, 4*s = -2*j - s - 15. Suppose 5*o - 33 - 57 = j. Is o at least 18?
True
Suppose -4*x - 32 - 36 = 0. Let g be x/51 + (-1)/(-2). Which is bigger: 0 or g?
g
Suppose -5*n = -4*o - 56, 3*n - 11 - 25 = 3*o. Let l be (4/n)/(1/2). Let h be 2/(-11) - (0 + 0). Which is smaller: l or h?
h
Let s = 3003 + -3003. Let k = -258304/7 - -37151. Let o = 250 - k. Is o <= s?
True
Let o be (-1)/14 + (-5090)/(-6580). Are o and 2 nonequal?
True
Let c be -1 + (-15)/(-3) + -5 + 16. Let w = 3 - -1. Suppose w*d = 3*p + 2*p - 55, -5*p = 2*d - 85. Is c greater than or equal to p?
True
Let r = -180 + 1819/10. Which is smaller: r or 3?
r
Let k = 3661721/557 + -6574. Is k less than 0?
False
Let i(d) = -d - 5. Let u be i(4). Let t(q) = q**2 + 5*q - 18. Let y be t(u). Is 18 at least y?
True
Let x = 2535 + -2536. Is x <= -2/911?
True
Let j(s) = -s**2 - 7*s - 5. Let x(g) = g**2 - 4*g - 2. Let o be x(7). Let m = o - 25. Let b be j(m). Does b = 2/7?
False
Let g = -878 - -878. Is g bigger than 5/557?
False
Let i be (-4)/(-2) + 25/(-6). Is -3 greater than i?
False
Let u be (5 + 1)*(-584)/(-176). Let h = -20 + u. Suppose -4*t = s - 5*s + 16, 3*s - 4*t - 16 = 0. Do h and s have the same value?
False
Let d(u) = 5*u - 28. Let c be d(5). Let i = 12 - 3. Let x be 33/i*3/(-4). Is x bigger than c?
True
Suppose 0 = c - 2*q + 85, -4*c - 4*q - 176 = 104. Which is smaller: -73 or c?
c
Suppose -2*v + 16 = -0*f + 4*f, -3*f = 12. Let j be (-4 + 8)/(-4)*v. Are -15 and j unequal?
True
Suppose 4 = -2*g + 4*g. Let x(s) = -s**2 - 14*s + 4. Let t be x(-14). Suppose -4*d + t*f = -5*d - 5, 3*f = -5*d + 9. Do d and g have different values?
True
Suppose m = h - 5*h + 129, 2*h = -2*m + 72. Does 30 = h?
False
Suppose 2*r + z + 2 = r, 4*z = -3*r - 9. Let j(o) = o**3 + 8*o**2 - 8*o - 3. Let v be j(-9). Let f(u) = u + 15. Let q be f(v). Which is bigger: q or r?
q
Suppose 3*s + 40 = 5*b, 0 = -b - 2*b - 3*s + 48. Let w(d) = 2*d**3 + 72*d**2 - 77*d - 103. Let n be w(-37). Is b greater than or equal to n?
True
Let o be (0 + 34/5)/(2/(-10)). Let n = 36 + o. Which is greater: n or 9/11?
n
Let v = 4/1037 - 569/5185. Which is greater: v or 0?
0
Let v be 2/28*(27 - -5). Which is smaller: 2 or v?
2
Let o be (16/108)/((-9)/432). Do o and -7 have the same value?
False
Let r be ((-9)/2)/(33/(-44)). Suppose -5*h - r = -m + 19, 2*h = -2*m - 10. Suppose -4*g + 5*l - 24 = m, -l - 1 = -5. Which is bigger: g or -2?
g
Let l = -817 + 2438/3. Let c(j) = 2*j. Let f be c(-2). Which is smaller: l or f?
l
Suppose -3*p - p + 8 = 0. Let x = 8 - 2. Suppose 4 = p*h - x. Which is smaller: h or 6?
h
Let g = -1043 - -1008. Which is smaller: -3 or g?
g
Let v be (-8)/(-20) - (-58)/(-95). Suppose -5*k - 2 = -12, y - k + 3 = 0. Is v equal to y?
False
Let r = -38 - -31. Suppose -5*s + 10*s = 5. Which is smaller: r or s?
r
Let k = 246 + -247. Which is bigger: 142 or k?
142
Suppose 5*c = 5*k - 5, -5*c = -8*k + 10*k + 5. Is k greater than or equal to 1/1951?
False
Suppose -z - 47 = -46. Let q = 1857.83 + -1872. Let v = q + 0.17. Is z not equal to v?
True
Let l be (12 - 7)*(-2 - 36/(-10)). Let t be l/18 + (-2000)/(-36). Is t smaller than 56?
False
Let k be ((-20215)/(-9690))/(-13) + (-1)/(-6). Let m = 223/16150 + k. Which is greater: m or 1?
1
Let f = -914129/19 + 48101. Is -12 not equal to f?
True
Suppose 0 = 2*p - 2*o + 3*o - 13, -2 = 2*o. Are 3 and p unequal?
True
Let t = -100.7 - -100.6. Which is smaller: t or 254?
t
Let q be 26/65 - (261/(-660) - -1). Which is smaller: -1 or q?
-1
Let l(f) = f - 14. Let q be l(12). Is -7 >= q?
False
Let n = -1.63 + 0.03. Let x = -3.7 - n. Is x at least -1?
False
Let c = 4.8 - 23.8. Let i = -19.5 - c. Which is bigger: -1 or i?
i
Suppose 72 = 7*d - 61. Let s = 34 - d. Suppose -3*x + x = -f + 25, 5*f - 100 = 5*x. Is s > f?
False
Suppose -5*b + 4 = -3*b - 5*t, -3*t + 6 = 0. Let k = -54 - -58. Which is smaller: b or k?
k
Let g = 60.38 - 60. Let i = 15.48 - 15. Let c = i - g. Is -0.14 at least as big as c?
False
Let u = 8 + -5. Suppose -n = u*n + 12. Let s be ((-450)/35)/(-3) + -4. Which is smaller: n or s?
n
Let f = -31 - -34. Suppose -f*n + 3*g = -5 - 7, -2*g = 3*n + 13. Is 1/46 less than n?
False
Suppose -2*k + k + 4 = 0, -38 = -y - 5*k. Suppose y + 92 = 5*g. Let i(h) = h + 17. Let v be i(5). Is g greater than or equal to v?
True
Let o(q) = q**2 + 6*q + 5. Let n be o(-5). Suppose n*s + 15 = 5*s. Is s >= 3?
True
Suppose -3*c = m - 3, -1 = 5*c - 3*m - 6. Suppose -4*d - 3 = c. Which is bigger: d or 3/26?
3/26
Let t = -14 - -14. Let o(v) = t*v + v + 3*v**2 + v**3 - 8*v + 2*v**2 - 5. Let u be o(-6). Which is bigger: 5/9 or u?
u
Suppose 7 = 2*s - 269. Is 137 > s?
False
Let m(c) = -c**2 + 8*c - 1. Let j = -17 - -5. Let w = j + 20. Let p be m(w). Is p < 3?
True
Let t be ((-2)/(-10) - 108/(-60))*1. Suppose -2*p + 11 + 1 = 2*z, -z + t = 0. Which is smaller: -7 or p?
-7
Let w be 9*(-3)/(-9) - 2. Which is bigger: 1/12 or w?
w
Let q be (-1305)/(-70)*(-1 - 1). Which is smaller: q or -38?
-38
Let z(x) = -x - 3. Let u be z(-3). Suppose -2*o - d + 54 = u, d + d + 4 = 0. Let g = o + -27. Is g <= -1/18?
False
Let l be (-1)/((4/36*3)/(-2)). Let d be 40/6 + (-1)/(9/l). Which is greater: 7 or d?
7
Let x be 3/(90/8)*790/(-9322). Which is smaller: x or 1?
x
Let b = 0.015 - 20.015. Let l = -118 - -119. Is b bigger than l?
False
Let s be (64/(-24))/(2/6*-2). Suppose 4*g + b - 3*b = s, 0 = -4*g + 3*b + 8. Are g and 1/36 unequal?
True
Let w = -7 - -3. Is w greater than or equal to 89?
False
Suppose 0*x - 5*x - 52 = -3*y, 3*x + 6 = -y. Let s = y - 14. Let l = -257 - -254. Do s and l have the same value?
False
Let y(h) = -h**3 + 8*h**2 + 10*h - 2. Let n be y(9). Suppose -5*k = -2*i - 7, 3*i = -2*i + 2*k - n. Which is smaller: 3/22 or i?
i
Let s be (-18)/(-4) + (-12)/24. Suppose 2*t + 4*z - 28 = 0, -s*z + 13 = -7. Let k = t + -7. Which is bigger: k or -2/3?
-2/3
Let b = -0.07 + 0.29. Let l = -4.78 - b. Is l > 0?
False
Let o(n) = 3*n**3 + 8*n**2 - 7. Let w be o(-3). Is w equal to 6?
False
Let x = 204 - 206. Is x greater than 42?
False
Let s be (-156)/(-70)*2700/405. Which is bigger: 15 or s?
15
Let n(i) = i**2 + 6*i - 1. Let p be n(-6). Suppose 25 = -4*z + 9*z. Suppose -z*u + u = 0. Which is smaller: u or p?
p
Let o = 11804 + -11807. Let j = -3 - -2. Which is smaller: o or j?
o
Let d = -1689 - -293887/174. Is d > -1?
True
Let v(u) = -107*u + 95. Let b be v(2). Which is smaller: b or -118?
b
Let z = 19 + -11. Let q(t) = -t - 5. Let h be q(-10). Suppose h*k = k. Do k and z have the same value?
False
Let v(d) = -d**2 + 14*d - 20. Let m be v(12). Suppose -3*g + 1 = -2*l, -3*g - 32 = g + m*l. Let j be 12*(22/6 + -4). Which is smaller: g or j?
j
Let h(c) = c + 10. Let k be h(-8). Let m be ((-6)/(-4) - k)*-6. Suppose -6 = -3*w - m*p, 0 = -2*w - 4*p + 2 + 2. Is 2/5 smaller than w?
True
Let s = 3832/3 - 1266.