, 188 = -0*p + 4*p - 2*m. Do t and p have the same value?
True
Let x = -3838/7 - -550. Let a = -3/14 + x. Let p be ((-1)/(-2))/(1/2). Which is bigger: p or a?
a
Suppose -3*w - 4*k - 11 = -0, 19 = 3*w - 2*k. Suppose -w*g = 2*q - 66, 3*g + 2*g = q - 20. Is 31 smaller than q?
False
Let p = -9547 - -104949/11. Which is greater: -7 or p?
p
Let k = -23 + 17. Let m(d) = d**3 + 7*d**2 + 6*d + 1. Let h be m(k). Which is bigger: -7 or h?
h
Let d(f) = f + 8. Let z be d(-8). Suppose 134*n - 140*n - 54 = z. Which is smaller: n or -41/4?
-41/4
Let q = -131 - -148. Do -10 and q have the same value?
False
Let p = 36.55 - 37. Let b = p - -0.32. Which is bigger: -2/7 or b?
b
Let j(o) = -28*o + 229. Let b be j(0). Which is bigger: 230 or b?
230
Let j = -0.187 - 0.413. Which is smaller: j or 3?
j
Suppose 0 = 4*j + q + 2467, -4*j + j = -4*q + 1836. Let t be j/147 + -1 + (-2)/(-6). Which is greater: t or -6?
t
Let c = 28.945 + 0.055. Let d = c - 30. Which is smaller: d or -5?
-5
Suppose 12 = 7*a - 2*a + 4*m, -26 = -5*a + 3*m. Suppose -4*w = -0*w - g + 5, 5*g + 7 = a*w. Let l be (12 + (-6)/w)/1. Is 14 greater than l?
False
Let m be (0 - 1)/(4/(-116)). Let g = m + -49. Let p be (-2)/(-100)*g/(-8). Which is bigger: 0 or p?
p
Let z(w) = -3*w**2 - 4*w + 11. Let m be z(3). Let c be (-29)/4 + (-7)/m. Do c and -39/5 have different values?
True
Let c be (-4)/12*(-129)/(-602). Is c greater than -24?
True
Let l be (-32)/(-96)*(-3)/2*-42. Are l and -6 unequal?
True
Suppose 16 = -2*j + 24. Suppose -5*z - 27 = 2*y, -3*z + 2*z = -j*y + 1. Let l = -6379/22 - -290. Which is greater: y or l?
l
Let j = 129 - 104. Is j greater than or equal to 25?
True
Suppose 2*j + 6 = 10. Suppose 3*f = -j*f. Which is bigger: f or 0.5?
0.5
Let d = -169 + 168. Are d and -7/39 unequal?
True
Let j be (-3 - (-25)/10)/((-3)/768). Let m = j + -129. Which is bigger: m or 1/218?
1/218
Let z = -178 - -181. Is 1 bigger than z?
False
Let s be (1*10)/((-8)/8). Let n be (8/(-6))/(s/15). Let b be (-1 + n)*(-4 + 3). Is b smaller than -4/9?
True
Suppose -2*t = -5*z - 0*z + 13, -5*t = -4*z - 10. Let h(c) = t*c**2 + 206*c - 206*c. Let g be h(-1). Is 8 < g?
False
Let m(s) = -4*s - 6. Let y be 5/(-7) + (4/(-14))/1. Let q be m(y). Are q and -1 nonequal?
True
Suppose -3*x + x = 26. Let q = x + 25. Let a be 2/(-1)*10/q. Is -2 >= a?
False
Let z be 0/5 + -9 + -29. Which is smaller: -36 or z?
z
Let s be ((-18)/(-28))/(-3)*(-348)/261. Let p = 3 + -2.979. Which is smaller: p or s?
p
Suppose -5*f + 3*f + 16 = 0. Suppose z + 5 = 3*t, t - f = -3*t + 2*z. Let h be (4/5)/((-3)/(-15)). Which is bigger: h or t?
h
Suppose 12 = -3*k + 6*k. Suppose -3*a + 5 = -4*j - 0*j, 2*j + k*a + 8 = 0. Let g(w) = w - 10. Let b be g(8). Does b = j?
True
Let x be (-12 + 11)/(1*-1). Suppose 16*b = 15*b + x. Let q = 57 - 79. Which is smaller: b or q?
q
Let d be (13/((-78)/(-20)))/((-133)/21). Is 0 > d?
True
Let x = -14.5 + 87.5. Let v = 81 - x. Which is bigger: -1/11 or v?
v
Suppose 45 - 53 = 4*h. Is h >= 15?
False
Let b(p) = -p**3 - 9*p**2 + 13*p + 11. Let n be b(-10). Let l be (-1 + 1)/(20 + n). Let c be 1/(-7)*21/(-6). Does c = l?
False
Let f = -27 + 23. Let h be -1 - (f/(-9) - 1). Which is greater: h or 0?
0
Let j(x) be the second derivative of x**5/20 + 5*x**4/12 - 4*x**3/3 - 9*x**2/2 + 12*x. Let c be j(-6). Which is bigger: c or 1?
c
Suppose h + 2*n - 19 = -n, -h = 2*n - 18. Let g = -19 + h. Which is greater: g or -1?
-1
Let a(t) = 26*t**2 - 3*t - 2. Let d be a(-1). Let s be ((-6)/d - 8/(-9))*-3. Is 7 greater than or equal to s?
True
Let q = 7/29 + -441/145. Suppose -4*w + 1 = -b + 14, -25 = 5*w - 3*b. Which is smaller: w or q?
q
Let a = -4833 - -24088/5. Is a <= -16?
False
Let p(o) = -o**3 + 10*o**2 - 19*o - 1. Let g be p(9). Is g bigger than -91?
False
Suppose 2*g = 6 + 6. Let w = g - 2. Suppose -4*j - 3*k + 6*k + 11 = 0, -3 = -3*j + w*k. Which is smaller: 6 or j?
j
Let m = -201/4 - -51. Let z(t) = t**3 - 13*t**2 + 14*t - 21. Let b be z(12). Suppose a + 3*v - 3 = 0, 2*a - 4*a + 3 = b*v. Which is smaller: a or m?
a
Let z(a) = a**2 + a - 10. Suppose m = 5*m. Let y be z(m). Let j be (-20)/30*3/y. Are -2/3 and j unequal?
True
Suppose -2*s + 4 = 2*s. Are 2/681 and s nonequal?
True
Suppose 0 = 4*l - 0*l. Suppose k - 3*m + 127 = l, -2*m = m - 9. Let x = k - -830/7. Is 2 less than x?
False
Suppose 7*a - 9 = 4*a. Let v be (-2)/(-1) - (6 - a). Which is smaller: -3/11 or v?
v
Suppose 4*v - 12 - 5 = 3*z, -6 = 2*z. Suppose 5*a + 4*m - m = 32, -v*m - 2 = 0. Which is bigger: a or 19/3?
a
Let o = -0.1 - 0.1. Let m = 736 - 735.94. Which is bigger: m or o?
m
Let z = -33805/7 + 4841. Suppose 45 = 6*v - 21. Is z at most as big as v?
False
Let f be -114 + (-175)/(-55) + 4/(-22). Let r = 106 + f. Which is smaller: r or -6?
-6
Let o = -1937 + 253741/131. Which is smaller: 1 or o?
o
Let j = 140.9 - 141. Which is greater: j or 0.24?
0.24
Suppose -y + 179 = -5*g, 4*g - 15 = -y - 151. Which is smaller: -11 or g?
g
Let i be 526/(-76)*105/(-18714). Let n = i + 2/3119. Which is smaller: n or 0?
0
Let b(u) = -1 - 3 - 11*u + 10*u. Suppose 5*r - 4*c + 35 = -7*c, -5*r - 35 = -5*c. Let t be b(r). Which is smaller: 6 or t?
t
Let g = 21.1094 + 0.0106. Let u = -3.1 + 24.1. Let d = u - g. Is d <= -1?
False
Let b(m) = m**3 - 4*m**2 - 1. Let g be b(4). Let r = -3/316 + -509/12956. Which is smaller: g or r?
g
Suppose -2*q + 6 - 2 = -2*v, -5*v = 2*q - 25. Suppose 19 = 2*l - 3*f, -15 = q*l - 2*f - 46. Suppose -l = -2*c + 7*c. Is -7/5 equal to c?
False
Let l = -651/2 + 5863/18. Is 164 > l?
True
Suppose 0 = g - 7 + 3. Let u(w) = -w**3 + 3*w**2 + 5*w - 3. Let o be u(g). Is o at most -1/4?
False
Let d be 31/(-55) - (-7)/35. Suppose 0 = 3*y + y + 20, 22 = j - 4*y. Suppose -3*g - 2 = 5*o + j, 0 = -5*o + 3*g + 14. Which is greater: o or d?
o
Suppose 2*i - 120 = 4*z, 33 = -z + 3*i - i. Suppose -l = -4*p - 117, -7*p + 3*p - 123 = l. Which is greater: p or z?
z
Let x(m) = m**3 + 7*m**2 + 6*m - 6. Let z be x(-6). Let i(s) = 89*s - 4454. Let o be i(50). Is z equal to o?
False
Suppose -r = -2*r. Suppose 6 = 2*k + 2*p, -5*k + 0*p = p - 19. Suppose -k = -0*h - 4*h. Which is smaller: h or r?
r
Let t be ((-3)/(-49))/(12/(-42)). Which is smaller: 0 or t?
t
Let m be 13/26 - (-18)/4. Suppose -v + 2 = 0, -4*i + 2*i = m*v. Let f = -13 + 8. Is f < i?
False
Suppose 922 = -3*h + 94. Let u = h + 12974/47. Which is smaller: u or -1?
-1
Let c = -1.97 + 0.37. Let w = 3.6 + c. Is w not equal to -2?
True
Suppose 2 = -5*q - 3*j, -2*q = 3*j - 7*j + 6. Suppose 0*c - 2*f = -3*c + 7, -3*f = -2*c + 3. Let n be c*-1*(0 + 16/108). Is q at most n?
True
Let m(x) = -x**2 + x - 2. Let u be m(2). Let y be u/(-16) + 1/(-4). Let j be y/(9/(1 - 4)). Is j not equal to -4?
True
Let k = 52.9 - 53. Which is smaller: 198 or k?
k
Let u(r) be the second derivative of r**3/6 + r**2 + 6*r. Let b be u(4). Let o be b/((-24)/5) + -4. Is -4 != o?
True
Let g = 49392/5 + -9788. Which is smaller: g or 89?
89
Let i = 0 + -1. Let f be 1/(0 - i)*0. Let z = -21.3 + 24.3. Is f smaller than z?
True
Let d = -38240 - -190466/5. Which is smaller: d or -146?
d
Let f be 13802/(-14) - 7/49. Is -986 > f?
False
Let o = 0.682 + -0.982. Which is greater: -30 or o?
o
Let h be (2/4)/(4/1480*5). Let n = 41 - h. Do 4 and n have different values?
False
Let h be (108/90)/(6/(-140)). Let l = -0.5 - -0.3. Which is bigger: l or h?
l
Let m(a) = -5*a - 3. Suppose -y - 15 = -14. Let j be y/(2*(-3)/(-24)). Let c be m(j). Is c >= 17?
True
Suppose -h = 2*c - 99, -2*c - 249 = -7*c - h. Let d = -36 + c. Let w be (-2)/(-24)*d - 1. Is 0 less than or equal to w?
True
Suppose -11*f + 13*f + 144 = 0. Is f at most as big as -72?
True
Let m = 1146 + -1147. Which is smaller: m or 2/1593?
m
Let j(d) = d + 7. Let c be j(-6). Let p be c/(-1) + 2 - -1. Suppose -m - m = p. Which is bigger: m or -1/3?
-1/3
Let s be (2/(-3))/((-10)/75). Let z be (-66)/20*s/(-6). Is z greater than 2?
True
Let m = -16 - -6. Suppose 7*o - 4 = -4. Suppose o = -2*r + 6*b - b - 23, -4*r - 32 = 4*b. Does r = m?
False
Let u(v) = -22*v + 4. Let l be u(-3). Suppose 20*j = 15*j + l. Is -0.1 at least j?
False
Suppose 0*r = 4*r + 52. Suppose -11*v = 146 + 8. Are r and v unequal?
True
Let w be (-1)/9 + (-5464)/(-1756) + -3. Is 0 bigger than w?
False
Suppose 13*u = 361 - 244. Is 155 bigger than u?
True
Let l(w) = -w**2 + 19*