p - 10. Suppose -k + 2*k = 5*m + 5, -2*k = -2*m - 2. Which is smaller: p or m?
p
Let p(s) = s**3 - 10*s**2 + 3*s - 49. Let h be p(10). Let z = -5.2 + 5.4. Which is smaller: z or h?
h
Let v = -2803 + 9009. Does -2 = v?
False
Suppose -29*b + 265 = -1330. Which is smaller: 58 or b?
b
Let i = 3 + -2. Suppose -195*x + 16 = -191*x. Suppose -3*q + 17 = 4*m, -x*m + 3*q = 4*q - 11. Which is smaller: i or m?
i
Suppose 10*o - 1322 - 588 = 0. Let s = o + -259. Which is smaller: s or -69?
-69
Suppose -y - 5*o = y - 60, -2*o = 8. Which is greater: y or 44?
44
Let d = 468.711 + -9.711. Which is bigger: d or -1/3?
d
Suppose 2*k - 20*k + 35010 = 0. Let v = 13483/7 - k. Is -20 at least as big as v?
False
Let o(j) = -5*j + 160. Let n be o(14). Let g be 44/(-5)*325/n. Is -33 bigger than g?
False
Suppose -91 - 16 = -3*k - 5*u, -k + 2*u = -32. Let s be (6/k)/((-819)/390). Is s greater than or equal to 0?
False
Suppose -3*s + 7*s - 20 = 0. Let w be 4/18 + ((-3375)/243)/(-5). Suppose -s*i - 4*r = 3 + 1, -i - 3 = w*r. Is 22 at least i?
True
Let v = -4 - -13. Suppose 13*n - 19*n - 1086 = 0. Let k = 190 + n. Is k < v?
False
Let z = -15649/163 - -96. Do z and 0 have the same value?
False
Let m be 2/(-7) + 70176/247758. Which is smaller: m or 1?
m
Let r be (-13 - 680/(-50)) + (-14)/(-10). Is r greater than 103/35?
False
Let y(r) = -r**2 - 4*r + 17. Let w be y(-7). Let q be (-576)/(-16)*3/w. Let j be 27/q*(-1 + 4/2). Is j <= 2/7?
True
Suppose -43 = -5*k + 12. Suppose -19*t = -21*t. Let g(a) = -a**2 + 3*a + 12. Let s be g(t). Is k equal to s?
False
Suppose 0 = -11*a + 862 - 169. Suppose -f - a = w - 3*f, 4*f + 209 = -3*w. Which is smaller: w or -66?
w
Let q = -3.867 - 0.033. Let b = 113.9 + 5.1. Let v = 118 - b. Which is greater: q or v?
v
Suppose 3*r = -1 + 4. Let s be 3*r/2*2. Let c be (-64605)/(-20650) - (-21)/(-49). Which is bigger: c or s?
s
Let h(g) = g**3 + 11*g**2 - 11*g - 27. Let b be h(-13). Is b greater than or equal to -222?
True
Let u = -166685/7028 + 166/7. Does u = 1?
False
Let m be 0 + ((-12)/63)/4. Let a = 0.094 - -128.906. Let v = a - 128.9. Is v != m?
True
Let q = 1627 + -1628. Which is smaller: 5/164 or q?
q
Let i be (1 + (-26)/2)*-7*(-19)/(-28994). Is -3 less than i?
True
Let f be 12/(-1 + -3) + (8 - 30/5). Which is smaller: f or -63/86?
f
Let b = -204 + 47. Let r = 147 + b. Which is bigger: -7 or r?
-7
Let j be (-596)/(-65408)*(-500)/(-72). Let p = 1/4672 + j. Which is greater: 0 or p?
p
Let d be ((2436/28)/29)/((-513)/(-168) + -3). Let c be 5/((-5)/(-56)) - 1. Which is bigger: c or d?
d
Let d be (-45)/(-30)*1*-2. Suppose -11*y = -16*y + 550. Let w = 107 - y. Is w smaller than d?
False
Let b = -244864/9 - -27177. Is b < -31?
False
Let k(s) = s**2 + 7*s - 23. Let x be k(3). Let y be ((-1)/3)/(-4*x/420). Suppose -5*j - 7*i - 15 = -3*i, -y*i = 0. Which is greater: -7 or j?
j
Let f = 562.3 - 564.949. Let t = f + 2.6. Is t not equal to 2/9?
True
Suppose -5*b - 28 = 2*w + 31, 4*w = -2*b - 78. Suppose 5*a - 7*a = -48. Let c = w + a. Is 7 less than c?
False
Let l be (-10)/(-4)*16/100*5. Suppose -b = 5*x + 91, l*x + b + 0*b = -37. Is x not equal to -18?
False
Let x be (-3)/(-7)*((-695)/(-15) + 3). Suppose 2*t - 72 = 3*w - 10, 2*t = -5*w + 14. Is t != x?
True
Let j(w) = w**3 + 5*w**2 - 9*w - 16. Let p be j(-6). Let c be -31*((-1 - p) + 8/4). Is c less than 29?
False
Let p be ((-566890)/(-25) + 3)/(48346/(-5)). Let s = p - 5/2102. Which is smaller: s or -3?
-3
Let x = 1453/4 + -2320449/6388. Which is bigger: x or -1?
x
Let g be 6/63 + 48153208/13692. Let a = 3517 - g. Which is bigger: a or -1?
a
Let z be (-219)/5 + (-10)/50. Let m = 38 + z. Let v be (6/9)/(m/9). Does v = 2/5?
False
Let j be 2/80*(-5 - 48). Let c be 4/(-8)*(-1)/(16/68). Let n = j + c. Which is bigger: -2 or n?
n
Let f be -8*((-252)/54 + 2/12). Let k(i) = -2*i**3 + 3*i**2 + 5*i + 3. Let s be k(-2). Suppose 3*h - f = s. Is h equal to 1?
False
Let t be 7/9*((-87)/21 + 5). Which is greater: t or 11?
11
Let k be 2/(-9) + 76/18. Let m be ((-954)/(-4081))/(1/14). Is k greater than m?
True
Let z = -35/2 - -447/26. Suppose 10 = 5*m + 5*x, -m = -2*m + 2*x - 1. Let v(g) = 2*g - 1. Let y be v(m). Which is smaller: z or y?
z
Let c be (-960)/35 + (-8)/14. Let h be (-4)/(-2)*(-1834)/c. Suppose 26 = -5*a + h. Which is greater: a or 23?
23
Let a(b) = b**3 + 6*b**2 - 3*b - 6. Let o be a(-6). Let l(u) = -u**3 + 2*u**2 + 1. Let p be l(2). Suppose 0 = -10*m - p + 131. Are m and o nonequal?
True
Let x be (0/1)/4 - ((8 - 16) + 7). Which is smaller: 1/332 or x?
1/332
Suppose 2*u + 31 = -37. Let d = 38 + u. Let v be (d/96)/((-2)/4). Do 1 and v have different values?
True
Let m = -7 - 0. Let v be (40/18)/((-247)/39 - -7) - 6. Which is bigger: m or v?
v
Suppose 64667 = -138*d + 275117. Is d > 1525?
False
Let j be 19/((-57)/18)*46/18. Let p be 141650/9240 - 1/(-11)*2. Let a = p + j. Is 0 smaller than a?
True
Suppose -22*p + 3493 = -6099. Is 1741/4 greater than p?
False
Let o(h) = 33*h - 35. Let y be o(3). Suppose -13*w = -9*w + y. Is -10 equal to w?
False
Let l(k) = 4*k**2 - 1. Let r be l(-1). Let m = 68 - 67.823. Let v = 0.577 - m. Which is smaller: r or v?
v
Suppose 0 = -22*w + 153835 - 2233. Is 6890 not equal to w?
True
Let a(u) = -3*u + 10. Let i be a(10). Let l be (750/i)/((-3)/4). Let b be (-19)/(-10) - 6/4. Which is smaller: l or b?
b
Let a be ((-16)/(-80))/(18/(-66070)). Let u = -735 - a. Let n = -2 + 1. Which is smaller: u or n?
n
Let p(z) = -2*z**2 + 65*z + 82. Let k be p(33). Let c be 16/10 + -2 + k/10. Which is smaller: 4 or c?
4
Let n(h) = 7*h + 123. Let l(t) = -5*t - 125. Let s(u) = 5*l(u) + 4*n(u). Let x be s(43). Is x >= 27?
False
Suppose 0 = 57*c - 61*c + 16. Suppose -c = -10*n + 14*n. Is n at most 1/166?
True
Let o be (-6)/(-9) + (-4)/(-12). Suppose -3*f - o = -13. Let m = -174 - -182. Which is bigger: f or m?
m
Let r = 8039 - 1398. Which is greater: r or 6642?
6642
Let n(w) = -3*w - 13. Let b be n(-4). Suppose 2*x - 7 = 125. Let q = -657/10 + x. Is b greater than q?
False
Let g = -8329 - -8225. Which is smaller: g or -116?
-116
Suppose 2*q = -2*f - 4562, -4*f + 3*q - 14564 = -5405. Which is smaller: -2295 or f?
-2295
Suppose -26*j + 81 = -23*j. Let a(l) = -149*l - l**2 + 74*l + j + 86*l. Let x be a(13). Is 1 bigger than x?
False
Let k = -258 + 260.24. Let r = -2.36 + k. Is r greater than 6?
False
Suppose -2*s + 3 = -3*s. Let d(u) be the third derivative of -u**6/120 - u**5/15 - u**4/4 - u**3/3 + 877*u**2. Let a be d(s). Are a and 7 nonequal?
False
Let l(j) = -30*j - 178. Let h be l(-6). Suppose h*b + 3*c - 2*c = 2, 0 = -b + 4*c - 17. Which is smaller: 1/51 or b?
b
Let o(y) = 6*y**3 + 635*y**2 - 106*y - 1. Let a be o(-106). Does -7/950 = a?
False
Let v = -481/92 + 126/23. Is v bigger than -2/31?
True
Let n(r) = -17*r**2 + 35*r + 354. Let m be n(-7). Which is smaller: -726 or m?
-726
Let j be 3/8 - 59843/(-280) - 2/20. Are j and -1 equal?
False
Let p = -1348/10335 + -2/689. Let x(t) be the third derivative of -t**5/60 - 13*t**4/24 + 7*t**3/3 + 9*t**2. Let s be x(-14). Are p and s equal?
False
Let a = 255.35 + -241.35. Let n = -4.04 - -0.04. Which is smaller: a or n?
n
Suppose 4*g - 29 = 63. Suppose -240 = -g*k - 1712. Is -63 < k?
False
Suppose 3*c = 3*u - 249, -u - 21 = 5*c - 110. Let p be ((231/(-28))/(-11))/(u/32). Which is smaller: 385 or p?
p
Suppose 2*l + 20 = -4*j - 34, -j - 4 = 0. Suppose 6*k = -k - 126. Let x = k - l. Does x = -13?
False
Suppose -28 = -j + 8*j. Let k be 2 + 5*6/(-75). Which is smaller: j or k?
j
Let y be 4*4/32*2. Let g = -954 + 960. Is y >= g?
False
Suppose 2*t + 5272 = 6*t. Suppose 6*u = t - 4054. Let z be (412/u - -1) + (-5)/(-30). Is z at least -1?
True
Let i = 49 - 43. Suppose 4*y - 10 = i. Suppose y*d - 6 = -6. Are -2/107 and d non-equal?
True
Suppose 6*c = 218 + 46. Suppose -3*x - c = -6*x + 4*s, 2*x - 4*s = 36. Suppose -10*z + 4 = -x*z. Are z and -5 unequal?
True
Let s be (2/(-26))/((-13)/(24518/23)). Let r = -32 + 37. Is r greater than s?
False
Let t be (35 - 37)*(400/124)/5. Which is smaller: t or -2?
-2
Let c = -100639/18292287 - 1/16953. Is 1 equal to c?
False
Let p = 16949 - 16705. Which is smaller: 17 or p?
17
Let v be (-959)/(-644)*52/(-39). Let a = 1870/5773 + 6/251. Let t = a - v. Which is bigger: 2 or t?
t
Let h = 560.585 - 0.585. Let t = h + -559. Is -0.42 at 