ch is smaller: v or 36?
v
Let y be 6660/822 + -15 - -7. Is 1 at most as big as y?
False
Let u(c) = 5*c + 3. Let n be u(-5). Let s(l) = 11*l**3 - 4*l**2 + 3*l + 6. Let v be s(-2). Let b be (v/(-6) + -2)/(42/(-63)). Is b >= n?
False
Let p = -0.8 + -0.2. Let k = -1234.06 - -1234.0222. Which is smaller: p or k?
p
Let p = 0.0153 - -25.8847. Let x = 0.15 + -26.15. Let f = x + p. Is f at least -0.1?
True
Let b = -41.133 - 4461.867. Which is bigger: -1 or b?
-1
Suppose 10*i + 13 = 23*i. Which is smaller: i or 5/562?
5/562
Let l(b) = -b**3 + 2*b**2 - b. Let s be l(0). Suppose s*z - 3*z + 2*j = -709, -2*j - 235 = -z. Which is smaller: z or 236?
236
Let v(r) = -30*r**3 - 661*r**2 - 20*r + 9. Let b be v(-22). Suppose 0 = -3*o + 17 - 122. Is o != b?
False
Let y be ((-144)/(-63) - 2/4)/(101/202). Suppose 6*q - 15 = q. Let g = 8 - q. Is g >= y?
True
Let u = -139587714/34133 + -112109/319. Let m = -4441 - u. Is 0 equal to m?
False
Let c = 0.03178 - -0.05122. Which is smaller: c or -2/7?
-2/7
Let g(p) = 12*p - 121. Let y be g(10). Let q be y/(-3) - 2660/5775. Which is smaller: 1 or q?
q
Suppose d = -2*d + 411. Suppose 12*f - 6*f = -4*f + 1370. Is d at least as big as f?
True
Suppose 0 = -5*c - 5*h + 3705, -7*c + 5*h + 3311 = -1852. Which is smaller: c or 734?
734
Let r(c) = c**2 + 6*c + 4. Let h be r(-3). Let k = h - -6. Let z = 9690 - 9732. Which is greater: z or k?
k
Let h(v) = v**2 - 4*v + 3. Let f = 6 + -2. Let r be h(f). Let z = -540 - -541. Is r not equal to z?
True
Let n = -7092 + 3876. Let x be ((-128)/n)/((-4)/6). Is x bigger than 1?
False
Suppose 143 = 7*o + 10. Let s = 15 - o. Let z be (-21)/s*(-3)/9. Are z and -0.1 equal?
False
Let l = 2649.09 - 2650. Is l at most 0.14?
True
Let g be 7 - (0 - 3) - (3 + -5). Suppose 0 = -3*m + 7*m - g, 5*u - 3*m + 654 = 0. Which is smaller: -127 or u?
u
Suppose -216 = -5*o - 4*g, 4*o - 5*g - 117 - 23 = 0. Let v = o - 52. Let i be -22 + 24 + (v - -1). Is i bigger than -17/2?
False
Let l = -48.74 - -46.6981. Let b = -0.0419 - l. Is -12 smaller than b?
True
Let l(v) = -v**3 - 14*v + 8*v - v + 3 - 6*v - 10*v**2. Let b be l(-9). Do 39 and b have different values?
False
Let v = 30829 - 30829. Does v = -4/2913?
False
Let y = 508950 - 3053915/6. Let j be ((-37)/3)/(2/6). Is j greater than y?
False
Let i = -8 - -11. Let h(k) = -k**2 - 8*k - 15. Let b be h(-6). Let o be -1 + (-2)/b*-3 + i. Which is greater: 4/15 or o?
4/15
Let a = -1/5425 + 16453/965650. Suppose 103 = -315*j + 168 + 250. Is j smaller than a?
False
Let z = -28/51 - -3812/255. Suppose -3*s = 12, -j + 2*s - 34 = 2*j. Let n(m) = -m**3 - 15*m**2 - 14*m + 15. Let l be n(j). Which is greater: z or l?
l
Let d be -99*315/(-20)*(-2)/(-30). Is d less than 103?
False
Let t = 53 - 51. Suppose r - 3*p - 62 = 0, -t*r + 136 = r + p. Let k = -29 + r. Is k not equal to 20?
True
Let s be -11*1*(1 + -8). Let v be (-6)/(-54) - s/(-441). Which is bigger: v or -65?
v
Let x be (14/20)/(7/(-14)). Let p(w) = 4*w - 21. Let u be p(6). Suppose -7*l - 5 = -2*l - 4*g, 5 = -5*l - u*g. Which is smaller: x or l?
x
Let q be 256/(-48)*(-54)/333. Is q at most 1?
True
Let d be (4/(-3))/(16/48). Let p be d + 24/((-20)/(-5)). Suppose 182 = 5*n - x, n + p*x - 26 = -3*x. Which is smaller: 35 or n?
35
Let c be 62/93*(-9)/(-21) - (-4)/(-14). Which is smaller: 14/237 or c?
c
Let h be (1 - 2) + 4 + 37 + -25. Which is greater: 5 or h?
h
Suppose 7*v + 12 + 9 = 0. Let i be (-12)/(-18)*(0 + v/593). Which is smaller: 0 or i?
i
Let d = 6047 + -5967. Is 809/10 at most d?
False
Suppose -5*c - q = -29, -c - 3*q + 0*q = -3. Suppose -c*m - 15 + 87 = 0. Suppose 11*f - m = -f. Which is smaller: f or 18/11?
f
Suppose 0 = 2*u - 336 - 344. Let k be (8/10)/(6/(-15)). Let t be k/(-9) + u/(-153). Which is bigger: 4 or t?
4
Let c(w) = -14*w**2 - w + 62. Let b(d) = 20*d**2 + d - 93. Let k(a) = -5*b(a) - 8*c(a). Let u be k(5). Which is bigger: 283 or u?
u
Let x = -47 + 49. Suppose 2*w - 2*y + 3*y - 401 = 0, 0 = 2*w + x*y - 402. Suppose 5*g - 13*g - w = 0. Which is bigger: -24 or g?
-24
Suppose 27*k - 130 = k. Suppose f = 6 - 1, 2*z + 25 = k*f. Which is smaller: z or 5/24?
z
Suppose -3*t + 3*y - 1473 = 6*y, -5*t + 3*y - 2463 = 0. Let m be (-401)/(-524) + -11 + t/(-48). Is -1 greater than m?
False
Let n = -23.894 - -24. Let c = n + 4.894. Is c smaller than 8/7?
False
Suppose -49*z = -58*z + 477. Suppose -z = -x - 73. Does x = -25?
False
Let o = 0.06 - 0.033. Let i = 0.027 - o. Let d = -1 - i. Are d and -9/5 non-equal?
True
Let w = -8/355 + 1443/48280. Let i = w - -4419/136. Which is smaller: i or 32?
32
Let y(v) = v**3 + 15*v**2 + 20*v + 63. Let d be y(-13). Let m be (d/(-940))/((-1)/((-5)/(-9))). Which is smaller: m or -1?
-1
Let t = 1772 - 1723.44. Let q = 49 - t. Let s = q + 0.56. Is s bigger than -7?
True
Let y be -2*(-3 - 0) - (-203276)/3004. Let h = y - 4/2253. Is h bigger than 74?
False
Let k = 798 - 736. Is 66 >= k?
True
Let h be 20/(-8) - 4/8. Let g(k) = k**3 + 3*k**2 - 2*k - 8. Let s be g(h). Which is bigger: -5 or s?
s
Let l = 19 - 23. Let c(o) = -2*o**2 - 10*o - 9. Let t be c(l). Is -3/16 smaller than t?
False
Suppose 0 = 55*u + 1199 - 1144. Which is greater: 17/133 or u?
17/133
Let c = -462 - -464.39. Let a = c + -3. Let t = 0.51 + a. Is t less than 78?
True
Let r = 10423 + -10324. Is r not equal to 43?
True
Let h = -514 - -511. Let q be 54/(0 - (-6)/3). Let b = q - 38. Which is greater: h or b?
h
Let o be 3 + 24/(-4) - -39. Let k(n) = 6 + 21 + o*n - 37*n. Let z be k(21). Which is bigger: 3 or z?
z
Suppose -5*j - 88 = -3*h - 4, -80 = -4*h - 4*j. Suppose -w - h*w = -2568. Is 211/2 at least as big as w?
False
Let n(r) = 22*r + 15. Let f(s) = -21*s - 14. Let a(l) = -5*f(l) - 4*n(l). Let i be a(1). Which is smaller: 30 or i?
i
Let m(w) = w**2 - 17*w - 1268. Let c be m(-42). Do c and 1209 have the same value?
False
Let g be 1/((-3)/24*4). Let a be g/5 + 2565/6600. Which is smaller: 0 or a?
a
Suppose -6*k - 12 = -l, k = 4*l - 2 - 0. Let f be 35/(-1080)*1/7. Which is smaller: l or f?
f
Let k(f) = 34*f + 1384. Let z be k(-26). Are 0.02 and z nonequal?
True
Let m(o) = 62*o**3 - 4*o**2 + 19*o + 17. Let b be m(-1). Which is greater: -49 or b?
-49
Suppose p = 4*p - 330. Let a = 2282 + -2272. Let g be (-4)/a + 33/p. Are g and 1 non-equal?
True
Let t(a) = -a**3 + 3*a**2 - a + 8. Suppose -7*k + 36 = 2*k. Let n be t(k). Suppose 0 = 4*l - 4*b + 72, 4*l - b = -56 - 1. Is l <= n?
True
Let v = 0.1375573 - 2.1375573. Let z = 1.95 - -0.05. Let l = z - 4. Is v at least l?
True
Suppose -12*l = -30*l + 36. Let v be 2*(-1)/(l/(-4)) - 4. Which is smaller: 2/1183 or v?
v
Let i = -0.166 + -8.134. Let b = 8 + i. Let s = 6896/11 - 13803/22. Which is smaller: b or s?
s
Let t = -241 + 240.742. Let y = t + -54.742. Is y != 0.2?
True
Let v = -6440686 - -2299322104/357. Let k = -55/7 - v. Does -1 = k?
False
Let h(m) = -m + 6. Let y be h(8). Suppose -3*o - 681 = 19*a - 18*a, 1362 = -2*a - 2*o. Let n = -682 - a. Are y and n equal?
False
Let b(y) = -11*y + 27. Let o be -3 + -3*2/(-1). Let l be b(o). Is 7 at least l?
True
Let u = 136276781/2419 - 56336. Which is bigger: 0 or u?
0
Suppose -472*w + 469*w + 306 = 0. Which is smaller: 104 or w?
w
Let g = 1431 - 706. Let q be 3/(-9)*20*9135/(-84). Is q greater than or equal to g?
True
Suppose 3 = r + 4*c, -2*c = 3*r - 0*c - 19. Suppose 2*z + r*z - 9 = 0. Suppose -z + 4 = -3*x. Which is bigger: 1/21 or x?
1/21
Suppose 101*w - 37149 = 284*w. Which is bigger: w or -209?
w
Let i = -33 + -16. Let t be -58 - -2 - (-11 + (0 - -10)). Which is greater: i or t?
i
Let r be 6/4 + 37506/28. Suppose f - 4 = 0, 4*g - 3*f + r = 45. Is -321 at least as big as g?
True
Suppose -5508 = -768*n + 746*n - 5*q, n - 4*q - 318 = 0. Suppose -5*x - 2*d + 1260 = 0, 0*x - 4*d = -3*x + 782. Is n at most as big as x?
True
Suppose -4*n - 314 = 3*d, 5*d = 2*n + 48 + 96. Suppose 2*z + 5*y - 154 = -346, -3*y = 5*z + 404. Which is smaller: n or z?
n
Let q = -8075.07 - -8113. Let p = q - -0.07. Let l = -33 + p. Which is bigger: -5 or l?
l
Suppose -l - 8*o = -11*o - 81, 5*l = o + 419. Let g = -83 + l. Is g <= -144?
False
Let m = -7.4 + -2.6. Let j = -98 - -115. Let r = j + m. Which is smaller: 0 or r?
0
Let v be (-8)/22 + (-325520)/(-1209780). Which is bigger: v or 1?
1
Let d = 10 - 6. Suppose 725 = -6*z + 101. Let o be ((-3)/(-6))/((-16)/z).