et x be (-10)/w + 111/(-39) - -6. Is -0.16 equal to x?
False
Let p = -76 - -158. Let l = -67.84 + -10.06. Let d = p + l. Which is smaller: d or -1?
-1
Suppose -75*o + 2450 = -70*o. Which is greater: 3434/7 or o?
3434/7
Let p = 508 + -497. Let c be 570/(-35) - p - (-4)/14. Do c and -32 have the same value?
False
Let r(x) = -x**2 - 2*x + 3. Let o be r(-3). Let b be ((-20)/8)/((-2)/(-40)). Let p be (-72)/170 - (-20)/b. Which is smaller: p or o?
p
Let i = -44707/37 - -1205. Are -3 and i equal?
False
Let d be ((-2)/25*(-10)/6)/(34/(-1173)). Is d >= -0.099?
False
Let m = -225 + 232. Suppose -m*z - 18 = -46. Which is greater: z or -1?
z
Let v = 47 + -53. Let y(w) = w**2 + 5*w - 18. Let n be y(v). Let u(k) = -k**2 - 10*k + 28. Let b be u(n). Which is smaller: b or 5?
b
Let b be 7068/20 + (-4)/10. Suppose -6*z + 10*z = -16, -3*c - 12 = 3*z. Which is greater: c or b?
b
Let x = 234 + -230. Let m be 5*(2/4 - x/(-8)). Is m smaller than 4/11?
False
Suppose 9*z + 45 = 4*z. Let w be 0*(21/z)/7. Let q be 111/(-74)*(-4)/11. Is w at least q?
False
Let n = -0.7747 - -0.5647. Is 10 bigger than n?
True
Suppose 27*w = 374 - 630 - 581. Do w and -35 have the same value?
False
Let r = 2 + -9. Let c = r + 4. Let q be (9/24)/(1870/(-80) + 11 + 13). Is q < c?
False
Suppose -4*p = l - 11, 4 + 21 = 3*l + 4*p. Let c(x) = -9*x + 16. Let d(j) = 19*j - 32. Let w(i) = -13*c(i) - 6*d(i). Let n be w(l). Is 4 greater than n?
False
Suppose -7*f - 4*f + 33 = 0. Suppose -7 + f = -2*k. Let n be 0/(k/(-9) + (-192)/108). Which is bigger: n or 1/81?
1/81
Let k = 52.092 + -52. Let q = 5459 + -5461.908. Let a = q - k. Is a at most as big as 0.4?
True
Let p be (22 + 3/(-6)*6)/(-2 - -3). Which is smaller: p or 29?
p
Let g = -0.04037 + -490.41963. Let o = g + 6.46. Is 0 smaller than o?
False
Suppose 0 = -13*h - 95 + 264. Is 11 at least h?
False
Let b = -141.07 - -140.97. Is 2339 not equal to b?
True
Suppose -10*w + 13*w - 4*v - 924 = 0, 0 = w + v - 301. Which is smaller: w or 302?
302
Let m be (-2 - (-139371)/69687)/(108/324). Which is greater: m or 1?
1
Let i = 155 + -152. Suppose -i*n - 3*l = n + 326, 5*n + 2*l = -404. Let z be n/72 - 3/9. Which is smaller: z or -1?
z
Let t(b) = 30*b - 85. Let l be t(10). Let j = -221 + l. Suppose 2*s + v - 5 = 0, s + 4*v - 3 = -4. Is j at least s?
False
Let d = 313/1581 - 3/17. Suppose -3*a + 19 = i - 3*i, 2*i + 1 = -3*a. Let t = i - -6. Is t != d?
True
Let h = 149 + -157. Let a = 2 + -9. Are h and a non-equal?
True
Let h = 60 - 102. Let j(t) = -t**3 + 13*t**2 - 11*t + 101. Let f be 504/40 - (-8)/20. Let l be j(f). Is l greater than h?
False
Let n = 6/1631 + 1607/6524. Is 4.75 smaller than n?
False
Let t be 81/2511*(-25)/(-2). Which is bigger: 1 or t?
1
Let z be ((-358)/34189)/(13/2 + -1). Which is bigger: 1 or z?
1
Let h = 159.8 - 157. Let c = 2.88 - h. Which is bigger: 0.3 or c?
0.3
Suppose -33 = -i - 5*y, 7*i = 2*i - y + 45. Let c be (-48)/108*(-6)/i. Let q = 1/6 + c. Which is smaller: 43 or q?
q
Let v(s) = -2*s**3 + 41*s**2 - 123*s + 57. Let n be v(17). Let w = -10 + -1. Are n and w equal?
True
Let t(q) = 44*q - 1625. Let c be t(37). Which is smaller: 97/46 or c?
97/46
Let x(f) = 159*f + 42. Let z(c) = -53*c - 14. Let w(n) = 4*x(n) + 11*z(n). Let v be w(5). Let y be ((-3)/(-2) + v/54)*-6. Is y greater than -41?
True
Suppose 1368 = 3*l - 7*l. Let r = l + 6468/19. Which is bigger: r or -3?
r
Let z = -629 - -629. Let h be 2/(498/125 + -4). Let i be (252/h)/(-1) + -2. Which is smaller: z or i?
z
Suppose -2*k + 146*j + 794 = 150*j, 0 = 2*k - 7*j - 816. Are k and -13 nonequal?
True
Let y be (-10)/76*846/(-2397). Which is greater: 0 or y?
y
Let c = 646199 + -646302. Let j(r) = 2*r**3 + 7*r**2 + 5*r - 7. Let s be j(-5). Is c <= s?
False
Suppose -64 - 581 = 7*d + 34. Which is smaller: d or -98?
-98
Suppose -2*m = -2*v - 1934, 528 + 2398 = -3*v - 2*m. Let s = 999 + v. Do 23 and s have the same value?
False
Let g = -19/28 + 3/7. Let m = 256.551 + -0.151. Let r = m + -255. Is g at least r?
False
Let h(t) = -3*t**2 + 23*t + 7. Let o be h(6). Let y = 45 - o. Which is bigger: y or -4?
y
Let i be (-612)/(6 + 3) + (3 - 10). Is -97 smaller than i?
True
Let d = -31460.7 + 31461. Which is bigger: d or 6137?
6137
Suppose 12 = -3*z + 3. Let x = -38 + 56. Let h be z/x*12/8. Is -5 bigger than h?
False
Let h = 15320 + -107160/7. Which is smaller: 1 or h?
1
Let s = 2529.8 + -2560.0827. Let n = 0.0173 - s. Let c = -92.7 - n. Are c and 1/2 equal?
False
Let p = -107 - -180. Suppose 4*t - p = -4*y + 3, -3*t = -2*y + 53. Is y less than 10?
False
Let m = 8972202 - 174787468055/19481. Let v = -2/847 - m. Let n = 17 + -16. Which is smaller: n or v?
v
Let b = -45.29 + -47.74. Let z = -93 - b. Is 0 at least z?
False
Let f be (-2)/(-40 + 0) - (-4339751)/3380. Which is bigger: f or 1291?
1291
Let i = -0.02 - -0.08. Let y = 12.94 + i. Let z = 3867 - 3867.1. Which is bigger: z or y?
y
Let r = 33 + 50. Let o = -204 - -13. Let g = 192 + o. Which is smaller: g or r?
g
Let j(c) = c**3 - 3*c**2 - 51*c + 206. Let p be j(5). Are p and 18/65 equal?
False
Let o = -53 - -387. Suppose -o*w = -339*w - 40. Is 21 less than or equal to w?
False
Let y(l) = 79*l - 1159. Let q be y(15). Is q greater than 270/11?
True
Let o = -16.33 - -15.84. Let d = -0.93 - 0.07. Are o and d equal?
False
Let n = 25394157530/949 - 26758866. Let f = -1840 - -24006/13. Let c = n + f. Is c bigger than 0?
False
Let c = 7284 + -7525. Which is smaller: c or -188?
c
Suppose 4*w - k = 15, -12 + 0 = -4*w + 4*k. Suppose -14 = -2*u - w*n, -u - 3*n = -8*n + 28. Is -3 greater than or equal to u?
True
Let b = 53 + -48. Suppose 3*f + 7 = 2*p - 15, b*f - 4*p = -38. Let j be (-4 + (-32)/4)*f/4. Which is smaller: j or 20?
j
Let d(h) = -2*h**3 - 38*h**2 + 204*h + 3035. Let t be d(-21). Let y be 513 + (-4)/(-1) + -2. Is y smaller than t?
False
Let k = -110 - -126. Let u = -15 - -18. Suppose 5*r - u*d - k = 0, 6 = -r + 3*r - d. Which is smaller: r or 1?
1
Suppose -97 + 26 = 84*h + 13. Which is smaller: -1/4929 or h?
h
Let b = 33.87 + -104.5. Let m = -71 - b. Let l = m - -0.27. Is -15 equal to l?
False
Let t = -356 + 499. Let n(y) = 121*y + 1112. Let z be n(-8). Which is bigger: z or t?
z
Let m be ((-18)/(-32)*-2)/(5355/(-90678)). Which is smaller: m or 19?
19
Suppose 166*x - 168*x - 116 = -a, 4*a = -2*x + 394. Let n(j) = 26*j**2 + j - 2. Let h be n(2). Is a at most as big as h?
True
Let s = -0.11 + 0.21. Let m be 324/72 + (-315)/(-6). Which is smaller: m or s?
s
Suppose 0 = 4*w - 17*w + 65. Let c(h) = 14*h - 69. Let j be c(w). Are j and 1/75 non-equal?
True
Suppose 4*j - 2*t - 14 = 2*j, -4*j + 22 = -2*t. Suppose 21*r - 25*r = -j. Which is smaller: -84 or r?
-84
Let n(i) = i**3 + 35*i**2 + 32*i - 63. Let g be n(-34). Suppose -g*s + 29 = q, 0 = -5*q + 21*s - 18*s + 33. Which is smaller: q or 10?
q
Let i(y) = y**2 - 4*y - 4. Let c be i(5). Let x be 26/(c + -3 - -1 - 0). Let o be (-10)/x*4/(-5). Is o > 1?
False
Let i be -1 + 140/(-5) + 9. Let p be 62/(-1302) - i/(-21). Suppose 0 = -3*m + m + 60. Are p and m equal?
False
Suppose h + 0*w - 18 = 3*w, h + 2*w = 28. Let v = -2 + 11. Let s be 1/8 + v/h. Do s and 1 have the same value?
False
Let h = -0.98 + 1.08. Let c = -1.42 + h. Let w = 1.22 + c. Which is smaller: w or 42?
w
Let z(s) = -s**3 - 2*s**2 + s + 1. Let g be z(3). Let u = -2/1389 - 223621/5556. Which is smaller: u or g?
g
Let i(h) = 4*h**2 - 2*h - 8. Let v be i(6). Let a = v + -130. Which is smaller: a or -8?
-8
Let j = -82021 + 237886/3. Is -2726 smaller than j?
True
Suppose 10 = 5*r + 111*q - 109*q, -3*q = -5*r + 35. Suppose -r*c - 2*f + 10 = 0, -8*c + 3*f - 5 = -4*c. Is -4/123 less than or equal to c?
True
Let b = -2 - -3. Let i(o) = 12*o - 116. Let k be i(22). Let v = -77 + k. Which is bigger: v or b?
v
Let p = 24095 + -24094.245. Is p <= -1/2?
False
Let f be (15/10)/((-462)/(-176)) + 86/(-224). Let a = 4 - 1. Suppose 4*w + 8*h - a*h = -25, -3*h = 5*w + 15. Is f less than w?
False
Let d be 10/(3*3/(-585)). Let z = d - -1395/2. Let r = z + -47. Which is greater: 3/19 or r?
r
Suppose -4*g - u + 0 = 7, 0 = 4*g - u + 1. Let c be 3732/7464 - (-3)/1629*(-1014)/4. Is c < g?
False
Suppose 2*d - 4*i + 2344 = 0, -5*d - i = -4*i + 5846. Let j be (-1501)/d*5*(-4)/(-6). Let t = -20/219 - j. Is -4 at least t?
True
Suppose 0 = 22*t - 11*t - 8*t. Suppos