*z**2 + 2*z - 1. Let t be u(19). Suppose t*x - 121 = -84. Is x greater than j?
True
Let x be (546884/117 - 6/81*3) + -2. Is 4671 greater than x?
False
Suppose 0 = -410*m + 647 - 237. Let p be (-3)/6*2 + -98. Let x = -1783/18 - p. Do x and m have the same value?
False
Suppose 2 = w - 2*w. Let t = 977 - 1018. Which is greater: w or t?
w
Let y(s) = 2*s**2 - 33*s - 18. Let j(p) = -3 + 3 + 39*p - 2*p**2 + 37. Let k be j(20). Let o be y(k). Is o at least as big as -2/143?
False
Let k be 6/(-15) - ((-11155536)/(-140))/(-31). Which is greater: k or 2566?
k
Let a(n) = 40*n - 242. Suppose 17*m = 13*m + 5*x + 12, -4*m = -x - 28. Let t be a(m). Which is greater: 74 or t?
t
Let u = 1619/39 + -336/13. Suppose 5*w + 3*m = 88, 6*w - 3*m = 4*w + 31. Which is bigger: u or w?
w
Let s = -411 - -411. Suppose l + 3*l - 8 = 0, 3*x - 2*l - 116 = s. Which is smaller: 38 or x?
38
Let o = -60 - -60.58. Let x = 52 + -51.38. Let i = o - x. Does -1 = i?
False
Let d = -1232 - -1813. Let b = -584 + d. Which is greater: -66 or b?
b
Suppose -7*v = -16*v + 18. Suppose 48 = -v*t - 10. Suppose z = 4*p + 107, -5*z + 115 = p - 6*p. Which is smaller: t or p?
t
Let y be (-1 - (-1)/1)/(114/(-38)). Suppose y = 2*l - t + 3, -t - 24 = l - 6*t. Suppose 7 = 5*g - 2*r, g - 1 = 4*g + 4*r. Does l = g?
True
Let g = 11.405 + -0.405. Which is smaller: g or 2/195?
2/195
Let u = -12357 - -12601. Is u <= 244?
True
Let o = 1.1563 - 63.1563. Which is greater: o or -18?
-18
Suppose 0 = -4*n + 2*q + 3728, 729*q = 2*n + 733*q - 1834. Is 932 < n?
False
Let o be (-4 - -10) + 46 + 1. Let z be (18/12)/(3/4). Suppose 0 = z*k - 86 - 18. Are o and k equal?
False
Let l be 1/((-555)/(-186) + -3). Let w = -62 - l. Let x be (-1)/((-21)/(-9)) + w. Which is bigger: 1 or x?
1
Let p = 36401 - 35316. Is 7594/7 greater than or equal to p?
False
Let b = -1900.686 + 10.686. Is 2/11 greater than b?
True
Let k be (6/9)/((-106084)/12). Let y = k + -5012453/212168. Which is bigger: -23 or y?
-23
Let r(o) = 207*o**2 - 98*o + 293. Let j be r(4). Which is smaller: j or 3216?
j
Suppose -m = -5*g + 1258, -90*m + 2492 = -92*m + 2*g. Do -1242 and m have the same value?
False
Let t be (17/(-4))/(1/4). Let z = -28 + t. Let l be 0 + (3/2)/(1671/(-51244)). Do z and l have different values?
True
Let g = -6872/878325 + -2/3675. Let l(z) be the first derivative of -z**3/3 + 5*z**2/2 + z + 3. Let w be l(5). Which is smaller: w or g?
g
Suppose 4*r - 15 = f, 23 = -3*f + f + r. Let b be (-1 - 0) + f/((-11)/(-10)). Let l = b + 11. Is 5/14 bigger than l?
True
Let v be 234/(-4)*(-75312)/(-5076) - -5. Let r = -863 - v. Is -4 != r?
True
Let w(j) = j**2 + 17*j - 16. Let b be w(-17). Suppose -4*t + 7 = -1. Suppose -4*a + 4*l + 0 - 72 = 0, -4*l + 38 = -t*a. Are a and b equal?
False
Suppose -4*y - 2*u + 86 = 0, 0*y = 4*y + 3*u - 87. Let z = -1/15920 + -332329/15920. Let s = z + y. Which is bigger: 0 or s?
s
Let u be (5 - 13) + 605540/(-84). Let j = -7215 - u. Is j at least as big as 1?
True
Let a(t) = 2*t**2 - 2*t - 1. Let i be a(-1). Let d = i - 2. Let q = -8/599 - -1222/1797. Which is greater: q or d?
d
Let g be 1079/(-91) - -12 - (-4491)/21. Which is bigger: 211 or g?
g
Let k be -6*(1 + 4/(-3)). Let a be (-4)/26*(-7)/(8400/520). Does k = a?
False
Let o be 3/2*(7/12)/((-265)/3392). Which is smaller: -139 or o?
-139
Let p be 12/15 + (-44965)/36400. Let q = -1/455 + p. Which is smaller: -1 or q?
-1
Let v = 202.0489 + -0.0489. Let j = v - 202.2. Is -10 > j?
False
Let b(z) = -2*z**3 - 8*z**2 + 4*z + 14. Let o be b(2). Is o not equal to -38?
True
Let a = -0.01547 + 0.01547. Is a greater than -0.3896?
True
Suppose -j = 2*t, -4*t - 3*j + 10 = -6*j. Let b = 39172 + -665918/17. Is t not equal to b?
True
Suppose -2*u - 82 = -5*m + 512, -2*u - 114 = -m. Suppose m + 8 = -8*i. Which is bigger: i or -14?
-14
Let c = -1720.9 + 1721. Is c less than or equal to -2334?
False
Let t = -32998 + 3398776/103. Which is smaller: t or -1?
-1
Suppose 0 = 2*f + x + 8, -5*x = 4*f + 6 + 10. Let l be f*(-21)/(-15) - 4/10. Is 3 < l?
False
Suppose 0 = -7*b + 3*b - 84. Let g = -10 + b. Let v(n) = 10*n + 39. Let w be v(-7). Are w and g nonequal?
False
Let a = 932 - -20670. Is 21601 at least as big as a?
False
Suppose 3*l - 300 = z - 298, 3*l + 4*z = -23. Which is greater: l or 1/3319?
1/3319
Let t = 2.79 + 10.11. Let w = -32.9 + t. Is w equal to 3?
False
Let j(f) = -233*f + 3029. Let b be j(13). Which is bigger: b or -4/1531?
b
Let i(q) = -3*q**3 + q**2 + q - 3. Let c be i(-2). Suppose 0 = -0*y + 19*y + 16*y - 525. Which is greater: y or c?
c
Let a(r) = r**2 - 2*r. Let i be a(3). Suppose w + w = p - 6, p - i*w - 1 = 0. Let q be (-20)/(-16) - (-72)/(-32). Which is smaller: p or q?
q
Let o = -478 + 514. Is o != 678/19?
True
Let w = -56639111/419 + 135177. Do w and 1 have the same value?
False
Suppose 2*p = 23*p - 189. Let a be 440/8 - (-4)/((-12)/p). Let u = 0.3 + -0.4. Which is smaller: a or u?
u
Let c be (-6)/(3/(14 - -4)). Let t = 19285 + -19322. Is t != c?
True
Let a = 6240.582 - 6241. Which is bigger: -3 or a?
a
Let n = -13848 - -13849. Is 1/52139 greater than or equal to n?
False
Let i be -12 - (0 + -2) - (-123716)/2041. Which is smaller: 50 or i?
50
Let v = -3534 + 3534. Is 0.03758 less than v?
False
Let a be (32/40)/(2/1565). Suppose 630*r - a*r = -152. Which is greater: r or -183/5?
-183/5
Let k = 15 + -11.1. Let w = -1273.1 - -1273. Is k smaller than w?
False
Suppose -3*f - f = 44. Let w = -77180 + 77160. Is f <= w?
False
Let h = -1 + 1. Let k be -38 + 2856/392 - -29. Which is greater: k or h?
h
Let d = 4317 + -4320. Is -2/419 > d?
True
Let j(q) = q**3 + 6*q**2 + q + 6. Let v be j(-6). Let i = 21937/2077659 - 9/10037. Is v smaller than i?
True
Let u = -24329/39 + 1928/3. Which is greater: u or 19?
19
Let b = -1005/10528 - -1/4512. Let h = -3 - -2.7. Which is bigger: h or b?
b
Let w = 59305 + -163503887/2757. Is -1 < w?
True
Let o = -190 - -65359/344. Which is greater: o or 0?
0
Let j = -251 - -335. Let p be (1*(-6)/j)/(1/(-2)). Let r be 2/(-5) - (-2)/5. Is r less than p?
True
Let g be 2529/141 + -10 - 8. Let u = -2867/2 - -67395/47. Let p = g - u. Are -4 and p non-equal?
True
Let c = -1769.131 + 1768. Let w = -0.031 - c. Which is smaller: 17 or w?
w
Let x = 86 - 27. Suppose -m + 105 + x = 4*s, -s = -4. Is m smaller than 147?
False
Let z = 17160 + -17162. Is z <= -9.96?
False
Suppose 3*t = -2*s - 2*t - 19, -2*s + 11 = -t. Suppose 17*y + 308 = s*y. Which is bigger: -3 or y?
-3
Let p(i) = 7*i - 2. Let q be p(2). Suppose -3*l - q = 0, 5*a - 7*a - l = 6. Is a less than or equal to 5/13?
True
Suppose -5*y + 369 = -2*y. Let z be 495/y + (0 - 4). Is z > 0?
True
Suppose 3*o - 3*b = 3, -15 = 3*o + 9*b - 6*b. Let t be -3 + 1 + (-148986)/(-198). Let l = t - 753. Which is smaller: l or o?
l
Let s(t) = 4*t - 19. Let x be s(6). Suppose 2*i - 3*z + x = -0, -15 = 4*i - z. Is -36/13 at least i?
True
Let a(o) = o**3 - 18*o**2 + 2*o - 34. Let m be a(18). Let s be (-2)/((-9)/(-42)*(-4)/(-3)). Does s = m?
False
Suppose -4*h + 700 = 2*i, i - 1168*h = -1165*h + 365. Which is bigger: 355 or i?
i
Let h = 5558 - 83303/15. Let y be (19*2/5)/2. Let q = h - y. Which is smaller: q or -3?
-3
Let f be 1 + -1 - (3 - 3). Let j be (1 - -1)*(-1746)/30. Let b = 116 + j. Which is smaller: f or b?
b
Suppose -5*f + 2*a = 148 + 74, -3*f + 2*a - 134 = 0. Let s be (-430)/(-1)*(0 + 4/(-10)). Let u = -215 - s. Which is greater: u or f?
u
Suppose 0 = 4*s - 12*y + 8*y + 1476, 0 = 2*s - y + 734. Let q = s + 85. Is -280 > q?
False
Suppose -9*y - 1041 - 2046 = 0. Let w = y - -502. Is w smaller than 156?
False
Suppose 5*y = -j + 1014, y - 233 + 29 = j. Is y > 201?
True
Let j be -5 + 0/(2/5*(-185)/(-37)). Suppose x - 27 = -35. Is j greater than x?
True
Suppose 31 = 60*m + 91. Is m at least as big as 4/57?
False
Let t be ((-9)/(-45))/(12/(-2770)). Is t greater than -46?
False
Let c = -5 - -3. Let v(m) = -m**3 + 24*m**2 + 202*m + 453. Let j be v(31). Do c and j have the same value?
False
Let a = -2.45786 + 139.40486. Let f = -0.053 - a. Is f greater than or equal to 2?
False
Let q be (-402)/(-10) - (-1)/(-5). Let j(h) = -6 - 22*h**2 + 102*h - 105*h - 22 - h**3. Let v be j(-22). Is q less than or equal to v?
False
Let o(n) = -77*n - 1. Let z be o(-3). Suppose -5*s = 5*s - z. Which is smaller: s or 22?
22
Let r = 43 - 43. Let g