is greater: h or 5/2?
5/2
Let y be (-3 + 13)/((-1)/(-2)). Let n = -1 - y. Which is smaller: -23 or n?
-23
Suppose -3*a + 21 = 4*a. Suppose -5 = -a*g + 7. Which is smaller: 3 or g?
3
Let p = 2 - -2. Let w = 31.66 - 32. Let l = w + 0.24. Which is smaller: p or l?
l
Suppose 32 = 5*a - 28. Let c = 0 + a. Do c and 12 have different values?
False
Let t(y) = 6*y**3 + y**2 - 1. Let v be t(-1). Let i be (3 + -2)/(7/v). Suppose 32*d + 12 = 20*d. Is d != i?
True
Let l = 110 + -92. Let r be l + (-3)/2*16/12. Does 13 = r?
False
Let y = -16.3 - -15. Let r = -0.6 + -1.7. Let b = y - r. Is -1/8 at least b?
False
Let c = 15 - 15. Suppose c*m = m - 1. Let o = 53/21 + -8/3. Which is smaller: m or o?
o
Let a(w) = w**3 + 4*w**2 + 5*w - 4. Let o be a(-4). Let i be -2*(2 - 76/8). Let t = o + i. Which is greater: -8 or t?
-8
Let j be 1/11 + (-65)/(-11). Let b be (j/9 - 0)/(64/24). Let s be (-1)/3 - (-2)/(-12). Is s at least as big as b?
False
Suppose 0 = 4*z + 3*c + 63, -3*c + 61 = -4*z - 4*c. Which is bigger: z or -57/4?
-57/4
Let a = -22.5 + 143.5. Let l = -91 + a. Is l >= -0.2?
True
Let k(h) = -h - 5. Let o be k(-5). Let y = -7939 + 7927. Is y > o?
False
Suppose 1 = 40*m + 1. Which is greater: m or 3/74?
3/74
Let u(h) = 3*h - 1. Let k be u(1). Suppose -3*l = -4*g - 120, 5*g + k*l - 7*l = -155. Is g > -26?
False
Let m = -72 - -74. Let k be 2/3 - 21/(-9). Let v be -1*m + k + 2. Is v not equal to 7/4?
True
Suppose -6*g = -2*g - 20. Suppose 0*i + 6 = 4*q + 2*i, 0 = -g*q + 5*i. Let o = -6 + 6.6. Do q and o have the same value?
False
Suppose -z + 4 = 2*p, -7 + 9 = -2*p + 2*z. Is 11/79 less than p?
True
Let p be 42/(-4)*(-690)/(-45). Which is smaller: p or -160?
p
Let j be (390/(-42) - -10)*413. Are j and 293 unequal?
True
Let o be ((-2)/4)/(2/(-6) - -2). Suppose 0 = -4*d - c - 1, 4*d + 6*c - 3*c = -3. Is d bigger than o?
True
Let x be -2 + 18*4/6. Suppose -4*f = -3*f - x. Which is greater: 11 or f?
11
Let z = -93/11 - 964/33. Which is bigger: z or -38?
z
Let u = -510 - -535. Is 167/7 less than u?
True
Let n be (0*1/(-3))/(-2). Suppose -19*j + 17*j + 14 = n. Suppose -2*b + 2*h + 14 = 0, 4*b - 2*h + 26 = 7*b. Which is greater: b or j?
b
Let c = -327 + 479. Is 153 equal to c?
False
Suppose -4*n = -5*n - 42. Let p be n/7*1*-1. Let k = p + -8. Which is bigger: 1 or k?
1
Let o = 4.485 + -2.485. Are -971 and o unequal?
True
Let i = 0.97 - 0.35. Let n = 0.62 - i. Is n at most 2.1?
True
Suppose -b - 77 = -3*w, -3*b + 3*w - 7 - 206 = 0. Let s = -100 - b. Which is greater: s or -34?
s
Suppose -6*p + 0*p = -30. Suppose -4*g + 12 = 5*h - h, -p*g - 3*h = -17. Suppose -2*k + 4 + 4 = 0. Do k and g have the same value?
True
Suppose 11*v - 30*v = -152. Let o be (-2)/3*(-2 - 1). Suppose -7*b + v*b = -o. Are -6 and b equal?
False
Let n = -202 - -214. Which is greater: n or 104/9?
n
Let z be 0/(0/(-11) + -3). Is 5/44 not equal to z?
True
Let f = -32 - -31.95. Let c be (2/(-12))/((-3)/18*3). Is c at least f?
True
Suppose -2*l - 2*l - 150 = 2*d, 2*d = l - 125. Let t be 4/26 - 250/d. Let o(m) = m**2 - 5*m + 8. Let v be o(t). Do 1 and v have the same value?
False
Suppose 3*a + 0*a = -18. Let p be -4 - (440/50 + -7). Do p and a have different values?
True
Let v = 45 + -39. Let m be v/2*(-5)/15. Which is smaller: -1/22 or m?
m
Let j = -3981 + 51789/13. Let o(t) = 11*t + 553. Let u be o(-50). Is u at most j?
False
Let n = -82 + 85.9. Let c = -0.1 - n. Is 0.2 less than c?
False
Suppose -4*x - 10 = 3*h, -2*x = -h + 3*h + 6. Let t be 3/(-3 - h) - 192/(-60). Which is smaller: 0.06 or t?
0.06
Let q(m) = 3*m - 19. Let d be q(12). Let k be 2/(-8) + 138/8. Is d less than or equal to k?
True
Let w be (8 - 4) + 45/(-15). Is 13/42 smaller than w?
True
Suppose -3*y - 48 = -3*a, -57 = -4*a - 2*y - y. Let z(c) = c**3 - 16*c**2 + 12*c + 21. Let p be z(a). Let s = 25 + p. Is s > 3?
False
Let v = 2379 + -2389. Let f = 3 + 2. Suppose -d - f = 4. Are d and v non-equal?
True
Suppose -y + 2*m - 9 = 0, -8 = y + 3*y - m. Which is smaller: y or -1/70?
y
Suppose 2*x - 7*x - x = 0. Suppose x*q + 8 = -q. Which is smaller: q or -4?
q
Suppose -3*k - 4*y + 21 = -9*y, -k + 7 = 4*y. Let p(l) = l - 8. Let v be p(k). Let s = -64 - -255/4. Which is smaller: s or v?
v
Let q be (-2)/(-5) - ((-36024)/540)/(-19). Let z(p) = -p**3 - 11*p**2 + 14*p + 16. Let c be z(-12). Let w be (-1)/((-4)/c + 0). Which is greater: w or q?
w
Let l be (4 - 3)*(-5)/4. Suppose -5*m + 6*m = 27*m. Is m bigger than l?
True
Let n(s) = s**3 - 8*s**2 + 7*s + 4. Let m be n(7). Let b be -2 + -2 + 96/m. Suppose 0*t + 5*t = b, -2*f + 3*t = 26. Which is smaller: -6 or f?
f
Suppose 0*y = 5*y + 2*g + 16, -6 = -3*g. Let v be (3*y/8)/3. Which is smaller: 0 or v?
v
Let c be (2/(-6))/(-9 + 210/20). Which is smaller: -3/40 or c?
c
Suppose 4*j + 370 - 82 = 0. Let b be -4*6/j - 28/102. Is -1 < b?
True
Suppose 3*w = 3*h - 9, 0*w = -3*w - 9. Let m = -8 - h. Let b be (-2)/8*(m - -9). Which is smaller: 0 or b?
b
Let l(x) = -x**3 + 15*x**2 - 21*x - 9. Let t(f) = f**3 - 15*f**2 + 20*f + 8. Let y(n) = 6*l(n) + 7*t(n). Let q be y(14). Is q bigger than 1?
True
Let n = 1389 - 6947/5. Let f = 8 + -9.3. Let h = 0.3 + f. Is n greater than or equal to h?
True
Let b(d) = d**3 - 3*d**2 - 18*d - 1. Let k be b(6). Suppose 0*y - 9 = -3*y. Let x be (-3)/(y/((-3)/(-8))). Does x = k?
False
Let v(g) = 12*g - 7. Let f be v(1). Let a(l) = l**2 - l - 1. Let j be a(f). Which is smaller: 3 or j?
3
Let m = 115/9 - 7114/549. Is 0 <= m?
False
Suppose 2*w + 33 = 3*h + 4*w, 21 = 4*h - 5*w. Let c = -9 + h. Let x = 1/30 - -47/390. Is x >= c?
True
Let r = 15.046 - 15. Let c = -0.054 - r. Let k be (-4)/10 - (-1)/5. Which is smaller: c or k?
k
Let c = 12 - 16. Let q be c/(-6)*3/2. Is 9/4 < q?
False
Let t be -3*(-11)/(-66) - (-3)/14. Which is smaller: -59 or t?
-59
Let l = -94 + 2631/28. Is l < -1?
False
Suppose 0 = 3*f - 3*s - 24, -5*f + 4*s = 3*s - 32. Suppose -4*y + f = 2*l + 20, -12 = -3*y + 3*l. Let r be y/(-1 + (-32)/(-36)). Which is greater: 7 or r?
r
Suppose -5712*d = -5723*d - 33. Which is smaller: 336 or d?
d
Let i = 5.32 - 2.32. Which is bigger: i or 2.2?
i
Let s = 0.27 - -0.03. Let w = 24 + -12. Let a = 12 - w. Is a less than or equal to s?
True
Let b = 59 + -99. Let t be 4*((-2 - -1) + (-70)/b). Do 5 and t have the same value?
False
Let f(j) = j**3 + 16*j**2 + 2*j - 36. Let z be f(-12). Which is smaller: 517 or z?
z
Let t(f) = 3*f + 17. Let u be t(-4). Suppose -4*c + 4*v + 24 = 0, 5*c - 4*c = -5*v + 12. Is c greater than u?
True
Suppose 2*j + 13 + 23 = 2*k, 5*j = -3*k + 22. Let p = 163 - 149. Are k and p equal?
True
Let k = -2539/10 + 257. Which is smaller: k or 2?
2
Let x = -204/11 + 19. Let z = 87 + -81. Let i = z - 6. Is i > x?
False
Let y = -8.56 + -220.44. Is -2 smaller than y?
False
Suppose q + 4*u - 43 = 0, -5*q + 5*u - 3*u + 171 = 0. Let c = q + -39. Let p be 10/c*16/(-100). Is p at most as big as -1/5?
False
Suppose 4*w + 0*w - 20 = 0. Suppose 0 = w*a + a. Suppose -5*p - 2 + 17 = a. Which is smaller: 5 or p?
p
Let v = 12 + -7. Suppose 7 = 4*m + 3*p - 73, -3*m + 60 = v*p. Let a be ((-8)/m)/((-3)/15). Which is bigger: a or 8/3?
8/3
Let f = 23 - 22.8. Let v = -28.988 - 0.012. Let p = -29.3 - v. Which is smaller: p or f?
p
Let j be (-4 - (-270)/69)*5. Let p = -436/897 - j. Which is bigger: 0 or p?
0
Let o = 26180987/11428 - 1657720390403/6273972. Let x = 261931 + o. Let h = x + -1/183. Which is greater: 1 or h?
1
Let l = 82247/83 - 991. Is l > -1?
True
Let s = -18.23 - -0.23. Let d = s - -21. Is d >= -0.2?
True
Suppose 87*d - 6 = 88*d. Let p be d/10 - (-232)/520. Is 1 not equal to p?
True
Let n be (-12)/(-28) - (-132)/(-14). Let t = n + 1. Is -9 at least as big as t?
False
Let k = 18 + -18.02. Which is greater: 10 or k?
10
Let u be 0 + (-186)/(-440) + 34/(-85). Which is smaller: 2/7 or u?
u
Let b = -8/107 + -487/642. Let c(a) = -a**2 + 4*a. Suppose -2*l = 8, -l = t - 0*l. Let y be c(t). Which is smaller: y or b?
b
Let d = -25 - -27. Let y be (3/6)/(d/4). Let j = 243 - 2669/11. Is y greater than j?
True
Let x be 7/(-2*1/4). Let y be 1 + ((-4)/x - 1192/840). Is 3/7 at most y?
False
Let u be -1 - ((-120)/28 - (-2)/7). Suppose -o - 1 + 0 = 0. Let p be (-6)/3 - o/1. Do u and p have different values?
True
Let n = 0.0334 + 1.9666. Is n greater than or equal to -0.073?
True
Suppose -4*z - 4 = -2*z. 