-2*z + 1. Let t be j(-2). Suppose -y*v = -t*v + 87. Which is smaller: v or 30?
v
Suppose -40 = 8*x - 56. Let k be x/(-10) - ((-8)/(-15))/4. Do k and -1 have the same value?
False
Let a(j) = -j**3 - 7*j**2 - 14*j - 35. Let x be a(-5). Let y be x/(-15) - (1 + -6). Is 11/2 less than or equal to y?
True
Let k = -385/4 - 2429/12. Which is smaller: k or -299?
-299
Suppose -374*j = -394*j - 3480. Which is greater: -155 or j?
-155
Let g = 494.444 + 3.556. Which is smaller: 2/7 or g?
2/7
Let q(i) = -i**3 - 5*i**2 - 8*i - 16. Let p be q(-3). Let g be (-481)/(-715) + (16/p)/4. Which is greater: -1 or g?
g
Suppose 5*z - 5*u = 55, 2*z - u - 10 = -2*u. Let t = 1372 + -1369. Suppose i - t*l = -z + 15, -i + 8 = 4*l. Is i less than 8?
False
Suppose x + 43 = 6*x - 3*j, 3*x - 23 = -j. Suppose 0*c = 2*c + x, -4*i + 2*c - 468 = 0. Is i >= -119?
True
Let o = 243 + -418. Let l = 14714 - 14714.1. Is o not equal to l?
True
Suppose 3*q + 6 + 0 = 3*h, 5*h - q = 2. Let b be (2530/20)/((5 + h)/10). Is 251 bigger than b?
False
Let k be 11925/120 + -1 - -7. Is 105 greater than k?
False
Suppose 5791 - 27807 = -43*t. Are 515 and t nonequal?
True
Let g(x) = -x**3 + 7*x**2 - 6*x + 1. Let c be (76/57)/(((-2)/(-9))/1). Let n be g(c). Let u be 3 - (222/(-13))/(-6). Which is bigger: n or u?
n
Let w be (-14908)/224 - 1/(-8) - 81/(-189). Is -38 at most w?
False
Let y = -428/9 + 847/18. Which is smaller: y or 203?
y
Let c = -259 + 476. Let u = -131 + c. Is u not equal to 0.2?
True
Let h = -16098 - -16130. Which is bigger: -204 or h?
h
Let j be -6*(-17)/(27846/(-24)). Which is smaller: 5 or j?
j
Let d = -293 - -295. Let j be (6/(-1 + 3))/(-1 - d). Which is greater: 3 or j?
3
Suppose 6*a = a - 210. Let z = -7184 - -7139. Is a equal to z?
False
Suppose -4*k - 69 = j - 253, 5*k = 2*j - 303. Which is smaller: j or 166?
j
Suppose 0 = 3*u + 3, -5*y + 9 = -0*y + u. Let o be ((-540)/(-63))/(-3)*(-7)/y. Are 4 and o nonequal?
True
Let y = -1/18959 + -5611843/398139. Which is bigger: -14 or y?
-14
Let n(k) = -3*k**3 + 23*k**2 - 13*k - 8. Let q be n(7). Which is bigger: q or 1/30242?
1/30242
Suppose -w = -0*w + 3. Let p = 652 - 644. Suppose -7*r + 8*r = p*r. Does w = r?
False
Let h(p) = -78*p - 37 + 43*p + 46*p. Let o be h(6). Is o <= 8?
False
Let n(r) = 11 + 0 - r**2 + 24*r - 5*r**2 - 5*r**2 + 12*r**2. Let k be n(-22). Is -31 <= k?
False
Let f be 3 - 377/145*194/28. Let n = f + 23/10. Which is greater: -13 or n?
n
Let x = -16.15 - -16.15. Let i = -10.5 - -7.86. Let d = -3 - i. Is d at least as big as x?
False
Suppose -3*l = 4*w - 4166, l + 5*w - 1178 - 229 = 0. Is l > 1380?
True
Let k = 0.22727 - -2.34273. Is -5 < k?
True
Let m = -830 - -788. Is m < 4?
True
Let o be ((-26687252)/(-11520))/(468/24). Let n = 1/11232 - o. Is -120 less than n?
True
Suppose -3*c - 118 - 104 = 0. Suppose -5*v - 267 = -s, 3*v + 3*s + 205 = 52. Let z = v - c. Is 0 greater than or equal to z?
False
Suppose 48 = -205*f + 253. Which is greater: f or 114.5?
114.5
Suppose -5*v + 10 = -3*y - 10, -9 = -2*v + y. Suppose -10 = 2*g - v*g. Let q be (-22)/(-56) + (-6)/(-8). Which is bigger: g or q?
g
Let g = -658454/5 - -131072. Let n = -619 - g. Which is bigger: 2/107 or n?
2/107
Let d be (-6*(-4)/24)/((-2)/80). Let o be ((164/(-6))/(6/9))/1. Which is smaller: o or d?
o
Suppose 6 = -2*n - 6. Let w(b) = 2*b**3 + 12*b**2 - b - 8. Let c be w(n). Is c less than or equal to 3?
True
Let w be 30/1466535*21/(-3). Which is greater: 1 or w?
1
Let u be (-19 + -81)/(2*-1). Let b = u - 36. Suppose -18*v + 8 = -b*v. Do v and 7/12 have the same value?
False
Let d be ((-2)/122)/(-5 - (-7 - 0)). Is -0.2 less than d?
True
Let f = 450 - -308. Which is greater: 769 or f?
769
Let l = 0.03317 + -248.73317. Let b = -249 - l. Which is smaller: b or -12?
-12
Suppose -619 = 3*x - 2*y, 7*x - 4*y = 3*x - 820. Let d = 210 + x. Which is smaller: 9/14 or d?
9/14
Suppose 4*z - 2*l = 10, -4*l - 12 = -4*z - 0*l. Suppose z*p = 1177 - 1329. Which is smaller: p or -79?
-79
Suppose 3*a + 309 = 2*f, 3*f + 29*a - 24*a = 454. Is 153 >= f?
True
Let n be 13*(-91)/133 + (-104)/(-13). Is n != -2/7?
True
Let h(v) = v + 30. Let d be h(-14). Let c be (-1064)/(-57) - ((-15)/(-9) - 2). Are c and d non-equal?
True
Suppose -2*y + 2*d = -144, y - 85 = 5*d - 21. Let q = y + -368/5. Do q and -137 have the same value?
False
Let i = 528 - 475. Let r = 59.5 - i. Is r >= 3?
True
Let p = 873.3 - 847. Are 19 and p unequal?
True
Let m be (-4)/(-98) - 0/(-4). Let l be 6/22 + 713/2387. Which is smaller: m or l?
m
Let j be (2/(-14))/(10/(-26)). Let k = -101/245 + j. Suppose d = 5*n - 4*n - 2, 2*d + 3*n = 6. Are d and k equal?
False
Let i = -1962061/79 - -24837. Which is greater: 2 or i?
2
Let p be (-2)/(-8) + 1303542/(-3471576). Let n = p + -2/1831. Do n and 1 have the same value?
False
Let b be (6/50)/((-4)/(-10)). Let x = 271.6 + -271.7. Which is smaller: b or x?
x
Let x = -11426 - -12987. Which is greater: x or 2/9?
x
Suppose 8*z = 5*z + 9, 3*z - 12 = -3*w. Let g = -1571714839/533 + 2948807. Let o = 16/13 + g. Which is smaller: w or o?
o
Suppose -3*r + 6*j - 9*j = -66, j = 7*r - 154. Let a = -145/19 + 2891/95. Which is smaller: r or a?
r
Let k be (-12417)/((-8)/((-4984)/(-1981))). Let g = -3905 + k. Is g smaller than -1?
False
Let v = 4281 + -3664533/856. Which is greater: 1 or v?
1
Let a = -203/75 + 76/25. Which is smaller: a or -463?
-463
Let a(f) = 27*f + 345. Let m be a(-12). Let g be 2404/(-28) + 0 - 3/m. Is g at most as big as -88?
False
Let m = -123 - -129. Suppose m*i - 1590 = 16*i. Is i smaller than -158?
True
Let z(y) be the third derivative of y**4/4 - 21*y**3 - 67*y**2 - 1. Let h be z(20). Is h > -17?
True
Let k be (-3 - -10)*6/(-21)*1. Let i be 2 + 201/(-70) + (-12)/60. Is k greater than i?
False
Let h be (-8)/(-4330)*15/6. Suppose 158*n - 164 + 49 = 43. Which is smaller: h or n?
h
Let t = -707 + 707.4. Let x = -0.18 + 0.88. Let m = x + -0.8. Which is greater: m or t?
t
Let k(f) = -3*f**2 - 90*f + 816. Let c be k(-37). Let y = 134 - 92. Which is smaller: y or c?
c
Let l = -12566.6192 + 12567. Which is smaller: -1 or l?
-1
Let y be (-17614)/74*(-1 + -6). Let a = -1667 + y. Let t = a + 2102/2775. Is 0 at least t?
True
Let q = -8198 - -8214. Is q < 505/34?
False
Let b be 4 + -3 + 62/(-58). Let z(f) be the third derivative of -f**5/20 + 2*f**4/3 + 6*f**3 + 9*f**2 - 10*f. Let x be z(7). Which is smaller: b or x?
b
Suppose 16 = -4*w, -4*p + 6*w - 8 = 10*w. Suppose 4*r + 11 = -u, 10*u - 5*u + p*r = -1. Which is smaller: 0.261 or u?
0.261
Let n = 203 - 296. Suppose 4*k + 482 = -4*d + 122, 0 = -5*d + 2*k - 457. Is d >= n?
True
Let h = 153 - 104. Suppose -5*i - 66 = -2*i. Let c = h + i. Which is bigger: 28 or c?
28
Let r = -442 - -446. Suppose -45 = -17*c + 12*c + 3*h, 20 = -r*h. Is c smaller than 34/7?
False
Suppose 609*r - 227700 = 565*r. Does 5176 = r?
False
Let y(p) = -3*p + 16. Let o be y(7). Let a = -3215 + 3181. Which is smaller: o or a?
a
Let d be (-3)/(-3) + -30*(1 + 4 + 6). Which is greater: -3624/11 or d?
d
Let n be (-199)/390 - 2/(-4). Let m = -1422/30475 + -29540053/4754100. Let q = n - m. Which is smaller: q or 6?
6
Let j be -235 - (-11 + 14 - 15). Does j = -6?
False
Let k be (365695/2013)/((-5)/5 + (-22)/(-12)). Which is greater: k or 192?
k
Suppose 40*v = -2*i + 35*v + 32, -v = -5*i - 1. Is i greater than -3/4804?
True
Let g = -227146916/218075 - 4/218075. Which is smaller: 0 or g?
g
Suppose -3*q = 4*n - 0*q - 6, -2*n + 16 = -5*q. Suppose n*o - 4*o + 20 = 0. Suppose -3*z = -8*z + 105. Which is greater: o or z?
z
Let h be -478 - (-4 + -3 + 14 + -3). Let m = -16717/4 - -59163/16. Let o = m - h. Is o != 0?
True
Suppose 152 = 49*p - 1220. Are 86/3 and p non-equal?
True
Suppose 0 = -353*q + 357*q + 2*x - 128, 0 = -4*q - 4*x + 140. Let r be 87*((-5)/3 + 2). Is q less than r?
False
Suppose 2*k + 5*y + 538 = -5*y, 0 = -2*k + 4*y - 566. Is k bigger than -276?
False
Let g = -3/83617 - -846493/287726097. Is -1 > g?
False
Let a be 2 + (-39)/18 + 401915/(-186). Is -2161 bigger than a?
False
Suppose -20*w + 1997 + 473 - 230 = 0. Does w = 1236/11?
False
Let l = -401.275 + 401. Let d = l + 0.045. Which is smaller: d or 6?
d
Let j(p) = 86*p**2 + 301*p + 54. Let h be j(-4). Let d = -483 - -708. Are d and h nonequal?
True
Let j be (-7)/3 - (-8)/24. Let a be 441/(-6) + j/(-4). Which is bi