pose i = 2*j + 12, -266*j - 18 = -264*j - 2*i. Which is smaller: t or j?
j
Let p(r) = -r**2 - 6*r + 13. Let n be p(-10). Let z be ((-2)/(-5) - 14/(-15))*n. Do z and -38 have the same value?
False
Let n = 1495 + -1495.797. Let x = -0.74 - n. Let c = 0.043 + x. Do 36 and c have different values?
True
Let z = -66 - -35. Let v = 504980 + -505009. Which is smaller: v or z?
z
Suppose 3113 = 5*s + 5*w - 267, w + 2679 = 4*s. Let v = s - 675. Which is greater: v or -20/7?
-20/7
Let f = 20 + -12. Let s(h) = -12*h + 271. Let p be s(10). Suppose -4*i = z - p, 3*z = 3*i + f*z - 126. Is i less than 38?
True
Suppose -112*m + 31804 + 452 = 0. Which is smaller: 1733/6 or m?
m
Let k = -16376431/105 + 155966. Suppose -4*m = -b + 7, 4*b - 3 = -4*m + 5. Let z = b + -2. Is k equal to z?
False
Let w be (-1 + (-4)/(-1))/((-130)/70). Let d(s) = -3*s. Let m be d(1). Is m less than or equal to w?
True
Let v(m) be the first derivative of -m**4/2 + 7*m**3/3 - m**2 - 17*m - 81. Let h be v(5). Which is bigger: h or -104?
h
Let f be 90/(-16)*396/(-216). Are 9 and f unequal?
True
Suppose -14 - 19 = -33*h. Let a be (-1198)/398 + -3 + (7 - h). Do a and 0 have different values?
True
Suppose -9*f = 127 + 251. Let y = -29 - f. Let u = y + 24. Is 37 > u?
False
Suppose -45*o - 340 = -5*a - 46*o, 0 = -2*a - 3*o + 149. Is 1/6 greater than or equal to a?
False
Let g(q) = -q**2 + 3*q - 7. Let u be g(5). Suppose 4442 = 25*h - 0*h + 4842. Which is greater: u or h?
h
Let w = -1 - -2. Let r = -3904 - -2725. Let y = 62489/53 + r. Does y = w?
False
Let c = 97.6 - 90. Let b = -1.4 - c. Let m be (-180)/24 - (7 + -15). Which is bigger: b or m?
m
Let i = 1904986393/1839915 - 585239/567. Let a = -2/1947 - i. Let v = a + 3. Which is smaller: 3/11 or v?
v
Suppose -192*q + 8 - 28 = -172*q. Let z = -2906 + 66822/23. Is q at most z?
True
Let r(z) = z**2 + 17*z + 2. Let d be r(-17). Let c be (d/(-20))/(12/24). Do -4 and c have the same value?
False
Let x be (-12)/10*1500/(-40). Suppose -y = -3, x = q - 4*y - 60. Which is greater: 118 or q?
118
Let g = -473/19451 - -2/367. Let c = 59 - 64. Let r be (-3)/c - ((-8)/20 + 2). Which is bigger: r or g?
g
Let w be (4 - 14/4)*64. Let z(b) = 12*b - 15. Let g(a) = a - 1. Let l(k) = -3*g(k) + z(k). Let x be l(5). Is x at least as big as w?
True
Suppose 4 = 5*b - b. Suppose -2*f - 2*f = -6348. Let n = -14261/9 + f. Is n >= b?
True
Suppose 2*u + 6 = -5*p - 11, 0 = -3*p + 4*u - 31. Let a be (-8)/130*(p + 387/72). Which is greater: 1 or a?
1
Let v = -6024 + 2353. Is -3672 at most as big as v?
True
Let u = -1052 - -1052.447. Let y = u + -0.347. Do y and 6.3 have the same value?
False
Let h be ((-10)/8)/(4*(-2)/(-32)). Let y be (1080/225)/(11/h). Do -2 and y have the same value?
False
Let t(p) = -p**3 - 16*p**2 + 2*p - 18. Let b be t(6). Which is greater: -803 or b?
b
Let i be (-1224 + -144)*(-1 - 1)/6. Is i smaller than 457?
True
Suppose 5*l + 7 = 17. Suppose n + 3*m = 2*n - 5271, 0 = 2*m - l. Let q be -3 + n/2370 - 8/(-10). Which is bigger: q or 1?
1
Suppose 0 = 2*z - 3*w + 696 + 7625, -3*w + 20816 = -5*z. Is -4165 less than z?
False
Let w = 12648.928 - 12649. Is w at least -5/17?
True
Let s = -85173 - -258286/3. Is 922 less than s?
True
Let z be 0/(-2) - 5862/(-2143908)*3. Let h = 1/234 - z. Is h smaller than 1?
True
Suppose -2*q + 4*k = 2*q - 100, -q - 3*k + 45 = 0. Suppose 6*z = -q + 36. Is 2/65 at least as big as z?
False
Let c be ((-4 - -164) + 3)*-1. Which is greater: -822/5 or c?
c
Let n be (-188)/6*(-22)/4. Suppose -71838 + 87662 = 92*v. Which is bigger: v or n?
n
Let r be 44/462 + -1 + 16160/(-42). Let j = -389 - r. Which is bigger: j or -1?
-1
Let d(f) = -2*f**2 - 93*f + 192. Let z be d(-50). Is -167 at least z?
False
Let a be (-14)/((-63)/9) + (138 - 2). Which is smaller: 5 or a?
5
Let g = -0.3 + 0.2. Let p = -186.172 + 185.972. Which is greater: g or p?
g
Let x be ((-22014)/(-10))/9 - (-2)/5. Let t be (10/x)/(2/28). Let z be (-16)/42 + (-2)/(-3). Which is bigger: z or t?
t
Let m = 1085568 + -44366078594/40869. Is 0 bigger than m?
True
Suppose 2*w + 5*t = -2839, 0 = 2*w + 14*t - 19*t + 2809. Is -1410 at most w?
False
Suppose -5*q - 10 = 4*i, 3*i - 237*q + 234*q - 6 = 0. Let n(t) = t**2 + 13*t + 15. Let m be n(-12). Let y = -2 + m. Is i >= y?
False
Suppose 3*n + 13 = -2*z, -2*n - 5*z = n + 1. Let h = -145143 - -145129. Is n != h?
True
Let z be -81 + 1*(-3 + 4). Let x be ((-3)/2)/(8/z). Let d be -1 - (-2)/x - (-22 - -21). Which is smaller: d or 1?
d
Suppose -5*l = t + 9101, 5*t - 10056 = 3*l - 55477. Which is smaller: t or -9087?
-9087
Let u = -55 + 58. Suppose u*c - 14 = 3*m - 2*m, -4*c + 24 = -4*m. Which is greater: c or 8/3?
c
Let f(u) = u**3 - 24*u**2 + 48*u - 11. Let b be f(22). Suppose -9*m + 338 - b = 0. Are m and -14 unequal?
True
Let s be 15/7*3/(-6). Let r be -9*((-3)/9)/(11/88). Suppose 2*f + 2*w + 2*w + r = 0, -18 = 4*f + 2*w. Is f equal to s?
False
Let v = -25 + 55. Suppose -3*n - 5*c + 20 = 0, 9*c + 2 = n + 6*c. Is v at most as big as n?
False
Suppose 11*p - 12*p + 14 = 0. Suppose -15 = j - p. Let s be 5*j*(-13 + 14). Which is bigger: s or -6?
s
Let l = 21537 + -21531. Are l and 311 non-equal?
True
Let d be -6*(7/2 - -3) + 5. Let t = 23 + d. Is t equal to -8?
False
Let n = 18592.4 - 18557. Which is smaller: -40 or n?
-40
Let a be (19 - 16)*(-16)/1385520. Is 1 equal to a?
False
Let h = 0.3 - 0.41. Let u = 0.053 - 0.123. Let v = u - 0.13. Which is bigger: h or v?
h
Suppose -5*l = -2*q - 75, -44 = -3*l + 5*q + 1. Let z be (-1302)/315 + 2/l. Which is greater: 2 or z?
2
Suppose -404 - 230 = 2*i - 5*v, -1280 = 4*i - 4*v. Which is smaller: i or -15?
i
Suppose -7*s + 3*s + l = -837, -2*s + 3*l + 421 = 0. Let f = -209 + s. Is 1/95 at most as big as f?
False
Let o = 133230 + -348396441/2615. Which is smaller: o or -1?
-1
Suppose 5*n - 3*q - 1042 + 22 = 0, q = -5. Which is smaller: n or 218?
n
Suppose 4*q = 9*q - 30. Let n be -6*(3 - (-5)/(10/q)). Let r = n - -30. Which is bigger: r or -3?
-3
Let m be (-2 - 11/(-4))*-64. Suppose 0 = -2*l + 5*c - 102 + 76, -c + 12 = 3*l. Let w be (-1)/((380/m)/(l/8)). Which is smaller: w or 0?
0
Let y = -266 - -303. Suppose -33*q = -y*q - 36. Is q at least as big as -8?
False
Let c be (-23)/(-2) + (-12)/24. Suppose -c + 31 = 10*p. Is p at most -13?
False
Let z(n) = -n**2 + 4*n + 54. Let y be z(0). Let c = 4 + 42. Let x = c - y. Which is bigger: -0.2 or x?
-0.2
Let n be 34/9 + 301/(-63) + 5. Suppose n*a = 8*a - 4*f + 32, 3*f - 36 = 4*a. Let c be (8/a - -2) + -2. Which is greater: c or -0.13?
-0.13
Let h = -0.381 - 185.619. Let n = -187 - h. Which is smaller: -3/14 or n?
n
Let p = -583 - -643.08. Let i = 60 - p. Let x = i - 6.52. Is 1 greater than or equal to x?
True
Suppose 3*l - 8 = 4*l. Let q be 2/(-10)*-134*(-20)/l. Is q > 67?
False
Let o = 495 + -351. Let i be 2/(o/(-42))*(-64)/12. Which is smaller: 3 or i?
3
Let v = 80 - 36. Let z = 35 - v. Let l = -3 - -1. Which is smaller: l or z?
z
Let z = -0.9459 + 0.9369. Is z > 0.16?
False
Let k = -80 + 85. Suppose 4*z - v = -3*v + 18, k*z + 3*v = 25. Let i be (2 - 1)/(z/32*-4). Which is smaller: -11/3 or i?
i
Let n(v) = -39*v - 168. Let p be n(-11). Let w = -523/2 + p. Suppose -2*h = -h - 18. Which is smaller: h or w?
w
Let a = 40755 + -40595. Let b be (-6)/(-9) + 1/(-3). Which is smaller: b or a?
b
Let j be 390/100 - (-4)/40 - -119. Is 121 < j?
True
Let l(u) = 7*u - 107. Let t be l(-13). Let w be (-4)/(-6) + 492/t. Which is smaller: -1 or w?
w
Let n be 0*(-5)/20 + 2. Suppose n*s = -23 + 123. Suppose -s*h = -49*h + 43. Is -43 at most h?
True
Let y = 693827/5 - 17447667599/125735. Which is greater: y or 0?
0
Let l(k) = 13*k**2 + 2*k - 77. Let v be l(5). Suppose -939 - v = -21*x. Is 63 greater than or equal to x?
True
Let z = -972130/361 + 2693. Is z equal to 1?
False
Let q be -2*(-6)/(-12) + 1 + -2. Let f be ((1 - 1) + q)/(2/(-4)). Suppose 0 = -5*s + 5*r - 195, -3*r - 159 + 3 = f*s. Is -38 < s?
False
Let x be 1312/164 - 1*7. Is -2/313 greater than or equal to x?
False
Let u = 0.315 - -1967.685. Which is bigger: u or -0.1?
u
Let j = -1466/3 + 494. Let p = 220 - 216. Suppose u - 36 = -4*u + p*b, 0 = -u + 2*b + 12. Is u greater than or equal to j?
False
Let y = -10966723/66 + 166167. Let i = 9/2 - y. Let l be (1 + (-14)/7)*-1. Is l >= i?
True
Let n = -3018 - -3011. Let l be 4/26 