*2 - 50*l - 7. Let s be r(6). Which is bigger: -812 or s?
s
Let o(j) = -5*j**2 - 6*j + 2. Let x(g) = g**2 + 6*g - 25. Let t be x(-9). Let d be o(t). Is d < -28?
True
Let n(k) = 2*k**3 + 68*k**2 + 119*k - 1911. Let v be n(-31). Let t = -84 + 248. Is t >= v?
False
Let v be 420/110 - 2/(-11). Suppose 0 = 5*c + 3*l - 4, -v*c + l = -0*c - 10. Suppose 0 = f, 0*p - c*f = -2*p - 2. Which is greater: -4/33 or p?
-4/33
Let d(c) = c - 11. Let n(l) = l**3 + 10*l**2 + 8*l - 5. Let z be n(-9). Suppose -p = 3*u + 1, -z*p - 2*u + 0*u = -46. Let m be d(p). Is m >= -2/11?
True
Let x(m) = -5*m + 1139. Let l be x(-53). Is l at most 1403?
False
Suppose 0 = 4*p - 3*r + 13, 2*p - r = 4*r - 17. Let a = -205628.3 - -205626. Is p bigger than a?
True
Let g = 4452 + -877033/197. Which is smaller: 1 or g?
g
Let l be 19/(494/(-4)) - 1680/65. Is l at least as big as -270/11?
False
Let b = -248 - 351. Is b >= -1197/2?
False
Let z = -9320 - -9552. Which is bigger: z or -0.1?
z
Let u = 0.54 + -0.168. Let c = u - 0.572. Which is smaller: 1/16 or c?
c
Let d be (-1 + 3/9)*((-7503)/2)/61. Let z be (204/10)/3*5. Is z less than or equal to d?
True
Let u = -15525 + 108848/7. Which is bigger: u or 26?
26
Let x be -5 + (0 - -2) - 69/(-3). Let d(b) = -b**3 - 7*b**2 + 12*b - 4. Let k be d(-9). Suppose 7*v - k - x = 0. Which is smaller: v or 13?
v
Suppose 0 = -3993*s + 3992*s - 1. Is 2/1263 at least as big as s?
True
Let r(s) = -27*s - 101. Let w be r(-4). Which is smaller: 33 or w?
w
Let a(m) = m**2 + 5*m + 10. Suppose 3*i = 2*u - 4*u - 6, 4*u + 12 = -5*i. Let x be a(u). Let y(h) = -2*h**3 - 9*h**2 - h - 26. Let d be y(-5). Is d < x?
False
Let l = -391 + 406. Suppose -4*a = -x + 543, -261 - l = 2*a + 4*x. Is -137 equal to a?
False
Suppose 6*r + 133 = 13*r. Suppose -2*c - r = -13. Let n be c/5 + 1 + (-8)/(-5). Which is smaller: n or 5?
n
Suppose 0 = n - 7, 8*u - 129 = 13*u + 3*n. Let o(x) = 19*x + 14. Let c(k) = 29*k + 21. Let q(t) = -5*c(t) + 8*o(t). Let a be q(-5). Which is greater: a or u?
a
Let v = 373/151 - 10639/5285. Suppose -2*k = -4*k + 2. Which is bigger: k or v?
k
Let r = -2773 - -1217. Is r bigger than -1557?
True
Suppose -5 = 5*u, 2*t + 51*u - 1685 = 48*u. Suppose -850*n + t*n + 6 = 0. Let m = 480 + -6237/13. Is m at least as big as n?
False
Suppose 5*m - 3*m + 5*b = -35, 2*m + 25 = 5*b. Which is bigger: -17 or m?
m
Suppose 5*s - s = 28. Let n(t) = -2*t + 12. Let b be n(11). Let p be (-8)/b*78/8. Is s at least as big as p?
False
Let q = -0.7 - -340.7. Let f = q - 339. Is -16 bigger than f?
False
Let q = -817 + 1144. Which is greater: 329 or q?
329
Suppose f - 3*f + 6 = 0. Suppose 0 = v - 2 + f. Let t = -558391/23 - -24278. Is v < t?
True
Let g = -1248499/82 + 11667144353/766290. Let n = g + 10/89. Which is bigger: n or 1?
1
Let j be 258/(-34)*(-8)/((-24)/1). Is 2/5 greater than or equal to j?
True
Let b = -24075/4 - -6004. Which is bigger: b or 6.4?
6.4
Let z = -11 + 26. Let q(h) = h - 6. Let g be q(z). Suppose 3*i - g*i = 42. Is i at least as big as -23/3?
True
Let n be 0*(-2 - 0 - -3). Suppose n = -0*b + 27*b - 135. Is 32/5 at most b?
False
Suppose 2*o + 38*i = 46*i - 236, -o + 3*i - 115 = 0. Is -103 >= o?
True
Let k be (928/812)/(2*1/7). Suppose 5*q - 15 = -4*l, -k*q + l + 8 = -4. Let x = 9 - -1. Is x at least as big as q?
True
Let p = 2.74 + -1.71. Let w = p - 1.24. Which is smaller: 3 or w?
w
Let j = 13341/44 - 1375/4. Are j and -40 unequal?
True
Suppose 5*h + 5*c = 445, 0*h = 5*h + 3*c - 435. Let a(u) = -u**2 + 16*u + 10. Let i be a(7). Suppose g - 10 = i. Which is smaller: g or h?
g
Let t = -52 + 37. Let q be (-9)/2*(-190)/t. Let v = -45 - q. Which is smaller: v or 10?
10
Suppose -5192 = 30*g + 20218. Which is bigger: 3 or g?
3
Let v(d) = -26*d**3 - 5*d**2 + 16*d - 69. Let b be v(3). Is b less than -766?
True
Suppose 2*w = -w - 6, 5*b = -w + 3. Let k(m) = -m**2 + 9*m - 15. Let z be k(7). Let g be z - (4 - (242/27 - 4)). Which is greater: b or g?
b
Suppose 0 = -m + 76 - 75. Let c = 1.1 - -2.8. Let o = 4 - c. Do m and o have the same value?
False
Suppose -244 = -b - 5*x - 35, -910 = -5*b + 2*x. Let q = b + -178. Let d be 372/70 - 4/(-14). Is d at most as big as q?
True
Let d be 18/((-18054)/14603) - -11. Is -5 <= d?
True
Let b = -90.17309 + 0.03309. Let d = b + 90. Let t = d + 0.16. Which is bigger: 2/7 or t?
2/7
Let k be (-2 - -3)*22/(-22). Which is smaller: -23/29 or k?
k
Suppose 5*h + 4*n + n + 395 = 0, -5*h + 2*n = 416. Let d = 90 + h. Which is smaller: d or -0.1?
-0.1
Suppose 0 = 824*v - 802*v + 13772. Is -623 not equal to v?
True
Let b = 172 - 409. Let w = b + 237. Is w equal to 2/89?
False
Suppose 7*y - 2*y - 100 = 0. Suppose -51*v - 9 = -21*v + 21. Is y at most v?
False
Suppose -p - 9 + 7 = 0, 2*j - 4*p - 12 = 0. Suppose 10 = j*c + 4*y, -68*y + 67*y + 34 = 4*c. Is 10 bigger than c?
True
Suppose -126 = -4*w + 94. Let i be (-6)/w*10/(-3). Suppose -4677 = -5*j - 4682. Which is smaller: j or i?
j
Let c = 64 - -123. Suppose -6*w - c = 683. Let r be 3/15 + w/(-25). Is r smaller than 6?
False
Let u = -12638/3 + 4098. Let o = 2180/19 + u. Which is smaller: 1 or o?
o
Let o = -22657 + 22711. Which is bigger: 77 or o?
77
Suppose -82 + 160 = -2*w - 5*r, 4*w = 5*r + 84. Let y = -17966616/595 + 30196. Which is bigger: y or w?
w
Suppose -5*h - 726 = 2*j, 0*h - 1478 = 4*j - 3*h. Let p = 1471/4 + j. Is 31 at least as big as p?
True
Suppose -45 = -19*o + 14*o. Let d be o/(-6) + (603/(-174))/(-3). Which is greater: 1 or d?
1
Suppose -178*v = -185*v + 21. Suppose -j - k = 106 + 80, 0 = -v*j - 5*k - 556. Is -187 greater than j?
False
Let h(u) = -330*u**3 + u**2 + 1 + 2 - 13*u - 1 + 331*u**3. Let t be h(3). Which is bigger: t or -64/27?
t
Let a(l) = -11*l**2 + 63*l - 32. Let o be a(5). Let j = -12 - -18. Which is smaller: o or j?
j
Let k be 344/(39/((-156)/8)). Is -693/4 bigger than k?
False
Let l be 10 + (4 - 50/10). Suppose 0 = 4*r - 5*d + 161, -l*r + 4*d = -4*r + 208. Does r = -42?
False
Let k(f) = f**3 + 2*f**2 - 6*f - 9. Let m be k(-3). Suppose -51 = -5*t - 4*r, -3*t + m*r - 2*r + 29 = 0. Is 0 >= t?
False
Suppose g = -61*g + 2*g + 6960. Which is greater: -28 or g?
g
Let h = -5467.48 + 5467. Which is smaller: h or -18?
-18
Let q be (-163 + 151)*(54/(-4))/(-1). Let f = q - -2915/18. Let x = 1 - 0. Is x smaller than f?
False
Suppose 8 = h + 6. Let i be 72/40 + h/10. Suppose 80 = i*r - 12*r. Is -10 != r?
True
Suppose 19*w - 121*w + 4826 = 25*w. Which is smaller: 98 or w?
w
Suppose 76 = 4*l + 56. Suppose -j = -4*w + 5*w, 2*w - 3 = -l*j. Is -0.0176 less than or equal to j?
True
Let q = 3.1 + 43.9. Let n = -0.75 + -45.25. Let z = q + n. Which is greater: 0.38 or z?
z
Let c = 0.0122 - 23.3122. Let h = c - -143.3. Which is bigger: h or 1?
h
Let f(a) be the third derivative of 0 - 1/6*a**4 + 17/3*a**3 - 44*a**2 + 0*a. Let q be f(9). Is q > -3/5?
False
Suppose 5*q = -2 + 17. Let u be q/(-9) + (-16)/6. Suppose 245*a + 189 = -791. Which is bigger: u or a?
u
Let l be (-384)/832 - 150/13. Let o(w) = w**2 - 5*w + 1. Let x be o(4). Let q be (x - -3)/4 - 13. Is q at least l?
False
Suppose -64*v + 34*v = 0. Let o = -442 - -241. Let f be o/(-135) - 3/5. Is f bigger than v?
True
Let b = 1.22 - 1.28. Let i be (-4)/105 - -1*6/14. Let v = -2/35 + i. Is v <= b?
False
Let h = -18 - -38. Let l = 199 - 107. Let j = l - 91. Is h greater than j?
True
Suppose w + 8 = -0*w + 3*v, 0 = -3*w + 3*v + 6. Suppose 5*r = w - 2. Which is smaller: r or -1/105?
-1/105
Let g = 3695 - 2794. Which is greater: g or 1?
g
Let x be (1 - -1) + -4 + -4 + 8. Suppose -x*c + 69 - 203 = 0. Is c < -67?
False
Let c be 9 + -3 + 1 - 4. Suppose 3*i - 52 - 28 = 5*n, -c*n + 5*i = 48. Which is smaller: n or -14?
n
Let m = -3 + 2.95. Suppose -2*y + 5*k = 10*k + 5, 0 = -y + 2*k + 11. Suppose 0 = 2*s - c + 10, y*s - 20*c + 19*c + 25 = 0. Do s and m have different values?
True
Let o = -194 + 146.3. Let m be 2 - (((-224)/(-40) - 5) + 1). Which is smaller: o or m?
o
Suppose 6*s = 6*s + s. Suppose 0 = 4*q - 4*l - 20, s*l - 5*l + 3 = 2*q. Suppose -7*z + q = -8*z. Is -7 greater than or equal to z?
False
Let r(q) = -18*q - 46. Let h be r(-4). Suppose -5*o = h - 6, -p + 5*o = -20. Is p at least as big as 7.7?
False
Let w = 222 - 219.91. Let b = -28.91 - w. Let p = 8 + -6. Which is bigger: p or b?
p
Let g(x) = -x**2 + 3*x + 92. Let o be g(-8). Suppo