ot equal to -5408?
True
Let b = 0.11 + -0.21. Let g = -0.0386 + -3.0714. Let u = 0.29 - g. Is u < b?
False
Let o be (-11)/44 - ((-726)/24 - 6). Which is bigger: 30 or o?
o
Let k be ((-644)/(-24))/(1 + -7 + 330/45). Do k and 21 have the same value?
False
Suppose 5*j + c - 62 = -c, -5*j = -c - 74. Suppose -j*r = -12*r - 2. Let d be (46/(-8))/(54/(-24)) - r. Which is greater: 2 or d?
2
Let g = -20.9 - -22. Let h = 83.81 + -1.81. Let q = 83 - h. Which is greater: g or q?
g
Let g = -329/4 - -81. Let h = 117.9 + -119.0585. Let u = 0.0585 + h. Which is greater: g or u?
u
Let b(u) = 74*u - 3. Let m be b(1). Suppose -2*g + o + 71 = -71, g = -4*o + 80. Which is bigger: m or g?
g
Suppose 0 = -3*o - 3*f + 75 - 84, o - 5*f = 21. Which is greater: 1/2279 or o?
o
Suppose -4*i + 955*s - 227 = 954*s, 3*i + 169 = s. Is -58 <= i?
True
Let j = -168.712 + 169. Which is smaller: j or -2/5?
-2/5
Suppose 2*m + 4*r + 378 = 0, m + 228 = 2*r + 39. Suppose -d - d + 3*a - 377 = 0, a = 5*d + 949. Is d smaller than m?
True
Let y be ((-10 - 3)*343 - 6)/1. Do y and -4467 have the same value?
False
Let z = 2893 - 5783/2. Which is smaller: -1.6 or z?
-1.6
Let s(l) = l**3 - 9*l**2 - 12*l + 19. Let k be s(10). Let c(q) = q**2 + 3*q + 3. Let y be c(k). Which is greater: 6/19 or y?
y
Let q = 235 - 257. Let m be ((-2)/(-6))/(q/66). Let y be (12/(-14))/(1/(-7)). Which is smaller: y or m?
m
Let q be (-5)/(-8)*(-12)/(-70). Suppose 0 = -3*m + 2*n + 2*n - 28, 4*n - 4 = -3*m. Let g be -4 + ((-12)/m)/((-12)/(-16)). Which is smaller: g or q?
g
Let x be (-5525)/3276 + (-1)/(-6). Let r = x - -14/9. Let d = 262/5 + -52. Is d < r?
False
Suppose -38*m = 42*m + 391 + 1449. Suppose -54 = -0*y + 2*y. Let f = y - m. Is f at most as big as -17/6?
True
Suppose 2*h = -3*h + 10. Let m = -3518/35587 - 12/1873. Which is smaller: m or h?
m
Suppose -187 = 5*v - l, 35 = 3*v - 4*l + 137. Let h = -64 - v. Let s be (h/6)/(8/24). Are -11 and s non-equal?
True
Let a = 65458 - 65441.8228. Let b = a - 0.3472. Let w = b + -16. Is w bigger than 2/3?
False
Let q be (1 - 28/12)/(54/(-4131)). Which is smaller: 411/4 or q?
q
Let v = -24894 - -24877. Which is bigger: -28/5 or v?
-28/5
Let m = -84 + 207. Let a = 69 - m. Let s = a - -54.2. Which is bigger: -4/13 or s?
s
Let o(h) be the second derivative of h**4/6 - 29*h**3/6 + 2*h**2 - h + 11. Let m be o(15). Let x = -3 + 21. Which is bigger: x or m?
m
Let s(r) = -r**3 - 18*r**2 - 14*r - 14. Let y be s(-15). Let p = y - -459. Is p less than -19?
True
Let v be -12 + (-100)/(-10) - (-45)/170*12. Are -0.2 and v non-equal?
True
Let h be 7 - (-30)/(15/(-3)). Let v be -5 + h + (-25)/(325/832). Is v != -65?
True
Let h = -1 + 0. Let y be (650/(-572) - -1)*(-2 - 80/(-75)). Does h = y?
False
Suppose -101370 = -20*m - 11*m. Let h be (-3)/15 - (-624)/m. Is 0.2 less than h?
False
Suppose 0 = -76*n + 50118 - 145726. Is n greater than -1258?
False
Let r(u) = 34*u - 18. Let k be r(-4). Let c be 58/(-14) + (-22)/k. Is c less than or equal to -1?
True
Let o = 1.2694 + 99.5206. Let c = 102 - o. Is c at least -1/2?
True
Let d be (-7 - (-1172874)/167556)*(-24)/(-18). Are 0 and d equal?
False
Let o = -2751 - -2724. Is o bigger than -642/25?
False
Let a be ((-8)/(-5))/4 - 526/(-10). Let c = a - 76. Is -24 != c?
True
Let u = -2.25 - -2.5. Let d = u - 0.45. Let o = 55.09 + -55. Which is smaller: d or o?
d
Suppose -2*y = 8, 0*c + 4 = -3*c - y. Let f be (-3)/(-15) - (1677/15 - 1). Let b = -111 - f. Is c >= b?
True
Suppose 3 = -6*z + 93. Suppose z = -13*t + 16*t, 5*q - 3*t = 0. Are 30 and q unequal?
True
Let c = 20834 + -63224/3. Which is greater: c or -240?
-240
Let k = -7.3381 + 3.3381. Let z be (2 - -2) + -3 + -8. Is k at most as big as z?
False
Let s(d) = d**2 + 8*d - 2. Let r be s(-9). Let p = 83 - 82. Suppose -7 = z - 3*j, -3*z = -4*j - p + 2. Which is smaller: r or z?
z
Let v = -0.08882 + 61.15882. Let l = -0.33 - v. Is 1 bigger than l?
True
Let t(o) = o**2 - o - 976. Let g be t(30). Which is bigger: g or -429/4?
g
Let j(d) = -22*d + 8. Let b be j(3). Let t = b + 62. Suppose 4*y = -3*r, -3*y - 13 = t*r - 5*r. Which is smaller: r or 8?
r
Let l be 8/10 - 12/(-10). Suppose -19 = -l*k + 11. Let t be (15 - k)*(0 - -1). Are t and 9/7 unequal?
True
Suppose 42*h + 22 = 31*h. Let z be 278*1/846 + h/9. Which is bigger: z or 0?
z
Suppose 4*n - 18 - 3 = 3*s, 4*s + 5*n = -28. Let r be 5 - 2 - (-13 - s). Let u be 48/(-4)*(4 - 56/12). Is r at most u?
False
Let o(v) = -90*v - 3677. Let z be o(-101). Does z = 5414?
False
Let b(t) = -t + 62. Let k be b(61). Do k and 44/97 have different values?
True
Suppose b - i - i = 187, b = -3*i + 207. Let m be (-71 - -69)/((1 - 2) + b). Which is bigger: m or 0?
0
Suppose -4*z - 16 = 6*v - 3*v, -5*v = -z - 4. Suppose v = -16*b + 40*b + 2856. Which is greater: -117 or b?
-117
Let x(f) = -19*f + 306. Let v be x(16). Let z(p) = p**3 + 2*p**2 - 1. Let s be z(1). Suppose 2*i - s*u = -10, v*u - 4 = i + 4. Is -7/5 smaller than i?
False
Let h = -16870 - -16834. Is -57 at most h?
True
Let s be (4 - -41)*53/106. Which is smaller: s or -1?
-1
Let w(t) = -t**2 - 8*t - 15. Let m be w(-12). Let p be 57/(-418)*2 - (3 + (-2804)/(-44)). Is p greater than m?
False
Let k = -225 + 1600/7. Suppose 53 = 3*m + 41. Do m and k have the same value?
False
Let b = 0.5683 - 115.0483. Let t = b + -2.52. Let f = t - -102. Which is bigger: -1 or f?
-1
Let a = 3/67 + 3676/201. Let w = -125/6 + a. Which is bigger: 6 or w?
6
Let g(r) = -5*r**2 - 48*r - 15. Let s be g(-9). Let t be ((-3708)/15)/(-4) - s/(-60). Does t = 2?
False
Let s = -3021 + 18113/6. Let h(k) = -k**3 - 3*k**2 + 2*k + 4. Suppose -3*o = -7*o - 12. Let m be h(o). Does s = m?
False
Let b be (-7)/(-1)*63/196*8. Let i be -3*(6/b - -1). Is i > -5?
True
Let y be (218/(-2) - (-28)/(-7))*-13. Let h = y + -8833/6. Is h equal to -3?
False
Let l be 10*1 - (17 + -16). Let f(y) = y**2 - 10*y - 12. Let q be f(l). Which is greater: q or -19?
-19
Let h = -426.997 - -427. Let q = -0.62 - -0.52. Which is bigger: q or h?
h
Let r(u) = u**3 + 3*u**2 - 5*u - 3. Let v be r(4). Suppose -29*t + 12*t + 4272 = 31*t. Is t != v?
False
Let i = -439 + 99. Let q = 25501/75 + i. Let v be 4/10 + 7/(-5). Is q > v?
True
Suppose -3*u + 789 = 6*s, 41 = u - 5*s - 187. Let c = 4.63 + -4.53. Which is greater: u or c?
u
Let r = 0 + 21. Let y = r - 11. Let q = 13 - y. Which is smaller: -1.3 or q?
-1.3
Let n = 507 + -757. Let i = 261 + n. Is i not equal to 6?
True
Let v be (-42)/35*50/(-15). Suppose -l + f = -3*l + 287, 0 = 4*l + v*f - 580. Is 142 at most l?
True
Let r be (-3 - 1998/24)/(24/(-32)). Is r at most 116?
True
Suppose -3*c = -2*d - 0*d + 3085, 2*c + 4*d + 2078 = 0. Let x = c - -87637/85. Which is bigger: -1 or x?
x
Let l = 61 + -39.8. Let f = l - 99.2. Is f > 0.2?
False
Let i(r) = 6*r - 302. Let f be i(51). Let w be (-2)/f*42/3612. Which is bigger: 1 or w?
1
Let i = 223 + -211. Let n be 0 - ((-9)/(27/12) + i). Which is smaller: 6 or n?
n
Let k = -1324 - -2563. Let h = -8689/7 + k. Let i be 2/2 + -1 + -3. Is i != h?
True
Let z = -1503427/16947 + 621/7. Are 1 and z unequal?
True
Let k = -5 - -3. Let w be (-70)/(-115) - (0 + 8 + -6). Is w smaller than k?
False
Let s(j) = -50*j + 3. Let b be s(-3). Let k = 149803 + -149648. Which is smaller: k or b?
b
Let p = -166.9 + 161.9. Which is smaller: p or -4/99?
p
Let f(l) = l**3 + 4*l**2 + 1. Let w(r) = -2*r**2 + 27*r + 41. Let s be w(15). Let z be f(s). Is -4/89 bigger than z?
False
Let q be (-60)/8*18/(-8). Let v be (9 + -5)*(52/(-65))/((-5)/25). Which is bigger: q or v?
q
Let t = 355 + -1307. Let b = t + 951.9. Let h = 0.975 - 1. Do h and b have different values?
True
Let v = 1139.92 + -1144.7. Is v greater than -1?
False
Let u = -811 + 3460. Suppose 10*x = u - 429. Let t = x - 2000/9. Which is smaller: -0.15 or t?
t
Let l = -29820 + 29813. Is 146 greater than or equal to l?
True
Let r = -4 - -6. Suppose -h = -r*h - h. Suppose -2*p + h*p = -22. Is p bigger than 12?
False
Suppose 257 = 51*n + 53. Let b be 2 + ((-379)/159 - n/(-12)). Is b > 1?
False
Let u = -539806 - -539805.9. Let p be 2*-1*(-9)/(-2). Let a be ((-105)/p)/((-4)/3). Which is smaller: a or u?
a
Suppose -3*v = -113 + 413. Let q be -1926 - -1926 - ((-4506)/(-45) - (-8)/12). Is v < q?
False
Let j = -0.0321 - 0.1679. Let y be (-3)/(-5) + (-998)/5. Is j at least y?
True
