se
Let f be (-5)/(-35) + 62/7. Suppose -f = z + k, 4*k = 9*z - 4*z. Is -17/6 bigger than z?
True
Let g be 338 + 8*(-8)/(-64). Which is smaller: g or -0.1?
-0.1
Suppose -5*a + a = 48. Let r = 34 - -5. Suppose r = 14*z - 17*z. Which is smaller: z or a?
z
Let r(h) = -h**3 + 13*h**2 - h + 11. Let t be r(13). Let m be (t/((-112)/12))/((-189)/(-12)). Which is greater: m or 0?
m
Let r = 3 + 7. Let a be ((-136)/r)/(6/(-15)). Suppose -a = x + x + 4*b, -3*x = 5*b + 48. Is -12 less than or equal to x?
True
Suppose 0 = 2*a + 27 - 5. Let u be (a - 8)*(0 - -3). Is u less than -57?
False
Suppose -s + 16 - 15 = 0. Is 6/89 greater than or equal to s?
False
Let k = -1533/374 - -85/22. Are -0.01 and k nonequal?
True
Suppose -2*o = 2*o - 28. Let b = 60 - 26. Let w = -32 + b. Which is greater: w or o?
o
Let z be 8/(-1)*(-126)/(-216). Is -5 greater than z?
False
Let f = 101.1 - 112. Let u = f + 10.8. Is u equal to 1?
False
Let w = -329/754 - -3/58. Which is bigger: w or 0?
0
Let v(t) = -2*t**2 - 15*t + 63. Let a be v(7). Which is bigger: -137 or a?
-137
Let s be 5*(-6)/120*10/(-2895). Is s bigger than -1?
True
Suppose -3*c = -10*c + 567. Which is greater: 82 or c?
82
Let x be 53/((-848)/2080) - (-1 - -2). Which is bigger: x or -137?
x
Let p = 9 - 7. Suppose -7*f + p*f = -25. Is f greater than or equal to 6?
False
Let a = -28 - -33. Suppose -a*l + 5 + 100 = 0. Suppose -19*z = -l*z. Is z at least as big as 10/9?
False
Let m be (-22)/(-4*2/4). Suppose m*b = -2*t + 7*b + 80, 0 = 2*t - 5*b - 107. Which is bigger: 47 or t?
47
Let k be 30/(-22) - (-4)/22. Is k > -2?
True
Let q(x) = -16*x - x**2 + x**2 + 1 + x**2 + 0. Let c be q(16). Let r = 23761/10257 + -7/789. Which is bigger: c or r?
r
Let z be ((-1)/(-1))/(6 - 5). Let t be ((-2)/(-76))/(3/16917). Let x = 297/2 - t. Do x and z have the same value?
False
Let v(y) = y - 2. Let f be (-4 - -7)/(6/8). Suppose -f*p + 28 = o - 5*o, 4*p - 10 = -5*o. Let q be v(p). Is q >= 6?
False
Let p = 38 - 37. Let d be (-10)/(-6) + 16/(-24) - p. Let q be 1/(5/2) + 0. Is d at least as big as q?
False
Let p = -4.14 - -2.14. Let n = -14/117 + -4/39. Which is smaller: n or p?
p
Suppose s = 5*v + 5, 2*v - 3*s + 14 = -1. Suppose 3*d - 15 = -v. Suppose -n + 16 = -d*n. Do n and -4 have different values?
False
Let a(j) = j**3 + 5*j**2 - 5*j - 20. Let g be a(-5). Which is smaller: g or -24?
-24
Let p(f) = f**2 + 2*f + 2. Let m be p(-2). Suppose -2*d + m*i = -6, 4*d - 6 = 2*d - 3*i. Let b be (-1)/3 + 5/d. Is 2 at most as big as b?
False
Suppose 8*k - 2 = -2*n + 4*k, 6 = 3*k. Let a(m) be the first derivative of -m**2/2 + 10*m - 7. Let l be a(13). Is n smaller than l?
False
Suppose -2*v + 2 = -4*v, -4*v + 6 = -2*h. Let g = -8 + 14. Suppose y + 1 = -z - g, -2*y + 4 = -z. Is z greater than or equal to h?
False
Let h be -3*((-22)/3)/(-2). Suppose -8*s = 3*s - 132. Let a = h + s. Do -2/15 and a have the same value?
False
Suppose -128 = -17*q - 26. Let b be (-12)/18*2/((-8)/q). Does 8/9 = b?
False
Suppose 10 = -4*b + 38. Suppose -9 = -j + b. Let n = j + -113/7. Is 0 less than or equal to n?
False
Suppose -9 + 18 = 3*d. Suppose d = -o - 9. Which is greater: o or -13?
o
Let h = -101.2 + 102.8. Let t = 5/6 - 1/2. Which is bigger: h or t?
h
Let a be ((-21)/(-1414))/(4/(12/9)). Do a and -1 have the same value?
False
Suppose -5*k - 8 = -k. Let f be (-1)/((-1)/26*k). Let u be (0 - (-6)/8) + (-110)/8. Are u and f unequal?
False
Let h be (166/12)/(2/3). Let l be (-24)/3*(-473)/172. Is l > h?
True
Let w be (1 + -2)/(40 + -53). Which is greater: 2/9 or w?
2/9
Suppose -256*g = -251*g + 60. Which is greater: -2 or g?
-2
Let s = 459 + -464. Suppose 3*b - 3*j = -0*j - 21, 5*j - 23 = -b. Is b greater than or equal to s?
True
Let n be 108*(-23)/(483/6). Is -30 >= n?
True
Let b = -338 + 2695/8. Which is bigger: b or -0.2?
-0.2
Let q = 1.8 + -3.1. Let c = -11.3 - q. Let v = 9.6 + c. Are 1/2 and v non-equal?
True
Let p(m) = 2*m**2 - 1. Let v be p(1). Let q = -106 + 166. Let u be 14/q - (-8)/(-20). Is u less than or equal to v?
True
Suppose -3*q - v = -4*q + 12, 2*q - 4*v - 30 = 0. Is 14 smaller than q?
False
Suppose 14*d - 3*d = -33. Which is smaller: d or 89?
d
Let v = 57.83 + -57.9. Which is smaller: 8 or v?
v
Let a be ((-4)/(-14))/(5/(-35)). Is -14/9 at least as big as a?
True
Let g(t) = -t**3 - 7*t**2 - 10*t + 7. Let r be g(-5). Suppose 3*k + 24 = 4*o - k, 14 = o - 3*k. Suppose r = 5*f + o. Which is bigger: f or 2/5?
f
Let f(g) = -g**3 + 3*g**2 + 5*g - 5. Let a be f(4). Let p be ((-546)/19656)/(2/6 + 4/(-10)). Which is smaller: p or a?
a
Suppose 4*q + 3*o + 7 = 0, 4*q + 7*o - 5*o + 2 = 0. Let m = 7 + -4. Which is bigger: q or m?
m
Let a = -128 + 129. Is a bigger than -15/8?
True
Let b be 3*(-11 - 681/(-2)). Which is smaller: b or 989?
b
Suppose 1 = 2*j + 9. Let a = -89.4 - -89. Which is smaller: a or j?
j
Let y(q) be the first derivative of -q**3/3 + 2*q**2 - 2*q + 12. Let u be y(1). Does u = 5?
False
Let g = -8095/17 + 476. Is -4 less than or equal to g?
True
Let g be 52/(-6) - -9 - 46/120. Is g bigger than 2?
False
Suppose -6*k + 55 = -k. Let o = 11 - k. Do o and 1 have the same value?
False
Let c be (-5)/1 - (-3)/3. Let z(m) = -3*m**2 + 5*m + 2. Let j(h) = -4*h**2 + 5*h + 3. Let d(b) = 4*j(b) - 5*z(b). Let g be d(c). Which is bigger: 5 or g?
g
Let o = 0.33 - -1.67. Is o greater than or equal to -20?
True
Let w = 649 + -375. Which is greater: 275 or w?
275
Suppose 2 = 5*z + 2*g - 6, 0 = -4*z - 2*g + 6. Let f = 5 - 3. Suppose -f*d + 2*v = 2*d - 26, 37 = 3*d - 5*v. Which is smaller: z or d?
z
Let f = -54.1 + 52. Let i = -1.1 - f. Which is smaller: i or -21?
-21
Let a be (-2112)/(-52)*(-5)/2254. Let q = a + 2/637. Let o = -0.4 + 0.5. Is o at most as big as q?
False
Let x = 0.9359 - 11.9699. Let m = x - -0.034. Is 2/7 less than or equal to m?
False
Suppose 2*w + 12 + 42 = 0. Let r be 12/w*10/4. Suppose 0 = -2*o - 3*i + 7, i - 14 = -o - 4*i. Is o < r?
False
Let m = 440 - 440. Is m >= -2/5?
True
Let o = 0.206 + -198.206. Let p = 196 + o. Let i = 1 + -1.01. Which is smaller: p or i?
p
Let v(g) = -12*g - 2. Let b = -67 + 70. Let z be v(b). Are -37 and z non-equal?
True
Let a = 1 + -9. Let j = -7.8 - a. Is j > -0.03?
True
Suppose -3*i + i + 8 = 0. Let a = 19 - i. Let d = -15 + a. Is -0.13 smaller than d?
True
Let v(c) = -3*c**2 - 25*c - 16. Let x be v(-8). Let j(q) = q**3 + 8*q**2 - 4*q - 32. Let u be j(x). Which is bigger: u or 2/395?
2/395
Let p = -67 + 67.9. Let j = -1.2 - -0.2. Let w = j + 0. Are w and p unequal?
True
Let l = 3 + 3. Let u = 3 - l. Is -2 bigger than u?
True
Let p be 4 - (60/(-35))/(2/(-7)). Which is greater: -1 or p?
-1
Let k = 39 - 39.9. Let d(q) = -2*q + 4. Let u be d(-3). Suppose -i = a - 2, 0*i - u = -5*i. Which is smaller: a or k?
k
Let c be 30/(-4)*8/(-5). Let q(k) = k**2 - 12*k + 11. Let i be q(12). Is c >= i?
True
Let v = -12 + -9. Let y be 27/(-2)*28/v. Let s be (-3)/y + 21/18. Which is greater: s or 2/5?
s
Let o = -18 - -22. Suppose 5*m + 3 - 8 = 0. Let f be -1 + (m + 3)/o. Does 4/7 = f?
False
Let q be (-2)/(-2 - (1 - 2)). Let z be -32 + -2*9/6. Let s be (-21)/z - (-14)/10. Do s and q have the same value?
True
Let k be (-2)/(-7) + (-955)/35. Suppose 4*w - 2*c + 114 = 0, 4*c - 10 - 50 = 2*w. Which is greater: k or w?
k
Let y be (-111)/(-8) + 5/40. Let r be (-3*2)/((-28)/y). Suppose -16 = -k + r*t, 2*k - 6*k - 3*t + 34 = 0. Is k >= 10?
True
Let h = 0.509 - 0.571. Which is greater: 1 or h?
1
Let j be -3 + 2 + 0 + 85. Is j at least 84?
True
Suppose -2*a = -7*a - 145. Is a > -29?
False
Suppose 0*r = 5*r - 3*q - 105, 3*q = 0. Suppose 3*z = -p - r, -6*p + 3*p = 0. Is z < -7?
False
Let j = 275 + -285. Is j >= -98/11?
False
Let b(x) = -x + 1. Let j be b(-1). Let s = 4327 - 73547/17. Is s smaller than j?
True
Let v = -0.81 - 51.19. Which is bigger: -0.1 or v?
-0.1
Let j be (-13)/13 + 8/2. Suppose 9 - j = 5*f + 4*k, 4*k + 10 = 3*f. Suppose -f*p = -5*p - 33. Is p greater than -9?
False
Let s = -0.16 + 8.16. Let w = 27/4 - 7. Which is bigger: w or s?
s
Suppose -5*a + 4*f = -70, -5*f = -5*a + 33 + 42. Suppose 0 = -16*y + a*y - 78. Is y greater than or equal to -11?
False
Let q be 1/(-1)*(-1 + 0). Suppose -l - q = 0, 4*r - 2*l - 14 = 2*r. Let j be 22/r*1 - 3. Is j greater than or equal to -1?
True
Let v = 85 + -89. Let k(l) = 12*l + 29. Let f be k(v). Which is