Let v be -3 - (-38 - (-2 - t)). Suppose 1 = s - v. Which is bigger: 35 or s?
35
Let h(u) = -3*u - 48. Let q be h(-16). Suppose -r = 1, 5*r + 35 = -q*s + 5*s. Suppose 10 = -3*p + 4*z, -s*p + 3*p + 3*z - 6 = 0. Which is smaller: 4 or p?
p
Let h = -196 - -407. Let l = h - 212.59. Which is bigger: l or 2?
2
Let l = 0.3467 - 0.1767. Are l and -3 non-equal?
True
Let c be (-27)/6*-2 + 0. Let y = 606/35 - 943/105. Is c <= y?
False
Let t = 423667/10 - 42328. Which is smaller: t or 40?
t
Suppose 0 = -5*h - 3*f - 1345, -4*h - 4*f - 1049 = -7*f. Is h at least -264?
False
Let u = 9340 + -4212338/451. Let z(j) = -j**2 + 11*j + 11. Let k be z(12). Which is greater: u or k?
u
Let g = 445 + -470. Let j(v) = -2*v**2 - 48*v + 52. Let q be j(g). Which is bigger: 32/13 or q?
32/13
Let p(v) = v**3 - 28*v**2 + 54*v - 254. Let h be p(27). Which is smaller: 473 or h?
473
Suppose -3*i - 2020 = 3*t + 629, 5*t + 7*i = -4407. Is -887 less than or equal to t?
True
Let a be (304/(-45))/(254/(-635)). Is a smaller than -0.1?
False
Let o = 0.095 + 59.905. Let d = -57.5 + o. Does 0 = d?
False
Suppose 5*d = -2*w + 1337 - 96, 3110 = 5*w + 5*d. Let n be 3 + -1 + w/(-308). Is 1 != n?
True
Let b(c) = 4*c + 74. Let l be b(-17). Let f(m) = 6*m + l*m + 18 + m**2 - 21*m + 26*m. Let n be f(-16). Which is bigger: n or 27/8?
27/8
Let s = -18.08 + 12.08. Is -0.775 > s?
True
Suppose -g - 2*y - 18 = -10, 2*y + 12 = -3*g. Is g at least as big as 31?
False
Let z = -1288099 - -1288084. Let u be 2*(1 - 1 - -18). Suppose 2*g + u = -g. Which is greater: z or g?
g
Let s = 1/2 + -2/3. Let k = 88004 + -88009.6. Is s > k?
True
Let n = 36350/3 - 11947. Let z = n - 170. Which is bigger: z or -19/3?
z
Let g be (-1 + (-18)/(-30))*1044/456. Is g < 0?
True
Let a = 190 + -200.7. Let o = a + -0.3. Which is smaller: -3 or o?
o
Let k be 2/(-5) + 27/5. Suppose n + 5 = 5*j - 4, 0 = k*n + 5*j - 15. Is -2 at least n?
False
Let d = 1 - 0. Let l be 1/(d/2) + -2. Let y = 40974 - 41020. Which is smaller: l or y?
y
Suppose 1537*o - 1529*o - 16624 = 0. Which is greater: o or 4157/2?
4157/2
Let y be ((-4)/6)/(1/12). Let h = -90 - -90. Suppose 0 = -8*g - h*g - 48. Does y = g?
False
Suppose 4*y = 3*g - 20, -4*y - 20 = g + 2*g. Let d = -420 - -349. Let i = d - -72. Do i and g have the same value?
False
Let t(k) = -k**3 + 58*k**2 + 195*k - 91. Let v be t(61). Which is smaller: 4 or v?
4
Let q(o) = o**3 - 33*o**2 - 151*o + 737. Let t be q(39). Are 3974 and t nonequal?
False
Let u = -1113 + 1164. Suppose x + 5*s + 13 - 80 = 0, 0 = 3*x - 2*s - 150. Which is bigger: x or u?
x
Let v be (-672)/108 - (-2 + 32/18). Let c be (8/v)/(-2) + 11700/108. Let r be (-6)/(-24) + c/(-4) - -2. Which is bigger: -26 or r?
r
Let y be (-3 + (-4491)/(-1485))/((-4)/10). Let p be 4/12 + 13/33. Let g = p + y. Which is bigger: 0 or g?
g
Suppose -50*t - 195*t = 490*t - 35280. Let h = 4/249 + 3955/83. Which is greater: t or h?
t
Let a be -2*14/49 - (-4)/7. Suppose -6*i + 77 - 71 = a. Which is smaller: 50 or i?
i
Let d = 3185 + -2578. Are 608 and d nonequal?
True
Let c be (6*(-2)/9)/((-2)/(-63)). Let i be (c - -42) + 2/(-3). Is 5/6 < i?
False
Suppose 1502820 = 431*m + 29*m. Is 13063/4 greater than or equal to m?
False
Let y(l) be the third derivative of -29*l**4/12 - 3*l**3/2 - 27*l**2. Let m be y(2). Let b = m + 92. Is b less than -33?
False
Let p be (-1)/(2 + 65/(-35)). Let z(o) = -o**2 - 9*o - 12. Let a be z(p). Let q be 6/(-9) + 2/a. Is -1 bigger than q?
False
Let z(f) = 170*f**2 + f + 1. Let y be z(-1). Suppose 0 = 128*j - 19530 + 9479 - 11581. Which is greater: j or y?
y
Let q = -656 - -7218/11. Let n = 5 - 4.8. Let y = n + -0.2. Is q != y?
True
Let b = 45 - 41. Let d = -3.82 + -0.08. Let x = b + d. Is x at least as big as 0.2?
False
Let y = -3355 - -3524. Do y and -0.2 have the same value?
False
Let z be 57 - (6 - 11)/(2 + -1). Let u be 0*(-3)/3 + -67. Let x = z + u. Is x greater than -5?
False
Let s = 420 + -948. Let p be (-3)/(-12)*s/(-126) - 1. Suppose 0 = -i - 3*i + 4. Which is smaller: p or i?
p
Let x be 7 + ((-28)/49 - (-380)/(-70)). Do x and -78/433 have the same value?
False
Let f = 13/15 - 6/5. Let z = 27290 - 27290.35. Which is bigger: z or f?
f
Let i be (-51)/(-357) - (-926)/(-14). Let y be (-74)/(258/i + 4). Is y < -815?
False
Suppose -238*o - 617681 = -1806022 - 1206891. Is 1 less than or equal to o?
True
Let x = 2357/15 - 457/3. Let j(a) = -5*a**2 + 2*a + 1. Let p(g) = -21*g**2 + 9*g + 5. Let n(h) = -9*j(h) + 2*p(h). Let t be n(-1). Which is greater: x or t?
x
Suppose 7 = -2*y - 5*y. Let u be -203 - (y + (-3 - -1)). Let f be u/(-309) - 6/9. Which is bigger: 0 or f?
0
Suppose -4*y = -s - 13, 0 = 3*s - 2*s - 2*y + 5. Let r be -91 - ((-2)/s)/(24/(-108)). Are -94 and r non-equal?
False
Let j be (1007/38)/((-2)/4). Let r be (8/502)/(106/j). Which is smaller: r or 1?
r
Let u(q) = 6*q - 99. Let b be u(18). Let d be -3*5 + (b - 4). Is d equal to -5?
False
Let m be -13 - -9 - (1 - (4 + 25)). Suppose 9*a - m = 11*a. Are a and -13 nonequal?
True
Suppose -79*x = 4*w - 76*x + 205, 2*w - 4*x = -64. Which is greater: w or -41?
-41
Let z be 3/(-5) - (-48)/30. Let k be (-21837)/(-4002) + 1*(-1 + -4). Do z and k have different values?
True
Let s = -4 + 24. Suppose i - 2 = -0*i - 5*g, -4*i + 2*g - 36 = 0. Let a be (-2)/(i/3)*s/6. Which is smaller: 2 or a?
2
Let z be 15/(-6) + 1989/714. Are z and 5403 non-equal?
True
Let q be 5*((-138)/(-30) - 1). Let h be 2 + 132/(-80) - q/30. Is h at least as big as 450?
False
Let c(r) = 7*r + 38. Let i be c(-6). Let n be ((-30)/i)/((-60)/230). Which is smaller: -1 or n?
n
Suppose 5*g - 5 = 0, g + 19 = -7*b + 5*b. Let r be 6/b + (-795)/(-225)*-12. Which is smaller: r or 3?
r
Let z = -218 + 1108/5. Let r(l) = -8*l**3 + 3*l**2 - 29*l - 74. Let y(s) = 7*s**3 + 27*s + 74. Let m(d) = 9*r(d) + 10*y(d). Let w be m(14). Is z at least w?
False
Let z(g) = -g**3 - 4*g**2 - 51*g + 8975. Let p be z(0). Is 8974 != p?
True
Suppose -32*p = -43*p. Suppose -4*u + 16 = p, -20 = b - 21*u + 16*u. Is b at most as big as 4/135?
True
Suppose 2*n = -0*n - 64. Let u be -10 + 2/(-7) + n/(-14). Suppose 0 = 19*v + 9 + 124. Is u less than v?
True
Let t be 92/69*((-324)/(-80) - 4)*-3. Let z = 0.32 + 15.68. Is t > z?
False
Let r = 921 - 1227. Is r at most as big as -307?
False
Suppose -3*t = 5*w + 146, -1 - 3 = 2*t. Let j = w - -24. Let r be 9*(j/(-20) - 1/10). Is 0 equal to r?
False
Let f(n) = 28*n**3 - 4*n**2 - 112*n - 395. Let o be f(-4). Is -1805 < o?
True
Let q = -116 - -96. Let s be ((q/(-5))/(-16))/1. Is s smaller than 77?
True
Let n = 11 - 8. Let p be ((-2 - -4) + -11)*(-4 - 1). Let f = -213/5 + p. Is f at least n?
False
Suppose 0 = 3*c - 5*l - 115, 6*c = 7*c + 5*l + 15. Let g be (-25 - (2 - 2))/(-1). Suppose 0 = p - 1 - g. Are c and p unequal?
True
Let i = -149074 + 149075. Let x = -20200.926 - -20230. Let m = -0.074 + x. Is i equal to m?
False
Let u be (-3 + 2)/((-2)/6). Suppose 0 = -140*f + 127*f - 65. Let a = u + f. Which is greater: a or -12/7?
-12/7
Let h(x) = -2*x**2 + 27*x + 15. Let m be h(14). Let s be (m*-2)/((-1)/18). Suppose k = -5 + s. Is k <= 33?
True
Let j be (5/2 - 1)*512/(-30). Let a = 0.58 - 0.68. Which is smaller: j or a?
j
Let w = 2889 - 2934. Is -60 > w?
False
Let y = 1570.4 + -1568.4. Which is smaller: y or -5388?
-5388
Suppose -3*c + m + 9 = 0, -3*m = -2*c - 5*m + 6. Suppose -c*d - 5*d = 328. Let x = d + 29. Are x and -12 nonequal?
False
Let p be 1407150/1200 + ((-30)/(-16))/5. Is p greater than or equal to 8220/7?
False
Suppose 589 + 119 = 70*n - 11*n. Which is smaller: n or -0.16?
-0.16
Suppose 19*r + 24 = 5. Let x be (r - (-17)/(-5))/(44/(-220)). Is x less than or equal to 22?
True
Let y = -22718 + 22618. Which is smaller: y or 1.22?
y
Let s be ((-7 - -9)*57)/1. Suppose 2*r + 3*y = -302, -3*y = -r - 19 - s. Which is greater: r or -146?
r
Let z = 14269 - 328185/23. Which is smaller: -8/33 or z?
-8/33
Let v be (-14)/(-35) - (960/1000)/((-2)/(-5)). Is 2.162 equal to v?
False
Let n = -13476 - -19504. Are n and 6028 equal?
True
Let c be (2/(-2) - 2042) + (-53)/(1060/80). Is -2054 greater than or equal to c?
False
Suppose d + 0*x - 2*x = -12, -2*d - 2*x - 18 = 0. Let g be (110/90)/(d/(-12)). Which is smaller: 1 or g?
1
Let x(p) = -118*p - 56. Let m be x(3). Let l = m + 411. Is l bigger than 14/9?
False
Let k = 766 + -724