 or p?
p
Let f(j) = j - 12. Let d be f(-9). Let m = 18 + d. Which is greater: m or -5?
m
Let w(r) = -19*r - 4. Let u be w(-4). Let h be (-4)/10 - u/(-30). Which is greater: -4 or h?
h
Let i be (39258 - 19)/(101/4). Let p = i + -1554. Are p and -1 nonequal?
True
Suppose 0 = 10*p + 44 - 264. Suppose -51*m + 53*m = p. Which is greater: m or 13?
13
Suppose -8*k + 9 = -7. Suppose 0*q + 2*q + k = 0. Does q = -1/7?
False
Let b = 3/100 + -7/25. Let f = -2353/22 + 213/2. Which is greater: f or b?
b
Suppose -3*m = -2*i - 9, m - 7 = 2*i - 4. Let s be (1/(-54))/((-2)/50536). Let l = s - 468. Which is smaller: l or i?
l
Let o(b) = -473*b**3 + 6*b**2 + 5*b - 4. Let d be o(-3). Let x = d - 2266562/177. Let j = x - -6/59. Which is smaller: j or 0?
0
Let p = 15472142891/36035070 - 258/353285. Let u = p - 2575/6. Let w = u - 292/969. Which is bigger: w or -1?
w
Suppose 2*n - 16 = 4*o, 0 = -2*n + 3*n + o - 2. Suppose 3*i = n + 59. Is 21 at least i?
True
Let i(d) = -6*d**2 + 38*d + 77. Let f be i(-2). Let s = -42 + -17. Let n = s + 36. Are f and n equal?
True
Suppose -3*d + 2*v = -40, -133*d + 128*d = 2*v - 72. Suppose -2*u + 5*u = -12. Let t be 300/(-105)*d/u. Is 10 less than t?
False
Suppose 2*o - 28 = -3*z, 4*o = 4*z + 8*o - 44. Let r be (18/6)/((-3)/z). Is r at least as big as -19/4?
False
Suppose 0*b + 28 = -b. Let d = 33 + b. Suppose -2 = c + c - 2*j, -d*c + 2*j + 4 = 0. Is -1 bigger than c?
False
Let p(x) = x**2 + 20*x - 72. Let g be p(-18). Are g and -109 nonequal?
True
Let t = -1 - 8. Let j = t - -8.5. Let m = 0.7 + j. Which is bigger: -0.3 or m?
m
Let d = 870.02 + -870. Let w = 0.65 - -0.05. Is d at most as big as w?
True
Suppose 32*z - 38 = -6. Which is greater: -11/36 or z?
z
Let o = -5.5 + -6.3. Let d = o + 11.9. Let j = -1 + 1.2. Does d = j?
False
Suppose 38 + 42 = 8*m. Let h be (5/m)/(1/2). Is 2 greater than h?
True
Let z(n) = 2*n - 43. Let y be z(21). Is y >= -1/655?
False
Let q = 592 + -593. Do 1.7 and q have different values?
True
Suppose 2 = -b + 1. Suppose -5*y - q = q - 5, y - 1 = -3*q. Is y less than b?
False
Let z = 14.999 + 0.001. Let v = z + -19. Is 1/2 != v?
True
Let a be 12*((-262)/1098 - 42/(-189)). Is 0 not equal to a?
True
Let k = -0.1 - -0.3. Let p = 307.88 + -308. Is p < k?
True
Suppose 2*x = -3*x - 15. Let f(b) = b**2 - 14. Let l be f(x). Which is smaller: l or -4?
l
Let h(j) = 5*j**3 - 2*j**2 + 1. Let y be h(-1). Let q be 12*1/y*-8. Let m = 13 - q. Do -3 and m have the same value?
True
Let h be (-128)/16 + (-68300)/(-8538). Which is bigger: 1 or h?
1
Let x = -8 - 2. Let v = -1985/3 + 653. Which is smaller: v or x?
x
Let l be (2 - (-476)/(-236))*(-9 - -26). Is -1 > l?
False
Let y = 77059/128 + -602. Is y less than or equal to -1?
False
Suppose 0 = -3*x + 4*f - 8, -1 - 3 = 4*x - 2*f. Suppose x*q - 2*q + 46 = 0. Suppose 1 = -4*b - q. Which is bigger: b or -7?
b
Let r(u) = -25*u - 59. Let s be r(-4). Is s <= -1?
False
Let p = 2 - 4/3. Suppose 0*j + 8*j = -712. Let s = -86 - j. Which is smaller: p or s?
p
Let f = 2/10747 + 107304/892001. Which is smaller: -1 or f?
-1
Let q = 2/69 - 317/3795. Let l be (23 + -23)/(6/(-2)). Which is smaller: l or q?
q
Let m(z) = z**2 - 11*z + 1. Suppose 3*p - 5*c + 3 = 5*p, 5*c = 4*p - 51. Let j be m(p). Which is bigger: j or -16?
-16
Suppose h = 2*v + 3*h - 120, 0 = -4*v + 4*h + 216. Let q be (v/(-5))/((-3)/15). Is 58 greater than q?
True
Let m(u) = u + 4. Suppose 4*p + p = -60. Let c be m(p). Is -1 greater than c?
True
Let y = 1 + 18. Let g = 157 + -138. Is g less than y?
False
Let s = 67 + -40. Let g(u) = 7*u**2 - 11*u + 21. Let a be g(2). Are s and a non-equal?
False
Suppose j + 1 = -20. Let a be 0 - 6/j*-1. Which is smaller: a or -1?
-1
Let m be (3 - 3/1)/2. Let t(j) = -j**2 - j + 1. Let c be t(m). Is c at most as big as 2/43?
False
Let o = 19 - 47. Let s = o + 28.19. Let j = s + -0.29. Which is smaller: j or -2/67?
j
Suppose 0 = 4*b + 9 - 1. Let f = 115/164 + 2/41. Let o = f + -9/4. Is o smaller than b?
False
Suppose 17*d - 8*d = 45. Suppose 0 = -3*u - 4*y - 13, -14 = 2*u - 5*y - 36. Is d <= u?
False
Let p be -7 - ((-11592)/(-9))/8. Is p greater than or equal to -0.1?
False
Let v = -22.41 - -21.61. Is v greater than 82?
False
Let o(c) = -c**2 + 18*c - 17. Let q be o(1). Let n be 172/(-36) + (-2)/9. Let l be -7 - n - 45/(-23). Is l at least as big as q?
False
Let p = -25/22 + 2064/11. Is p > 188?
False
Let w be ((-7)/(-2))/7*0. Let y(f) = 3*f + 7*f + 1 + w*f - 7*f - f**2. Let r be y(3). Is r less than -3/11?
False
Let v = 1.9 + -2. Let w(z) be the second derivative of -z**5/20 + z**4/12 - z**3/6 + z**2 - 5*z. Let s be w(0). Which is bigger: v or s?
s
Let p = -30 - -38.4. Let h = 6.4 - p. Does -9 = h?
False
Let g = -0.4 + 0.3. Let v = -480 + 481.1. Let x = g + v. Is x smaller than 7?
True
Let v = 2947/16507 + -2/971. Is v greater than or equal to 0?
True
Suppose 4*w + 0*w + 2*m = 24, -2*m + 32 = 5*w. Suppose -9*s + 13*s = -w. Let q be (-4)/45*10/s. Are 1 and q equal?
False
Let j be 3 - (-1 - -5) - -3. Let o(n) = 8*n**2 - 2*n - 1. Let f be o(j). Is f < 25?
False
Let j(d) = 3*d**3 - 33*d**2 - 10. Let y be j(11). Is y bigger than -78/7?
True
Suppose z - 2 = -0. Let f be (-2)/(2 + (-130)/45). Are f and z non-equal?
True
Let t be (68/6)/(8/(-60)). Let j be t/(-75) + (-8)/10. Is j greater than 0?
True
Let g(k) = -k**3 - 9*k**2 - 12*k - 103. Let t be g(-8). Is -70 at least t?
True
Let r be ((-14)/(-10) + -2)*5. Let u be (2 - (-20)/8)*4/r. Is u less than or equal to 0?
True
Suppose -70 = 5*s + 5*l, -2*s + 3*l - 2*l = 19. Let w be s/3 - (-2)/(-6). Let t = -3 - w. Which is greater: t or 9?
9
Let s(z) = 3*z - 59. Let i be s(21). Suppose 3*u - 5 + 17 = 3*l, -i*u - 16 = 4*l. Which is smaller: 1/4 or l?
l
Let j be 0 + -6 - 0*5/(-20). Let z(n) = n**2 - 7*n + 3. Let r be z(5). Which is smaller: r or j?
r
Let g be 7*(4 - (0 + 2)). Let o(r) = 2*r + 7 - 6*r**2 + 21*r**2 - r**3 - 16*r - 1. Let c be o(g). Which is greater: 5 or c?
c
Let v be -7 - -5 - (1 + -5). Suppose -v*k = -5*q - 35, -2*k + 12 = -2*q - 8. Is 3 at most k?
True
Let l = 266.935 + -267. Is l smaller than -1?
False
Let x be 7/162*(-256)/448. Which is smaller: -4/7 or x?
-4/7
Let j(d) = 2*d**2 + 39*d - 63. Let b be j(-21). Which is bigger: -27/19 or b?
b
Suppose 5 = k + 5*p + 10, 5*p = -5*k + 15. Suppose 0*i - 20 = k*u + 3*i, 13 = -3*u - 2*i. Let n = -0.99 - -1. Are n and u unequal?
True
Let i be -1 + 0 + 6 + 3. Suppose -4*l + 146 = -34. Let y = 55 - l. Which is smaller: i or y?
i
Let d be ((-4)/(-6))/(-9 - 246/(-27)). Suppose -3*o = o - q - 16, 2*q = o - 4. Suppose d*a - o*a = 12. Is a at least as big as 6?
True
Let f = -2.78 + 3.78. Are -0.081 and f equal?
False
Let k = 136.1 + -134. Let o = -10.1 - -10. Which is bigger: o or k?
k
Let d = -122/11 + 3915/352. Which is smaller: d or -3/2?
-3/2
Let y = 7.7206 - 0.1206. Which is greater: y or 0.03?
y
Let p(c) = -45*c + 125. Let a be p(4). Which is smaller: -57 or a?
-57
Suppose 5*k - 2*z + 25 = 0, 0*z + z = 4*k + 17. Let o = -3 - k. Which is bigger: -42 or o?
o
Let d be 3/(-6) - 213/6. Let m be ((d/8)/1)/((-4)/(-8)). Is -8 at most as big as m?
False
Let g be (-3)/(-42)*-7*-102. Is g equal to 11?
False
Suppose 5*x = -25, 3*r + 5*x - 413 - 2007 = 0. Which is greater: r or 0.1?
r
Suppose -r - 28 = -2*q, -35 = r - q - 10. Do -20 and r have the same value?
False
Let k be (2 - (-21)/(-10))/((-108)/(-15)). Suppose 6*n + 7*n + 0*n = 0. Is k bigger than n?
False
Let i be (8/6)/(8/18). Let u be 9/((-18)/(-4)) - i. Is -5 != u?
True
Let r = 0.0667 - -0.0333. Let x = 27 - 77/3. Is x >= r?
True
Let o = 5 + -8. Let j be (-17)/(-68)*(-260)/15. Do o and j have the same value?
False
Let i be 2/(45/(-54)*8/10). Is i greater than or equal to 17?
False
Let a be (-41)/5 - (-2)/3*3. Are -6 and a equal?
False
Let i(a) = 5*a**2 - 29*a - 10. Let b be i(6). Do -13 and b have the same value?
False
Let j = 23 + -19. Let k be 27*((-8)/6)/(-2). Suppose -k - 11 = -j*z - g, 28 = 3*z + 2*g. Which is greater: 5 or z?
z
Let w = -137/5 + 28. Let t be -1 - (-1)/(-3*(-5)/9). Which is smaller: w or t?
t
Let z = -142 + 137. Which is bigger: 4 or z?
4
Let j(f) = 8*f**3 - f + 1. Let o be j(1). Suppose -2*z + 5*p = o, -2*p - 4 = -2*z - 0. Suppose -z*h = -h - 65. Are 13 and h equal?
True
Let c = 1391 + -1391. Which is greater: c or -0.78?
c
Suppose