 p**3. Let j be b(0). Suppose j*h = -h. Which is smaller: -0.1 or h?
-0.1
Let r be (-12 - (0 + -12))*1. Let n = 2/91 + -107/91. Is n > r?
False
Let j = -1.83 + -78.17. Let c = j - -79.8. Is c <= 32?
True
Let j = 882 - 1717/2. Let a = 24 - j. Is -0.1 != a?
True
Let x = -3 + 5. Let z = x + -2.1. Suppose -5*n = -h - 12 - 11, 0 = 4*n - 20. Which is smaller: h or z?
z
Let x = -4489627/611 + 7348. Is x < 0?
False
Let q be ((-2748)/909 - -3)/(2/(-12)). Let w = q + -844/1717. Suppose 0*d + 3*v = -2*d + 9, 3*d - 12 = -4*v. Which is smaller: w or d?
w
Let c = 0.08 - 3.08. Let u = 4.2 - 6. Let m = 0.8 + u. Is m >= c?
True
Let o = 12 + -3. Let l = -11 + o. Let q = 1 + l. Is 1 bigger than q?
True
Let o = 82 - 88. Let m(v) = 4*v + 14. Let u be m(o). Which is smaller: u or -9?
u
Suppose -4*u - b = -47, -7 - 39 = -4*u - 2*b. Let w(f) = f**2 + f + 8. Let r be w(0). Let h be 30/(-2)*r/u. Which is bigger: -9 or h?
-9
Let o = 1362/17 - 80. Let u = -3 + 4. Is o at most as big as u?
True
Let z = 10.7 - -702.3. Which is smaller: z or 0?
0
Suppose 2*l = -4*z + 2439 - 311, 0 = 2*z - 3*l - 1048. Let k be 3/6 + (-245)/z. Which is greater: k or -1?
k
Let f = 280 - 276. Is 13 != f?
True
Suppose 49*z + 31*z = -960. Suppose 3*r = 6*r + 36. Do z and r have the same value?
True
Let w = -17669/16830 + -1/6732. Is w greater than -2?
True
Suppose -w - 3 = -2*w. Let c(t) = -t**3 + 14*t**2 - 12*t - 10. Let d be c(13). Suppose 2*f + 8 = 0, d*a - 7 = w*f - 1. Which is greater: a or 3/5?
3/5
Let k = 1027.97 + -1028. Which is greater: 0.39 or k?
0.39
Suppose 3*z = -4*r + 7, z - 3*r = 1 - 3. Is z greater than or equal to -5/53?
True
Let x(a) = -a**3 + 7*a**2 + 79*a - 554. Let j be x(7). Let v = 76/43 + -73/43. Which is bigger: j or v?
v
Let q = 2.8 + -5.1. Let j = 12 - 10. Let a = q + j. Which is bigger: -1 or a?
a
Let w = 5543/145 + -191/5. Is 0 < w?
True
Let f = 12 - 12.32. Let z = f - -0.31. Which is smaller: -2 or z?
-2
Let s = 9422 - 9425. Let y = -3 - -3.2. Let a = y + -0.2. Is a at most s?
False
Let l be 47 - (17/(-5) + (-2)/(-5)). Which is greater: l or 51?
51
Suppose -2*q + 562 = 4*y, 2*q - 23 = -13. Which is greater: 141 or y?
141
Let l = 18 - -18. Let d be (-192)/l + -6 + 1. Is -11 > d?
False
Let h(b) = b**2 + 4*b + 1. Let p be h(3). Let a(w) = -w**3 + 13*w**2 - 37*w + 30. Let f be a(9). Do p and f have the same value?
False
Suppose 53 = 13*s + 1. Suppose v = -1, 0 = 4*q + 4*v - 2 - 6. Let c = 0 + q. Which is bigger: c or s?
s
Suppose 0 = 3*c - 0*c - 108. Let o be -3 + (4 - 0) + 4. Let k be -1*o + c/12. Is k less than or equal to -14/5?
False
Suppose -165 = -2*g - g. Let i be 22/g - (-2)/(-5). Suppose -2*o + 4 + i = 0. Are o and 1/2 unequal?
True
Let n be 1/3*(-8 + 26). Suppose -18 = -3*c + n*c. Let v = 0 + -3. Is v less than or equal to c?
False
Let n = -0.1 + -0.3. Let t = -0.5 - n. Does 9 = t?
False
Suppose 4*d - 21 = -r, r - 6*r - 2*d = -15. Suppose 4*x = 3*y - 1, 2*y - r - 1 = 4*x. Is -8 at least x?
False
Let g = -9.08 - -0.08. Let h = 12 + g. Are h and -2 equal?
False
Let k be (-24)/(-4 + 6 + -5). Which is smaller: -7 or k?
-7
Suppose 0 = -4*i + 5*i. Let t be (3 - 3)/(i - -1). Which is bigger: -1 or t?
t
Let k = -3/299464 + 65283761/60791192. Let r = k + 2/29. Is r less than -2?
False
Let k(g) = -3*g**3 - g**2 + 2*g + 2. Let v be k(2). Let s be 1/3 - v/(-33). Which is greater: 1 or s?
1
Suppose 0*b - 2 = -b. Suppose -2*o + 0 = -5*y + 13, -5*o + 8 = y. Do b and o have the same value?
False
Let h be 21/((-840)/176) + (-6)/10. Is h != 0?
True
Suppose 0 = -2*g + 4*l + 506, -118 - 620 = -3*g - l. Is g at most 246?
False
Let j = -1348 - -1629. Which is greater: 0 or j?
j
Let a(w) = 3*w - 7. Let j be a(3). Suppose -y + 2*i = j + 4, -4*i + 20 = -4*y. Let k be 451/693 + y/18. Is k at most as big as -1?
False
Let l be (1 + -5 + 4)/(-2). Suppose -4*r + 4 = -l*r. Let q(t) = -t**3 - 12*t**2 + 13*t + 2. Let w be q(-13). Which is smaller: r or w?
r
Let w be -4 - 1 - (6 + 1 + -11). Which is smaller: 4/21 or w?
w
Let x = -406.8 - -408. Do x and -7 have different values?
True
Suppose -s - f = -8, -4*s = -2*f - 2 - 0. Let w(d) = -2*d + 4. Let l be w(s). Is 12 > l?
True
Suppose 3*v - 4*r + 77 + 21 = 0, 0 = 4*v + 2*r + 138. Let m be v/(-28) - (2 + 9/(-6)). Which is smaller: m or -0.3?
-0.3
Let i(z) = -24*z - 11. Let v be i(-6). Let s be (-3)/(-21) + (-47)/v. Is 0 less than or equal to s?
False
Let n = 0.39 - 0.76. Let a = 0.47 + n. Is -2/7 not equal to a?
True
Let g = 36 - 40. Let i be (-50)/(-70) + g/(-14). Do i and 1 have different values?
False
Let r = -5935/3 + 1978. Is -75/13 bigger than r?
False
Let y = -0.8 - 0.2. Which is bigger: y or 0.07?
0.07
Suppose 5*t + 4*w = 203, -98 = -2*t + 8*w - 4*w. Is t smaller than 41?
False
Suppose 2*l - 8 = -5*p + 4*p, 2*l - 8 = -2*p. Suppose -3*m + 8 + 1 = p. Suppose 0 + m = 3*g. Do g and 1/13 have the same value?
False
Let r be (-1)/(2098430/(-524548) + 3 + 1). Let k = 2204 - r. Which is greater: -0.1 or k?
k
Let w(j) be the third derivative of -j**4/24 + 7*j**3/3 + j**2. Let i = 157 + -148. Let g be w(i). Does 4 = g?
False
Let w = -1170 + 5883/5. Let q be 11 + 2/4*-6. Which is smaller: w or q?
w
Suppose -2*k + 44 = 38. Which is greater: k or 17?
17
Let q be 2/(-8)*73*(-4)/1. Let i = 83 - q. Which is bigger: 5 or i?
i
Let p be 3/(48/422) + 57/(-152). Which is greater: -5 or p?
p
Let r(x) = -17*x + 15. Let h be r(-3). Is 67 bigger than h?
True
Let w = 155/6 - 41/2. Suppose 0 = -5*n + 5*j - 25, 5*j = n - 0*n - 15. Let p be 2/n - (-147)/35. Are w and p nonequal?
True
Let y(t) = t**2 - 42*t - 125. Let f be y(43). Is -408/5 greater than f?
True
Let r = 337 + -336. Which is greater: 6 or r?
6
Let n(d) = d**3 - d**2 - d + 1. Let q be n(1). Let j be (-94)/(-141)*(-3)/5. Is q <= j?
False
Let m = -4274 - -4280. Suppose -4*b - 2*z + 10 = -14, -2*b + 18 = 4*z. Is m smaller than b?
False
Let k = -0.299 - -0.199. Which is smaller: k or 4/9?
k
Let v = -16414/30423 + -38094229795/2068764. Let o = 18415 + v. Let s = -12/17 + o. Is s at most 0?
True
Suppose 5*h + 2*v = -2*v + 42, -h + 18 = -4*v. Let w(j) = j - 11. Let y be w(h). Let q = -8.56 + -1.44. Which is greater: q or y?
y
Let i be ((-2)/5)/(5/25*-1). Let z be 4/8*i*3. Which is bigger: z or 17/6?
z
Let h be 18742/11 + 120/660. Which is smaller: h or 1705?
h
Let x(l) = 7*l**2 - 9*l - 7. Let f(h) = 13*h**2 - 19*h - 13. Let p(t) = -6*f(t) + 11*x(t). Let c be p(10). Does c = 1?
False
Let m be (1/(-2))/(2/(-32)). Let n(u) = -24*u + 13*u + 13*u + 7 + 10. Let d be n(-4). Is m > d?
False
Let p be ((-80)/28)/(-10) + (-2)/7. Do p and 2/37 have the same value?
False
Suppose -86*n = -100*n + 56. Which is smaller: n or 53/18?
53/18
Let u(q) = q**2 - 35*q + 101. Let b be u(31). Is -24 >= b?
False
Let r be 775/(-682) + 0/(-1). Do r and -0.1 have the same value?
False
Let c(a) = -a**2 + 10*a - 9. Let s be c(6). Suppose -3*r + 6*r = -s. Is r > -3?
False
Let c be ((-6)/(-777))/(6/4396254*-2). Let y = 2829 + c. Which is greater: 0 or y?
y
Let g(t) = -4*t**2 - 16*t - 48. Let j be g(-4). Are j and -45 equal?
False
Let r = -2.93 + 3.03. Is -34 less than r?
True
Let n(a) = a**3 + 5*a**2 - 6*a - 16. Let l be n(-6). Let m be (8/10)/((-3)/60). Is l less than m?
False
Let d be 6*2/4*-1. Let k = 7445 - 14897/2. Which is smaller: d or k?
k
Let m(x) = -13*x + x**3 + 6*x**2 + 18*x - 1 - 2. Let f be m(-4). Let i be (-15)/f + (-3)/(-3). Do 2/25 and i have different values?
True
Suppose -44*c + 50*c = 2718. Let g be 2 + 34/(-14) + c/1155. Is g at most -1?
False
Let g be -17*(12/6 + -3). Which is smaller: g or 120/7?
g
Suppose 3*k = 18 + 189. Let u = 45 - k. Let r be u/56 - 22/14. Is r <= 0.2?
True
Let j = 10 - 12. Let r(u) = -2*u - 2. Let z be r(j). Suppose 2*t - 4 = z. Is t < 4?
True
Let q = 26 + 20. Let u = 46.2 - q. Which is smaller: 4/9 or u?
u
Let h = -8.2 - -8. Let n = -7 - -16. Is h at most as big as n?
True
Suppose -4*o + 2 - 6 = 0. Let f(x) = -2*x**3 + 25*x**2 + 5*x - 12. Let p be f(12). Let z be 2/(-2)*16/p. Which is bigger: z or o?
z
Let j be 3 + ((-4378)/(-33))/(268/(-6)). Is j less than 0.2?
True
Suppose -3*d - 10 = -22. Let i be (-24)/63 - d/(-6). Are 2/13 and i non-equal?
True
Suppose -4*x - 5*z + 148 = 0, -3*x - z + 100 = -0*z. Let a = x + -29. Is a bigger than 14/5?
True
Let z = 0.046 - -0.154. Which is smaller: 2/15 or z