 q(-5). Let c be -2 + 14 - 6/v. Let m be (-1)/3 - -2*1*905/210. Do m and c have different values?
True
Let u be -8*(-10892)/(-56) - -17. Which is smaller: -1547 or u?
-1547
Let o = -176 + 209. Suppose 36*d = o*d + 3*q + 243, -5*d + 409 = -3*q. Which is bigger: d or 84?
84
Let y = -0.1 - -8.1. Let c be (4/(-7))/(45/(-35)). Which is greater: y or c?
y
Suppose -p + 529 = -3*j - j, 2040 = 4*p + 3*j. Suppose -2*h + 5*o = -22, 0 = -12*o + 16*o + 16. Let q be 1044/p + h*-2. Which is greater: q or 1?
1
Let y = -92 + -617. Does y = -8?
False
Let o be -1*((-12)/(-30))/(151*3/(-75)). Is o less than -1?
False
Let d = 813 - 1293. Let i = d + 484. Which is smaller: -41 or i?
-41
Let c(p) = -p**2 + 26*p + 31. Let v(f) = f**3 + 53*f**2 - 2*f - 79. Let s be v(-53). Let g be c(s). Is 9 at least as big as g?
True
Let b = 1285779967/7369 - 174485. Is b less than 0?
False
Let f = -65859615701/5346740 - -3/763820. Let v = -12289 - f. Let d = v - 13079/455. Is d less than -1?
False
Suppose 0 = 2*c - 6, 3*h + 0*h - 3 = 3*c. Let j be (-516)/(-15) + h/(-10). Let u = 1.7998 - 1.5998. Which is bigger: j or u?
j
Suppose 19 = -3*q + b - 50, 0 = b. Let f = -0.0028 - -0.4028. Is f at most q?
False
Let d = 2871 + -2740. Is 131 >= d?
True
Suppose 8*v + 169 = -23. Let t be (36/v)/((-21)/4)*56. Is 15 != t?
True
Let f(y) = 34*y - 187. Let p be f(9). Let b = -835/7 + p. Which is greater: -317 or b?
b
Suppose -l = a - 78, 2*a + l - 89 - 62 = 0. Suppose 0 = 18*p - 13*p - 360. Which is smaller: a or p?
p
Let b(t) = 2*t**3 + 20*t**2 + 4*t + 2. Let s be b(-10). Let r = s + 31. Which is bigger: r or 2?
2
Let k = 1019 - 1020. Let n(p) = p**2 + 3*p + 8. Let q be n(-6). Let x be (2/q)/1*4. Which is greater: x or k?
x
Suppose 0 = 2*i + 8, 2*r - 50 = 4*i - 44. Is r not equal to -1.1?
True
Let b = 9061 + -9060. Is 2822 >= b?
True
Suppose g = -3*y - 1468, 3*y = 2*g + 3837 - 937. Which is greater: -1455 or g?
-1455
Suppose -2*x = 2*m - 104, -3*m + 2*m + 5 = 0. Let j(z) = -15 + 61 + 172*z - 83*z - 84*z. Let t be j(0). Is x <= t?
False
Let k = -5693/3 + 1923. Is k less than or equal to 26?
True
Let k = 68420/29 - 2359. Suppose -5*d + 167*b = 168*b - 4, -4*d - b = -3. Is d at most k?
False
Let l(f) = f**2 - 70*f - 700. Let w be l(79). Let c(g) = -g**3 + 5*g**2 - 7. Let j be c(3). Is j greater than or equal to w?
True
Let h be 0 - -1*6/27. Let y = -86.1 + -0.9. Let p = y + 73. Is h at least as big as p?
True
Let y(r) = -13*r**2 - 8*r + 10. Let t(l) = -28*l**2 - 17*l + 21. Let n(g) = 6*t(g) - 13*y(g). Let w be n(1). Which is greater: -74/33 or w?
w
Let y = 44 + 42. Suppose 0 = -89*m + y*m. Suppose -4*d - 7*d = -m*d. Which is greater: -2/73 or d?
d
Let d(l) = 12*l - 94. Let u be d(8). Suppose 10*v + 832 = u*v. Is v greater than -104?
False
Let r = -12956.76 + 12957. Which is smaller: -1/16 or r?
-1/16
Let y = 187 + -175. Let u be ((-5)/(-6))/(y/(-2)). Is 1 != u?
True
Let h(r) = r**3 - 3*r**2 - 3*r. Let n = 7 + -3. Let u be h(n). Let m be (-1)/(-5) - u*32/(-260). Are 0.1 and m nonequal?
True
Let m = -2.1335 - -2.434. Is 0 equal to m?
False
Let j = 117 + -56. Let w = j - 88. Let d(x) = 2*x**2 - 24*x - 5. Let p be d(11). Is p smaller than w?
False
Let a(t) = t**3 - 3*t**2 + 3*t - 4. Let p be a(3). Suppose -3*q + p*q + 32 = 0. Suppose -6*f - 10*f + 63915 - 64155 = 0. Which is smaller: q or f?
q
Let v be 1629/(-12)*(-1)/(-261). Let c be 4/(-10) + -292*(-7)/4060. Let q = c + v. Is -1 less than or equal to q?
True
Let c = -173/4 - -873/20. Let z = -2 + -8. Let o = 7 + z. Which is bigger: c or o?
c
Let l = 10349 + -507085/49. Which is greater: l or -1/4?
l
Let z = 60 - 215. Let n = -83 - z. Which is smaller: n or 71?
71
Let l(k) = -k**3 + 18*k**2 - 76*k - 6. Let w be l(11). Which is greater: 36 or w?
36
Let i(y) = 2*y**3 + 50*y**2 + 1. Let z be i(-25). Let g be ((-3)/(-20))/((-2508)/(-55)). Is z smaller than g?
False
Let r be 4/(-4)*3*3008/(-24). Suppose 2*t - 770 = -4*n, 8*n - 4*n = 20. Is t > r?
False
Let q be (42 - 45)*((-12)/9)/(-4). Which is smaller: -8/363 or q?
q
Let v = -913/12 - -76. Suppose 26*x + 59*x = 196 + 144. Is v bigger than x?
False
Let f = 65.251 + -65.32. Which is greater: 2/5 or f?
2/5
Suppose 4*q = 3*b + 13719, -9145 = 2*b + 15*q - 18*q. Are -4575 and b equal?
False
Let q be ((-30)/6620)/((-9)/6). Let v(m) = 14*m**2 - 13*m. Let z be v(1). Which is greater: z or q?
z
Let h = 141 + -261. Let y be (1 - h/54) + -4. Which is smaller: -1 or y?
-1
Let y = 29 + 1. Let j = -26 + y. Suppose -j*x + 5 = 1. Is x greater than 5?
False
Suppose 4*x + 41364 = -2*x. Let b be x/1737 + 2*2. Let g = b - 6767/386. Do -17 and g have the same value?
False
Let z = 80.954 + -81. Let b = z - 0.027. Let h = b - -16.073. Which is smaller: h or 2?
2
Suppose -273 = -3*u + 30. Let r(z) = -18*z**2 - 1046*z - 13. Let i be r(-58). Is u greater than i?
False
Suppose -61*l - 47*l = -6*l + 17544. Which is bigger: l or -122?
-122
Let q(v) = -4*v + 31. Suppose -4 = -36*w + 35*w. Suppose -w*u = 3*g - 34 + 2, -4*u + 8 = 0. Let h be q(g). Is 6/59 smaller than h?
False
Let k = 3 + -4. Let u = 23.934 + 21.066. Is u less than k?
False
Suppose 33*g - 35*g + 1428 = 2*r, -r = 4*g - 726. Which is bigger: r or 711?
711
Let l = -54 + 84. Suppose 4*g + l = -106. Is -163/5 greater than or equal to g?
True
Let f = 0.11505 + -0.11505. Is f < 580/9?
True
Let b(q) = -4*q**3 - 10*q + 9. Let w be b(4). Let s be (-2)/10 + w/(-1410). Is s equal to 0.1?
False
Suppose 1 = -2*k - 3. Let b = -5166 + 5165. Let d be 2/k - b/(-1). Which is bigger: d or 3?
3
Suppose 2*p = 5*p + 285. Let m be (-722)/p*3*5. Let r be (2/2)/(m/(-60)). Which is smaller: r or -2?
-2
Let z(l) = 5*l - 10. Let s be z(9). Let m(p) = 2*p - 68. Let k be m(s). Which is smaller: k or 8?
k
Let p(c) = -50*c**2 + 13*c - 5. Let j be p(-5). Let w = j - -209878/159. Let u = w + 36/53. Does u = 0?
False
Let y = -0.2 - -0.2. Let v(w) = 0*w**2 + 1 - 3*w**3 - 6 + w + w + 12*w**2 + 0*w. Let b be v(3). Does y = b?
False
Suppose -3*h - 1 = 2*o, -2*o = 2*o + 4*h - 4. Suppose 0 = -4*a - o, -2*x - 62*a + 63*a + 35 = 0. Which is bigger: x or -1?
x
Let p = -3265 + 10198/3. Let n = 134 - p. Suppose -56 = -4*r - 68. Which is greater: r or n?
n
Let i(l) = 2*l**3 - 181*l**2 + 90*l. Let f be i(90). Which is smaller: 0.0062 or f?
f
Let s = -0.7 + -0.3. Let p = s + -68. Let j = p + 68.4. Is 6 != j?
True
Let r = -620228/4125 + 1654/11. Let l = r + -776/4875. Is l bigger than 3/5?
False
Suppose -244*r + 1286891 = -311797. Is r greater than 6552?
False
Let n = 9.1 + -103.1. Let i = n - -94. Which is greater: i or -0.126?
i
Let r = -708 - -2122/3. Is r >= 568?
False
Let v(x) = -x**3 + 13*x**2 + 3*x + 37. Let s be v(14). Let a be 18/s - 259*(-1)/1768. Is a at most as big as -1?
False
Let f(n) = 298*n - 11126. Let w be f(38). Does w = -3?
False
Let y(p) = 12 + 4*p + 23*p**2 - 8*p**2 + p**3 - 9*p**2 - 5*p**2. Let n be y(-2). Are n and 7 equal?
False
Suppose o + c - 130 = -3*o, 5*o + 5*c - 155 = 0. Suppose -27*y = -o*y - 1032. Does y = -170?
False
Let z = 1496 - 1465. Let s be (300/18 + -5)*3. Is z >= s?
False
Suppose 337*g - 88 = 341*g. Suppose 0 = -5*a + 5*i - 125, 76 = -4*a - 3*i - i. Is a >= g?
True
Let a(x) = 2 + 10*x**2 + 0*x**2 + 3 - 9*x**2. Let w be a(0). Suppose -2 - w = -p. Which is smaller: p or 15/2?
p
Let q = -50 - -193. Let z be (16128/(-54))/(-28)*(-27)/(-2). Do z and q have the same value?
False
Let j = 36.9 + -39. Let s = -87.4 - -95.4. Do j and s have the same value?
False
Let y be 32/272 + 77118/(-51). Let f be (y/(-14))/(3/9*-2). Is -161 equal to f?
False
Let z = -0.21 + -0.46. Let y = z + -0.43. Let n = y + 3.1. Is -8 less than n?
True
Suppose 3*l - 19*l = 5*l + 126. Which is bigger: -177/37 or l?
-177/37
Let g(u) = -245*u - 2694. Let r be g(-11). Suppose o + 0*l = 3*l - 21, -4*l + 2 = 3*o. Is r smaller than o?
False
Let s = 992 + -1043. Suppose 6*y - y + 2*c + 269 = 0, 0 = -3*c - 6. Is y bigger than s?
False
Let a(f) = -f**3 - 8*f**2 + 23*f + 75. Let k be a(-11). Let s be 190 + 7/(7/(-3)). Are s and k equal?
False
Let f be (-21 + 1)*(189/(-12))/7. Suppose 0 = 41*p - f*p + 4. Let z be 4/(-6) + 47/3*p. Is 17 < z?
False
Let x(n) = n**2 - 75*n - 234. Let f be x(-3). Is 34/91 != f?
True
Let v = 106.3212 + 0.0788. Let t = -103 + v. Let d = t - 3.3. Which is smaller: d or -1?
-1
Let w = -2905/4 - -