75. Is 3 not equal to p?
True
Let o = 57 - 45. Is o < 37/3?
True
Let k be -12 + 2 - (0 - 0). Let w be ((-2)/6)/((-7)/(-189)). Which is smaller: k or w?
k
Let j be ((2 - 2)/(-1))/2. Let l be 55/22*-1*(-3)/(-25). Is l greater than j?
False
Let z = 293/5 + -59. Is z > 0.058?
False
Suppose -4*j + 7 = 19, 4*j + 520 = -2*t. Are t and -251 equal?
False
Let w(j) = -j - 3. Suppose h = -2*h. Let n be w(h). Let u be (4/(-3))/(n/(-18)). Is -8 >= u?
True
Let d(s) = -s**2 + 22*s + 19. Let b be d(23). Let r = 14 - 10. Let g be (6/r)/(12/(-32)). Is g > b?
False
Let b(i) = -i**2 + 8*i - 2. Let d be b(8). Let v = 6/7937 - 6897277/31748. Let p = 216 + v. Which is greater: p or d?
p
Suppose 7*f + 532 = 35*f. Is f >= 18?
True
Let o(k) = -3*k + 48. Let n be o(16). Let y be ((0 - n)/1)/2. Which is smaller: y or -2?
-2
Suppose 4*k - 90 + 34 = 0. Is 29/2 bigger than k?
True
Let n(i) = 3*i**2 + 63*i - 57. Let y be n(-27). Is y at least 430?
False
Let k = -3/5 + 17/20. Let i = 53.8 + -64. Let s = i - -11.2. Is s at most k?
False
Let i be ((-1)/(-3))/(6/252). Let g = 22 - i. Let j be g/3 + 2 + -4. Do -13 and j have different values?
True
Let f(m) = m**3 - 3*m**2 - 2*m - 5. Let o be f(5). Suppose -15 = o*a - 40*a. Suppose -a*q + 0*q = 3. Is -6/19 not equal to q?
True
Let i be -1*(18/(-6) - (-87)/27). Which is smaller: i or 19?
i
Let x(q) = q - 1. Let p(o) = 2*o - 24. Let f(i) = p(i) + x(i). Let k be f(8). Let u = -417/8 - -52. Which is greater: u or k?
u
Suppose -17*g - 75 = 792. Are g and -470/9 nonequal?
True
Let u = 24 + -18. Let t be 4/u*((-21)/(-6) - 4). Is -43 greater than t?
False
Let c = -12788/5 - -2547. Let j = 17 + -27. Are j and c non-equal?
True
Suppose -2*i + 3 = -r, 5*i - r - 3 = 8*i. Let o = -40 + 283/7. Is i greater than or equal to o?
False
Suppose 4*u - 3*p - 19 = 58, 3*u + 4*p = 64. Suppose -3*k = 3*t - u - 34, 0 = 5*t - 2*k - 62. Is 14 bigger than t?
False
Let k(l) = -5 + 1 - 1 - l**3 - l**2 - 4*l**2 + 5*l. Let n be k(-6). Which is smaller: -2/69 or n?
-2/69
Suppose -5*x - 12 = -7. Suppose 2*u + 3*g - 5*g + 530 = 0, -4*g - 1280 = 5*u. Let j = u + 3378/13. Which is smaller: j or x?
x
Let v(r) = -4*r + 11. Let x be v(5). Let t be 3/x*0 + 0. Let u = 141/836 + 1/76. Is u >= t?
True
Let v = 356/45 + -26/45. Is 6 > v?
False
Let c be (6/2 - 1) + -1. Let n = -529/2224 - -7/139. Which is greater: n or c?
c
Let d be (-4 - (-9 + 2)) + -307. Let w = d + 10335/34. Is -1 bigger than w?
False
Let g(b) = b**3 - 12*b**2 - 7*b - 17. Let u be g(13). Let v = u + -62. Which is smaller: v or -12/5?
-12/5
Let q be -15*2/(-3)*(-1)/2. Which is bigger: -55/14 or q?
-55/14
Let t(d) = 3*d**2 + 3*d - 18. Let u(n) = -n**2 + n + 1. Let h(l) = t(l) + 4*u(l). Let r be h(5). Which is smaller: -5 or r?
-5
Let g = 1256 + -1288. Is -6 greater than g?
True
Let w be 643/2540 - (-30)/(-120). Which is bigger: w or 1?
1
Let l be ((-10)/(-15) - 0)*3. Let r be (124/(-8))/((-3)/2 + l). Is r > 0.1?
False
Suppose -9 - 21 = 5*a. Let t(g) = -3*g - 17. Let s be t(a). Which is smaller: 0 or s?
0
Let v = -65 + 151. Let b = v + -88. Do b and -6/5 have different values?
True
Suppose 3*m - 3*a + 15 + 3 = 0, m = 3*a - 14. Let y be ((-3)/(-19))/(1/(-4)). Are y and m equal?
False
Let f = -14.02 + 14. Let p = -0.1 + f. Let l = -0.02 - p. Which is bigger: l or -11?
l
Let n = -130.74 - -131. Let c = n + -0.42. Which is smaller: -2 or c?
-2
Let s be (-65)/(-55) - 4/22. Suppose -3*v + s = -8. Suppose 5*i - 2 - v = 0. Which is smaller: 1/9 or i?
1/9
Let j = 2.84 - 3. Let t = j + -0.05. Let b = t + 0.01. Is b bigger than -2/9?
True
Let o = 127 + -129. Which is smaller: o or 0.69?
o
Let f be (15/90)/((-2)/(-372)). Is f bigger than -2/19?
True
Let t(k) = 40*k - 440. Let x be t(18). Which is smaller: x or 279?
279
Suppose p = -3*p - 4*o, -2*p = -5*o. Suppose 4*s = 4*w + 344, -w + p*w + 364 = 4*s. Let j be (-32)/80 + 16/s. Is 0.1 greater than j?
True
Let z(u) be the third derivative of u**6/20 - u**4/6 + u**3/2 + 21*u**2. Let c be z(1). Let x(k) = -2*k - 8. Let v be x(-7). Is c bigger than v?
False
Let v = -159 - -159. Is -0.12 less than v?
True
Let k be (-6)/(-30) - (2 + (-38)/10). Which is greater: k or 9?
9
Let u be (((-1008)/20)/(-9))/(58/10). Is u at least as big as 1?
False
Let m = -241 - -240. Which is bigger: m or 299?
299
Let d(x) = x + 8. Let g be d(-7). Suppose -k + 2 - 8 = 0. Let z be 1 + k/10 - 4/(-90). Is g smaller than z?
False
Let s = 1.6 + 0. Let j = 1.3 - s. Let k(d) = d - 4. Let x be k(5). Which is bigger: x or j?
x
Suppose 0 = -39*l + 2241 + 528. Suppose -2*r - r - 275 = -4*f, -2*f - 5*r = -157. Are l and f non-equal?
False
Let f(q) = q**2 + 3. Let z be f(3). Let c = -0.11 - 1.89. Is c at most as big as z?
True
Let n be (-85)/17 - (-56)/(-2). Let k be n/(-220)*15/18. Which is smaller: 0 or k?
0
Suppose 1467 = -7*d - 7171. Which is smaller: -1235 or d?
-1235
Let k = -9 - -70. Let u = k + -77. Which is smaller: u or 1?
u
Let c = 3 - 9. Let v = -901 + 878. Let b = c - v. Which is smaller: b or 18?
b
Let s = -1406 - -675. Which is bigger: -732 or s?
s
Let p = -0.74 - -0.76. Is -0.04 less than or equal to p?
True
Suppose -h + 1 = -2*h. Let l(u) = -7 + 7 + 0 + 2*u. Let v be l(1). Is v at most as big as h?
False
Let u(x) = -x**3 - 6*x**2 - 2*x - 7. Let l be u(-6). Let d = -222 - -224. Is d less than l?
True
Let a be ((-8)/((-256)/(-12)))/((-3)/10). Suppose 5*b - 14 = -99. Let p = b - -18. Are a and p non-equal?
True
Let p be ((-1 + -5)/12)/((-1)/12). Suppose 0*h = 3*h - 21. Which is smaller: h or p?
p
Let b be (-735)/(-253) - 0 - 2. Let s = b + -9/11. Let k = -1 - -2. Which is greater: k or s?
k
Let f = 3.51 - 2.51. Which is bigger: f or 0.53?
f
Let y(v) = -v**2 - 3*v - 2. Let q be y(-1). Let d = -340 + 4424/13. Which is smaller: d or q?
q
Suppose -4*j = -3 - 1, -4*z - 2*j - 86 = 0. Which is greater: z or -25?
z
Suppose -15*f + 2*f - 273 = 0. Is f greater than or equal to -23?
True
Suppose -12 + 202 = 10*c. Let n = -21 - -38. Is c less than n?
False
Let h(j) = j**3 - 6*j**2 + 2*j - 2. Let p be h(5). Suppose -19*m - z = -16*m + 38, -2*z = 4*m + 50. Do p and m have the same value?
False
Let j = 0.011 - -15.089. Which is smaller: 0.3 or j?
0.3
Let f = -0.21 - -0.43. Let d = -0.08 - f. Let c = 0.146 - 0.046. Which is bigger: d or c?
c
Suppose 5*q = 3*q + 4. Let y be (-3 - -5)/q - (-49)/(-48). Is 0 less than or equal to y?
False
Suppose 0 = 5*l - 20. Suppose 39 = -0*j + 2*j - 5*o, -4 = -l*o. Let r be (-2)/(-52)*j + -1. Is r >= -1?
True
Let x = -4322/45 + 892/9. Do 2 and x have different values?
True
Let q = -0.1 - 147.9. Are -0.1 and q equal?
False
Let h be -10 - (-2)/(4 - 6). Let y(l) = -3*l - 28. Let d be y(h). Which is bigger: 8 or d?
8
Let d(a) = -a**2 + 31. Let z be d(-5). Is z smaller than 4?
False
Let g be 645/23 - 2/(-1). Suppose -w = -t - 31, -2*t - 115 = -4*w - 7*t. Let o = g - w. Which is bigger: o or -1?
o
Let u(l) = -4*l**2 + 23*l + 9. Let f be u(5). Is 118/5 at most as big as f?
True
Let i(x) = -x**3 + 14*x**2 - 2*x + 8. Let m be i(14). Which is smaller: m or -15?
m
Suppose t - 4*s + 8 = 0, t = -s + 3*s - 4. Suppose r + t = 1. Let a be 7/((-56)/24) - (-41)/13. Is r > a?
True
Let u = -1.722 + 3.722. Is u at least -0.266?
True
Let f = 85.51 - 87. Let i = 2.6 + f. Let u = i + -0.11. Is 17 bigger than u?
True
Suppose -a = -3*v, 3*v + 19*a - 17*a = 0. Is v <= -2/2085?
False
Suppose -42 = -26*i - 68. Which is smaller: -1/210 or i?
i
Let x = 0.72 - 1.23. Let c = -3.04 + 3.14. Is x less than or equal to c?
True
Let b be 4/(-5) + (-432)/(-15). Let w = -26 + b. Are 10/3 and w unequal?
True
Let s(g) = g**3 + 11*g**2 + 2*g - 10. Let p be s(-11). Let h be 1/2*p/14. Suppose 0*c = 5*c - 4*d - 8, 0 = 2*d + 4. Are h and c unequal?
True
Let j be 171/33 + 6/(-33). Let n be (140/(-12))/(j/15). Which is smaller: -37 or n?
-37
Suppose 2*v - 4*n = 28, 5*v + 22 = 10*v + 2*n. Let s = -1697/7 - -247. Do s and v have different values?
True
Suppose 0 = 4*w + 5*q - 679, 458 = 3*w - 3*q - 85. Suppose -9*s + w = -13*s. Is -44 smaller than s?
False
Suppose -2*x = 3 + 5. Let w = 6 + x. Let j = -11401 + 11403. Is w at most as big as j?
True
Let u(n) = 25*n + 3*n**2 + 1 + n - 15*n. Let v be u(-6). Which is smaller: v or 42?
42
Let b = 91/568 - 38/71. Suppose -p = -6*p - 5. Which is greater: p or b?
b
Let p(j) = -j**3 + 2*j**2 