
Let t be 2/(-12)*(-95388)/16. Let r = 992 - t. Which is smaller: -2 or r?
-2
Let k = -16285/8977 + 86/47. Which is smaller: 0 or k?
0
Suppose 5*h = 8*h - 9. Suppose -h*p - 2*f + 6 = 0, 4*p + 7*f = 2*f + 8. Suppose 5*q - 3 = 3*x - 0, -x + p*q - 1 = 0. Is -1 greater than x?
False
Suppose -x + 2*v = -3*x - 4, -3*v = x. Suppose 4*j + j - 3*u = -329, 4*u - 59 = j. Let p = j - -65. Which is bigger: p or x?
p
Let v = 1 - 11. Let x = 458 - 481. Let g = x - v. Which is greater: -12 or g?
-12
Let h = -4 + 12. Suppose h*r = 11*r + 36. Is r not equal to -13?
True
Let k(a) = -a**3 + 4*a**2. Suppose 2*w - 5*w = 0. Suppose w = -3*v - 5*f - 13, 4*f = 2*v + 3*v - 40. Let b be k(v). Is b < -2/37?
False
Let c be ((-1)/(-2))/((-3)/96*2). Let w be 60 - (78/24 + (-6)/c). Is w smaller than 54?
False
Let z be 5/560*890 + (-33)/88. Which is smaller: 9 or z?
z
Let q = -67 + 109. Let m be 28/q - 52/6. Suppose 0 = -a - a + 2, 32 = -5*n - 3*a. Is m less than n?
True
Let y(q) = -1520*q**3 + 3*q**2 - 3*q + 1. Let x be y(1). Let g = x - -25813/17. Is 0 at most as big as g?
False
Let r(n) = n**3 + 14*n**2 - 14*n + 14. Let o be r(-15). Are -1/255 and o unequal?
True
Let u = 0 + 0. Suppose u = -2*o + o. Let s = -41289/41 - -1007. Is o smaller than s?
False
Let d = 0.059 + -31.059. Let t = d - -31.37. Do 1/3 and t have different values?
True
Let b = 77 + -78. Let l = 2.5 - 2. Is l less than or equal to b?
False
Let k be (-894)/(-70) - (-6)/14. Suppose 0 = 3*v - 5*i - 3 - 43, 0 = -4*v + i + 50. Is k > v?
True
Let w = 29 - 27. Let c be 4 + (-2 - w) - -10. Let m = 5 - c. Is -2 at least m?
True
Let v = 455.4 + -456. Is v at least as big as -0.3?
False
Let y be ((-4)/(-162)*3)/((-28)/391596). Let n = y - -1036. Is 1 != n?
True
Suppose 141*b + 9 = 132*b. Is -0.0844 less than b?
False
Suppose z + o + 51 = 0, z - 4*o = -59 + 13. Is z > -49?
False
Let h = -2247/10 - -225. Suppose -6*c = -3*c. Suppose -4*l = -c*l. Which is greater: h or l?
h
Let f(k) = k**3 - 5*k**2 - k + 6. Let r be f(-3). Let g be r/6*12/(-45). Are -1 and g unequal?
True
Let i be 288/(-192)*(-20)/3. Are -0.48 and i equal?
False
Let v = -130 + 1039/8. Let z(t) = -t**3 + 4*t**2 - 1. Let r be z(4). Which is greater: v or r?
v
Let q be (-90)/1845 + (-35)/123. Let y be 4 - 2 - (-1030)/(-594). Let u = y + 2/297. Which is smaller: q or u?
q
Suppose 3*p = -2*p - 10. Let c be p*(-2)/(-4)*-17. Which is greater: -0.2 or c?
c
Let o be 83568/(-462)*2/(-8988). Let p = o + 2/3531. Is 0 < p?
True
Let k(y) be the second derivative of -y**5/20 - y**4/3 - y**3/6 - y**2/2 + 8*y. Let p be k(-4). Let h be (p/(-6))/((-6)/(-12)). Is h greater than 0?
False
Suppose 5*t = t. Let c = 180 - 175. Suppose -7*y = -2*y - c*f, -y + 12 = 5*f. Are t and y equal?
False
Suppose -15*l + 1084 - 229 = 0. Let o be (l/76)/(1/(-8)). Let z(b) = b**2 - 6*b. Let j be z(5). Which is smaller: o or j?
o
Let y = 0.0514 + -79.0514. Is y greater than 0.1?
False
Let j = 19.98 - -0.02. Let o = j + 43. Is o equal to 1?
False
Let r(o) = 10*o**2 + 116*o - 49. Let a be r(-12). Which is smaller: -0.445 or a?
a
Let o be 3/5 - (-129)/(-15). Let b be 4*(-2)/o - -6. Do b and 25/4 have the same value?
False
Let m = -106.5 - -137. Let f = -25 + m. Let a = f - 0.5. Which is smaller: 0 or a?
0
Suppose -4*y + 9 = -227. Let j be (-1)/(4/24 + (-195)/1062). Is j greater than or equal to y?
True
Let b(u) = -12*u - 30. Let v be b(-4). Are v and 20 unequal?
True
Let j(v) = -v**2 + 20*v + 55. Let u be j(20). Let l = 93 - u. Is 36 >= l?
False
Let w = -2.072 + 2.1. Let f = 0.258 - w. Is f greater than 0?
True
Let o be ((-8)/60)/(1 - 17/20). Let p = -38/63 - o. Which is smaller: -1/3 or p?
-1/3
Let l = 2914 - 2867. Which is greater: l or 52?
52
Let a be 13 + -5 + -2 + -40. Which is smaller: -30 or a?
a
Let t = -73 + 103. Let v = -29 + t. Which is smaller: 13/7 or v?
v
Let q be (-7)/(-11)*10 + -9 + 9. Do 7 and q have different values?
True
Let m be ((-51)/(-15) + -3)*(-10)/(-2). Which is smaller: 30/17 or m?
30/17
Let x = -36 - -13. Let t = x - -27. Suppose 4*w + 28 = -5*n, -2*w - t*n - 23 + 3 = 0. Is w != -2?
False
Let m = 330.2 - 330.435. Is -3 > m?
False
Let k = -7.63 + -0.37. Let q = 1 + -0.4. Let n = -0.5 + q. Which is greater: n or k?
n
Let m = -0.0549 + -0.4451. Is m less than or equal to -41?
False
Let r be (-5 - 203/(-35))*(-15)/(-306). Is -3/2 != r?
True
Let x = 1 + -1. Let k be (40/18)/(-8*(-10)/(-40)). Which is greater: x or k?
x
Let z be (1/(-11))/((-19)/((-1710)/(-18))). Is z at most -0.3?
False
Suppose 3*o + 2*o + 10 = 0. Let v = 400 - 1573/4. Let c = 17/4 - v. Which is bigger: c or o?
o
Let q = 7.07 + -7. Let d = 4.0715 + -0.0715. Do d and q have the same value?
False
Let i(u) = -u**3 - u**2 + 5*u + 2. Let k be ((-16)/10 - -1)*5. Let h be i(k). Suppose h*q = 3*q + 2. Is -2/9 at least as big as q?
False
Let r be 1/(-12) - 1/(-4). Let i = 1/2 - r. Let x = -0.155 + 0.255. Which is smaller: x or i?
x
Let h = 4.8 + 15.2. Let k = h - 20.2. Let c = 6 + -5.6. Are c and k equal?
False
Let h = -8 - -2. Let r be (h/4)/((-3)/4). Suppose r*i + 0 = -6. Which is greater: i or 0?
0
Let l = -159/7 - -22. Let x be (9 + (-110)/11)/1. Are x and l equal?
False
Suppose -12 = -6*v - 12. Is v less than -1/623?
False
Suppose -2*r = 2*o - 16, 3*r + 3 + 3 = 2*o. Suppose 4 = -o*t + 4*t. Let p be t/(-8) + (-117)/180. Is p >= -1/5?
False
Suppose 6*z + 68 = 176. Let f be 5*1 + 3/(z/6). Let t be ((-12)/10)/((-1)/5). Is f at least as big as t?
True
Let u be 42/9 - 2/3. Suppose -4*z - 3*b = -43 + 11, 4*z - 36 = -u*b. Suppose -5*g + 5*a + 20 = 0, -z*g - 7 = 5*a - a. Which is smaller: g or 0?
0
Let g be 117/52 + 2/(-8) - -3. Suppose -g*a + 3*m - 179 = -a, -2*a + 2*m - 88 = 0. Do -46 and a have the same value?
False
Suppose -3*r - 2*r = 1925. Let l = -2689/7 - r. Are l and 1 unequal?
True
Let g be (-3)/((-6*3/87)/(-4)). Let z = g + 57. Is -3/13 greater than z?
True
Let x = 54876/91 - 603. Is 0 at most as big as x?
True
Let t(u) = -2*u**3 - 58*u**2 - u - 30. Let f be t(-29). Which is greater: 4/73 or f?
4/73
Let h = -206 - -205. Do 2/79 and h have the same value?
False
Let g(u) = u**3 - 5*u**2 + 4*u - 1. Let j be g(4). Let m(k) = k + 42. Let l be m(0). Let o be l/(-56) - 13/(-28). Which is greater: o or j?
o
Let n be (-1)/((2/(-28))/(9/6)). Let d be n/774*-28 - 4/(-6). Which is greater: d or -1?
d
Let v = -259649/583627 - -70/3121. Let f = v - -1/17. Suppose -4*s = 3*d - 1 - 12, s - 4*d = -11. Is f at most as big as s?
True
Let h be -14*21/(-1029)*14/8346. Is h at least as big as -1?
True
Let h = 284 - 271. Let t = -0.05 + 4.05. Let m = h - t. Is m equal to 1?
False
Suppose 480 = 2*j + 3*j. Suppose -16*i = -10*i - 582. Which is smaller: i or j?
j
Let d be 4 + (-138)/36 + 595/30. Is d >= 19?
True
Suppose -6*x = -2*x - 20. Suppose 3*l = x*c - 30, 3*c + 5*l + 28 = 4*c. Suppose 0 = -0*d - 6*d + 6. Is c at most d?
False
Suppose 0 = -2*d - 5*x - 13 + 43, -4*d + 2*x = -36. Suppose -o - 12 + 20 = 0. Let w be 2 + o/(-12)*-12. Is w bigger than d?
False
Let x = -0.12 + -0.01. Let q = -0.47 + 0.5. Let f = q + x. Which is bigger: f or -2/9?
f
Let l = -564 - -565. Which is greater: l or 165?
165
Let u be 3 - (24/84 - (-374)/14). Suppose 2*t - 7 = 4*o - 21, 2*o = 3*t + 5. Suppose 3*s + 2*r = -81, 8*r - 13 = s + o*r. Which is smaller: s or u?
s
Let c = -2/15827 + -62558/5935125. Does c = -1?
False
Let k be 80/2 + -2 - 2. Is 3 != k?
True
Let r(w) = 5*w**2 + 20*w - 24. Suppose 0 = 4*p - 12 - 16. Let j(s) = 9*s**2 + 39*s - 47. Let x(u) = p*r(u) - 4*j(u). Let f be x(-17). Which is smaller: f or 6?
f
Let v be (35/(-14))/((-20)/16). Which is greater: -942 or v?
v
Suppose -3*n - 4*q - 1 = 0, -32*n = -33*n - 5*q + 7. Let w = -10 + 6. Which is smaller: n or w?
w
Let u = 58 + -47. Suppose u + 5 = -z + 5*j, -3*j + 10 = -z. Is 2/79 >= z?
True
Suppose 3*r = 8*r + 85. Let z = -8 - r. Let n = z + -8. Is n less than -1/5?
False
Suppose 0 = 17*m - 5*m + 1848. Is -153 less than m?
False
Suppose 0 = -39*w + 40*w - 219. Which is smaller: w or 220?
w
Let s = 20 - -7. Let c = s - 15. Let l = c + -12.2. Which is bigger: -2 or l?
l
Suppose -29*b + 1684 + 46137 = 0. Which is smaller: b or 1650?
b
Let f be (-2)/(-3)*(276/1242)/(4/243). Let w(x) = 2*x + 4. Let y be w(3). Which is bigger: f or y?
y
Let b = 18 + -4. Let o = b - -2. Suppose 3*z - o + 1 = 0. 