Let r be y(-7). Let s = -63 - r. Suppose q + 13 = -3*z - 0*z, 3*z + s = -2*q. Is z not equal to -15/4?
True
Let q = 40.59 - 272.49. Let h = q - -232. Is h equal to -144?
False
Let p = -7 - -6. Let i be (-12)/9*(222/185)/(8/10). Which is smaller: p or i?
i
Let t(a) = 5*a**2 + 2*a**2 + 31*a - 30*a. Let q be t(3). Suppose -q = -g - 0*g + 5*r, r + 234 = 5*g. Which is smaller: g or 45?
45
Let n = 4901.4 + -405.4. Which is smaller: n or -1?
-1
Let g = 902.31 + -854.3. Let o = 51 + -99. Let p = o + g. Is p < 0.3?
True
Let j = -22 + -18. Suppose -m + 31 = -4*p - 2, -54 = -m - 3*p. Let c = m + j. Which is smaller: 34/7 or c?
34/7
Let a = -2605.187 - -2605. Is a >= -5/4?
True
Let s be -2 - 2 - (-2 + -5*(6 + -5)). Is 101/62 > s?
False
Let o = 8 - 9. Let x = 4/2833 - -5446/155815. Is o > x?
False
Let m = 18956728/8709 + -46/2903. Which is smaller: m or 2178?
m
Let r(s) = -197*s - 1181. Let x be r(-6). Let d be (10/15)/(1/(-27)). Let p be 16/(-12)*d/(-80). Is p less than x?
True
Let k be ((-441)/35 - -7) + (-4)/10. Let r be ((-170)/442)/(((-1)/(-12))/1). Is k less than or equal to r?
True
Let c = 19594 - 19511. Let n = 138 - 57. Which is greater: c or n?
c
Suppose -4*c = 21 - 37. Suppose 0 = -c*s + 14*s - 140. Which is greater: s or 12?
s
Let g(c) = -379*c + 3730. Let s be g(-15). Do 9415 and s have the same value?
True
Suppose -2*q - 5 = -17, -2*j + q - 8 = 0. Is j at least as big as -3/985?
False
Let r be (90/120)/(-1 + 54/56). Let b be r/2 - (-5 - 1). Let o be (2/(-3))/(3/27). Is b at least as big as o?
True
Let y(i) = -152*i - 552. Let f be y(-3). Which is smaller: f or -83?
f
Let y(w) = w - 2*w**2 + 8 + w**2 - 1. Let g = 9443 + -9445. Let z be y(g). Which is smaller: -4/33 or z?
-4/33
Suppose 7*w - 4*w = 0. Suppose 4*v - 147 = -5*a - 6, w = -2*v + a + 53. Suppose 7 = 30*u - v*u. Is u at most as big as 3?
False
Let w = 268 + -131. Let s = 138 - w. Is s equal to -2/317?
False
Let g be (72/(-48))/(3/(-1006)). Is 507 less than or equal to g?
False
Suppose 3*k = 5*b + 30, -110*b - 12 = 5*k - 108*b. Which is bigger: k or -22/225?
k
Let p be -2 + 9514/(-14) - (-81)/(-189). Is -688 bigger than p?
False
Let v = -2/1677 - -5047/13416. Let w = -25727256151/2037 - -12629974. Let y = w - 2/291. Which is smaller: y or v?
v
Suppose 5*p - 4*x = -365, 177*x - 178*x + 5 = 0. Are -62 and p non-equal?
True
Let n be 3 - (16/(-8268) + 3). Let d = -274895/8268 - n. Which is greater: -32 or d?
-32
Let f be -1*34*16/32. Let a be f/(-34)*(-8)/(-23). Let o(h) = -h**3 + 2*h**2 + 3*h + 1. Let y be o(3). Is a < y?
True
Suppose 0 = -4*o + 12, -9*o + 6*o = 2*r + 1003. Let p = r - -18725/37. Which is smaller: p or 0.3?
p
Let i be ((-272)/(-40) + -8)*(-90)/4. Let b = 17 - i. Are -0.07 and b equal?
False
Let s(k) = 34*k + 339. Let j be s(-10). Let c be j*2*(-4)/4952. Is -1 equal to c?
False
Let u = -13540 + 13537. Is -141.6 at least as big as u?
False
Suppose 5*p - 39 = -19. Suppose 9 = -4*n - 4*b - 15, p*n = -3*b - 22. Let u be -1*3 + 96/n. Which is smaller: u or 0.2?
u
Let g(x) = 101*x - 3. Let r be g(-6). Which is bigger: -610 or r?
r
Suppose 0 = -634*w + 821*w + 4488. Is w > -11?
False
Let b(o) = -o**3 + 5*o**2 - o + 10. Let m be b(5). Suppose -68*t + 69*t + m*p + 27 = 0, -5*t = p + 111. Is t at least 2/31?
False
Let q(o) = 4*o + 9. Let m be q(-15). Let u = m - -30. Suppose -157 = 11*h + 74. Is u smaller than h?
False
Let m = 290 + -290. Which is smaller: m or 17/36?
m
Let s = 992 - 994. Suppose -16 = 4*j - 0*j. Let x be (j - -2)/((-9)/1). Which is smaller: s or x?
s
Let h be (-52969)/115 - (9/5)/(-3). Does -460 = h?
True
Let o(l) = -l**3 - 2*l**2 - 4. Let c be o(-3). Let h be 3*1*42/(-126) - (4 + -14). Let s be (-1767)/(-441) - (h - c). Is 1 greater than or equal to s?
True
Suppose 5*u + 0*u - 2*f = 533, 2*f + 426 = 4*u. Suppose 5*g + 10 = 0, -3*p - 9*g = -4*g - 362. Let d = u - p. Which is greater: -0.2 or d?
-0.2
Let l be 764526/2943 + 4/18. Is l != 272?
True
Let t = 39249 + -1702700119/43382. Which is bigger: t or -1?
t
Suppose -4*u - 1763 = 5*a, -243*u + 1396 = -4*a - 239*u. Let t = -555 + 203. Which is bigger: a or t?
a
Let s = -270/17 + 38323/2414. Let p = -7943 + 7943. Which is smaller: s or p?
s
Let h = -4128.05 - -4128. Which is bigger: -369 or h?
h
Let j = -15.21 - -0.31. Let l = j + 14.8. Is l bigger than 23/3?
False
Let j be 1/(1 - 3) - -1. Let c = -0.231 - 0.369. Which is greater: j or c?
j
Let d be ((-26)/(-30) - 1)/(((-84)/15)/7). Which is bigger: d or -13.74?
d
Let a = -782.3 + -204.7. Let s = -987.014 - a. Let t = 11 - 43/4. Which is smaller: t or s?
s
Suppose 0 = -26*c + 39*c + 429. Let q = -765 - -1467/2. Is q > c?
True
Let r = 2083 + -2438. Is -1/4 at most r?
False
Let y(r) = r**3 - 54*r**2 + 6*r - 325. Let n be y(54). Is -15/1006 >= n?
True
Let o = 2 + -8. Let u be 2 + o*(-5)/(-50). Let r = 6 - 6. Which is smaller: u or r?
r
Suppose -2*m = 4*z - 8, -5*m + 3*z + 43 = -3*m. Suppose 5*j + m + 11 = 0. Suppose -5*t = 3*y - 3 + 87, -171 = -3*y + 12*t. Which is greater: y or j?
y
Let u = -310 - -307.71. Let h = 3.29 + u. Do h and -2/409 have the same value?
False
Suppose -6*y + 4*b + 8 = -2*y, b = 4*y - 17. Suppose -28*r + y*r - 276 = 0. Which is greater: -38/3 or r?
r
Suppose 2*j - 7 = -91. Suppose -7*i - 3 - 32 = 0. Let v be (3/i)/(j/14). Is v < -10?
False
Let o(t) = 124*t**2 - 33*t + 35. Let g be o(1). Is g less than or equal to 123?
False
Let o be 534*(-21 + 37/2). Is -1335 at most o?
True
Suppose 11000 = -16*q + 6*q. Let r be ((-11)/15)/((-11)/(q/(-8))). Which is greater: 8 or r?
r
Suppose 218 = 10*h + 6688. Let r = h - -1106. Is 459 at most r?
True
Let q = -1279/7 + 183. Suppose -13026*m + 110 = -13004*m. Which is greater: q or m?
m
Let p = 324 + -318. Let b(t) = t**2 - 8*t - 3. Let d be b(p). Does d = -16?
False
Let u be (1 - 20/(-15))*117/780. Let o be (-1)/(-2)*0/1. Do u and o have the same value?
False
Let c be (-3)/(-7) - 58045/135128. Is -1 equal to c?
False
Let i be 17 - (-2 + 8 + (-6 - -4)). Let k(d) = d**2 + 4*d - 1. Let j be k(-5). Suppose 5*q - 54 = j*c, 5*q - 47 = -4*c - 1. Is q greater than or equal to i?
False
Suppose 3*x - 153 + 407 = 5*v, x - 95 = -2*v. Suppose 0 = -5*f - 2*g + v, -2*g = 3*f + g - 24. Does 8 = f?
False
Let o = -17 - -21. Suppose o*j = 23 - 11. Suppose j*v + 12 = -3*f + 4*f, 0 = 4*f - v - 4. Is f >= 2/225?
False
Suppose 29*i = 82*i - 636. Let f be 0 + 1 + (-6)/3. Let v be (5/(-11) + f)*15/i. Which is bigger: -2 or v?
v
Suppose -384*g = -436*g. Is 3.515 > g?
True
Suppose -2*p = -8, -4*p = 6*a - 7*a + 278. Suppose 5*k + 16*k - a = 0. Is 10 at least k?
False
Suppose 9 = d - 2*z, 88*d - 87*d - 4*z - 13 = 0. Is -1/521 < d?
True
Suppose -36*l = -35*l + 38. Let a be (-2390)/(-38) - l/361. Which is bigger: 64 or a?
64
Suppose -144*f + 56*f = -68*f + 4620. Is f greater than -0.1?
False
Let j = 10976 - 10975. Is j greater than 3003?
False
Let g(u) = -366*u - 1719. Let l be g(-4). Is l > -5/2?
False
Let z be -2 + (-819)/(-135) + 21/9. Which is smaller: z or 5?
5
Suppose -12 = 10*j - 9*j. Let v be ((-124)/(-6))/((64/j)/(-8)). Let w be (1*-2)/(76/(-1254)). Is v < w?
True
Suppose -3*i - 2*p = -137, 0*i + 3*i = -p + 139. Let a = i + -7. Let f = a - 2038/51. Is f bigger than 0?
True
Suppose q + 20 = 4*i - q, -4*q = 16. Suppose 3*h + b - 4 = 0, 2*h + i = h + 4*b. Is 2/45 != h?
True
Let i = -3368 - -370483/110. Let w = i + 21/2255. Which is greater: 0 or w?
w
Let x(c) = -20*c**3 - 5*c**2 - 4. Let m be x(-3). Which is smaller: m or 489?
489
Let p = 5.55 + -5.75. Suppose -3*v = -4*i - 45, 0 = 5*i + 5*v - v + 64. Let j be ((i/34)/2)/1. Which is smaller: j or p?
p
Let n be (-1544)/(-6) + (-12540)/1710. Suppose 3*a - 752 = -5*t, -1246 = -5*a - 4*t + 3*t. Is a greater than n?
False
Let z be (-34)/(-289) - 4/34. Suppose -159 = h + 2*b, -2*h + 2*b = -z*b + 294. Is -151 equal to h?
True
Let v = 37940 + -37940.1. Let t be ((-9)/267)/((-3)/(-2)). Which is bigger: v or t?
t
Let p be 6/12 - (-4 + (-4401)/6). Which is bigger: 739 or p?
739
Suppose -5*n = -15, -3*b + 52 = 4*n + 43. Which is bigger: b or -7/503?
-7/503
Let y = -226 + -48. Let q be 16/32 + y/(-4). Let a = 827/12 - q. Is -1 > a?
False
Let r be (-372)/(-189) - (-2)/(-1). Let x be 9/(378/98)*6/14. Is x != r?
True
Let f(p) = -5040*p - 2403. Let k be f(2). Is k at most -12483?
True
Let w = 273 + -